There are 3 repositories under z3 topic.
Symbolic execution tool
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
Jupyter notebooks for tutorial on the Z3 SMT solver
Automated Schedule Generation for Time-Sensitive Networks (TSN).
Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.
🐍 Solving CTF challenges using Z3 and Python
Finding bugs in P4 compilers using translation validation.
A toy code generator (i.e. "program synthesis") using the Z3 solver
Vagrant setup for building a machine for CTF/exploit development
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
Automated cryptanalysis of substitution permutation network cipher
Solver for over 100 types of Nikoli-style logic puzzles
Codebase for the NUS Timetable Optimizer, a tool to help students at the National University of Singapore optimize their timetables to their liking.
Sudoku Solver using Z3
https://regexcrossword.com/ solver using Z3py
Intrepyd Model Checker
Writeup for Move CTF 2022 by MoveBit and others.
Scripts and Javascript Glue code to use Z3 in the browser using WASM