28 projects
z3-solver
an efficient SMT solver library
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
archinfo
Classes with architecture-specific information useful to other projects.
angr-management
The official GUI for angr
angr
A multi-architecture binary analysis toolkit, with the ability to perform dynamic symbolic execution and various static analyses on binaries
angrop
The rop chain builder based off of angr
archr
Target-centric program analysis.
ailment
The angr intermediate language.
pwnshop
A framework for generating CTF challenges for learning
dojjail
None
ezmp
Multiprocessing done RIGHT.
shellphish-qemu
A pip-installable set of qemus.
mulpyplexer
A module that multiplexes interactions with lists of python objects.
shellphish-afl
pip package for afl
pygpar
A python wrapper around GNU parallel.
ana
fuckpy3
Some much-needed sanity for byte-wrangling in python3.
phuzzer
Python wrapper for multiarch AFL
cooldict
Some useful dict-like structures
idalink
An interface to the insides of IDA!
simuvex
A compatibility layer for simuvex's removal.
driller
UNKNOWN
fuzzer
Python wrapper for multiarch AFL
ictf
This is a python module that provides an interface to the iCTF team API.
deadbeef
deadbeef makes it easy to generate hexspeak!
blob
UNKNOWN
