A multi-architecture binary analysis toolkit, with the ability to perform dynamic symbolic execution and various static analyses on binaries
GUI for angr
installation stub for z3-solver
The rop chain builder based off of angr
Capstone disassembly engine
An abstraction layer for constraint solvers
CLE Loads Everything (at least, may binary formats!) and provides a Pythonic interface to analyze what they are and what they would look like in memory.
Some useful dict-like structures
A tool for interactively traversing the python heap to find memory leaks
An interface to the insides of IDA!
Monkeypatch the python interpreter and debugger to print integer results in hex
A module that multiplexes interactions with lists of python objects.
Netcat as a library: convienent socket interfaces
A Python interface to libVEX and VEX IR
A pip-installable set of qemus.
A compatibility layer for simuvex's removal.
Sound and music synthesis library in pure python
Unicorn CPU emulator engine
an efficient SMT solver library