Message board for the users of flat assembler.
> Windows > [fasmg][Win64] Using Z3 Theorem Prover
bitRAKE 26 Jun 2021, 13:24
Just some simple examples of using this tool from fasmg. The API is all pointers, so it's very easy to use from asm. There is a little bit of a learning curve to constructing model ASTs, but it's totally worth the effort to learn.
The intro tutorial online is quite a good overview of Z3:
Project is active on GitHub:
(Will need libz3.dll to run the examples. Since the DLL is dependent on UCRT, I've also used it for console output.)
It's really fun tool - will probably be posting more uses of it.
Software Modeling and Verification Lecture playlist (advanced course).
Prof. Joost-Pieter Katoen at RWTH Aachen University
|26 Jun 2021, 13:24||
< Last Thread | Next Thread >
Copyright © 1999-2023, Tomasz Grysztar. Also on GitHub, YouTube, Twitter.
Website powered by rwasa.