23 projects
shellphish-qemu
A pip-installable set of qemus.
cooldict
Some useful dict-like structures
ailment
The angr intermediate language.
angrop
The rop chain builder based off of angr
archinfo
pyvex
A Python interface to libVEX and VEX IR
cle
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.
claripy
An abstraction layer for constraint solvers
angr
A multi-architecture binary analysis toolkit, with the ability to perform dynamic symbolic execution and various static analyses on binaries
angr-management
GUI for angr
idalink
An interface to the insides of IDA!
capstone
Capstone disassembly engine
shellphish-afl
pip package for afl
z3-solver
an efficient SMT solver library
nclib
Netcat as a library: convienent socket interfaces
monkeyhex
Monkeypatch the python interpreter and debugger to print integer results in hex
dive
A tool for interactively traversing the python heap to find memory leaks
ana
simuvex
A compatibility layer for simuvex's removal.
mulpyplexer
A module that multiplexes interactions with lists of python objects.
unicorn
Unicorn CPU emulator engine
angr-only-z3-custom
installation stub for z3-solver
sound-machine
Sound and music synthesis library in pure python
