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