angr

• py-ailment angr intermediate language
• py-angr multi-architecture binary analysis platform
• py-archinfo classes with architecture-specific information
• py-claripy abstraction layer for constraint solvers
• py-cle CLE loads binaries and their associated libraries
• py-pyvex Python interface to libVEX and VEX IR
• py-z3-solver efficient SMT solver library (angr fork)
• vex modified version of Valgrind VEX for PyVEX