Some useful dict-like structures
The rop chain builder based off of angr
A Python interface to libVEX and VEX IR
CLE Loads Everything (at least, many binary formats!) and provides a pythonic interface to analyze what they are and what they would look like in memory.
An abstraction layer for constraint solvers
A multi-architecture binary analysis toolkit, with the ability to perform dynamic symbolic execution and various static analyses on binaries
GUI for angr
An interface to the insides of IDA!
an efficient SMT solver library
A compatibility layer for simuvex's removal.
A module that multiplexes interactions with lists of python objects.
installation stub for z3-solver