z3 topic

An analysis tool for Python that blurs the line between testing and type systems.

pschanely

Automated Schedule Generation for Time-Sensitive Networks (TSN).

ACassimiro

Symbolic execution tool

trailofbits

Verification framework and tool for higher-order Scala programs

epfl-lara

A fuzzing framework for SMT solvers

testsmt

Jupyter notebooks for tutorial on the Z3 SMT solver

philzook58

Small tool for generating ropchains using unicorn and z3

kokjo

Constraint solver based on coverage-guided fuzzing

mc-imperial

Code and exercises for a workshop on z3 and angr

FSecureLABS

Using z3's never been easier (maybe)

RocketRace