A pip-installable set of qemus.
Some useful dict-like structures
The angr intermediate language.
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!
Capstone disassembly engine
pip package for afl
an efficient SMT solver library
Netcat as a library: convienent socket interfaces
Monkeypatch the python interpreter and debugger to print integer results in hex
A tool for interactively traversing the python heap to find memory leaks
A compatibility layer for simuvex's removal.
A module that multiplexes interactions with lists of python objects.
Unicorn CPU emulator engine
installation stub for z3-solver
Sound and music synthesis library in pure python