Symbolic execution tool
An analysis tool for Python that blurs the line between testing and type...
Verification framework and tool for higher-order Scala programs
Constraint solver based on coverage-guided fuzzing
Code and exercises for a workshop on z3 and angr
Small tool for generating ropchains using unicorn and z3
A fuzzing framework for SMT solvers
Jupyter notebooks for tutorial on the Z3 SMT solver
Using z3's never been easier (maybe)
Automated Schedule Generation for Time-Sensitive Networks (TSN).
Haskell bindings to Microsoft's Z3 API (unofficial).
A compiler for automatically re-targeting sequential Java code to Apache...
Counter-example guided inductive synthesis (CEGIS) implementation for th...
A Vim plugin that adds support for the SMT-LIB2 format (including Z3's e...