Roberto Paleari (@rpaleari)

Lorenzo Martignoni (@martignlo)

http://security.dico.unimi.it/~roberto/pystp/

STP

PySTP is a Python extension module that interfaces with STP. STP is a decision procedure for the theory of fixed-width bitvectors and arrays, and PySTP enables Python scripts to use STP.

???

???

Microsoft Research

http://research.microsoft.com/en-us/um/redmond/projects/z3/

Z3

Python interface for Z3. It covers all main features in the Z3 API. Z3 is a high-performance theorem prover being developed at Microsoft Research.

SEA
BARF
look_for_gadgets_with_equations.py
rop_compiler

guide