28 projects
pyvex
A Python interface to libVEX and VEX IR
cle
|
claripy
An abstraction layer for constraint solvers
archr
Target-centric program analysis.
archinfo
Classes with architecture-specific information useful to other projects.
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.
capstone
Capstone disassembly engine
quickscope
A lightweight and scalable A/D CTF exploit shooter
nclib
Netcat as a library: convienent socket interfaces
z3-solver
an efficient SMT solver library
pydatatask
Library for constructing data-centric processing pipelines with few invariants
pyfuse3-stubs
pydatafs
Library for pythonically constructing fuse filesystems
angrop
The rop chain builder based off of angr
unicorn
Unicorn CPU emulator engine
womm
Works On My Machine - quick-set glue for scaling scripts with kubernetes
monkeyhex
Monkeypatch the python interpreter and debugger to print integer results in hex
shellphish-qemu
A pip-installable set of qemus.
mulpyplexer
A module that multiplexes interactions with lists of python objects.
dive
A tool for interactively traversing the python heap to find memory leaks
shellphish-afl
pip package for afl
ana
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