Matthew Pruett's repositories
FAA-Chart-Downloader
Program to download FAA digital products
ailment
AIL: The angr Intermediate Language.
BSD-2-Clause000
angr
A powerful and user-friendly binary analysis platform!
Language:PythonBSD-2-Clause000
archinfo
Classes with architecture-specific information useful to other projects.
BSD-2-Clause000
ARCUS
Symbolic Execution Over Processor Traces
Language:CGPL-3.0000
autotrace
bitmap to vector graphics converter
Language:CGPL-2.0000
claripy
An abstraction layer for constraint solvers.
BSD-2-Clause000
cle
CLE Loads Everything (at least, many binary formats!)
BSD-2-Clause000
dmitry
DMitry (Deepmagic Information Gathering Tool)
GPL-2.0000
pyvex
Python bindings for Valgrind's VEX IR.
BSD-2-Clause000