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).
🐍 Solving CTF challenges using Z3 and Python
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.
Finding bugs in P4 compilers using translation validation.
A toy code generator (i.e. "program synthesis") using the Z3 solver
Automated cryptanalysis of substitution permutation network cipher
Solver for over 100 types of Nikoli-style logic puzzles
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.
Codebase for the NUS Timetable Optimizer, a tool to help students at the National University of Singapore optimize their timetables to their liking.
https://regexcrossword.com/ solver using Z3py
Intrepyd Model Checker
Sudoku Solver using Z3
Writeup for Move CTF 2022 by MoveBit and others.
The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).