xybsoft

angr

The next-generation binary analysis platform from UC Santa Barbara's Seclab!

angr-z3

The Z3 Theorem Prover

archinfo

Classes with architecture-specific information useful to other projects.

binaries

A repository with binaries for angr tests and examples.

claripy

An abstraction layer for constraint solvers

cle

CLE Loads Everything (at least, many binary formats!)

pyod

A Python Toolkit for Scalable Outlier Detection (Anomaly Detection)

python-snap7

A Python wrapper for the snap7 PLC communication library

pyvex

Python bindings for Valgrind's VEX IR.

simuvex

A symbolic execution engine for the VEX IR

test

vex

A patched version of VEX to work with PyVEX.