17 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
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.
binharness
A framework to analyze programs running in environments
angrop
The rop chain builder based off of angr
unique-log-filter
A log filter that removes duplicate log messages
sefcom-clusterutils
Utilities for ASU SEFCOM's kubernetes cluster
angr-pwntools
Pwntools CTF framework and exploit development library.
shellphish-qemu
A pip-installable set of qemus.
nose-skinny-report
shellphish-afl
pip package for afl
phuzzer
Python wrapper for multiarch AFL
