Geek Repo
followers
following
stars
Github PK Tool:Github PK Tool
The next-generation binary analysis platform from UC Santa Barbara's Seclab!
The Z3 Theorem Prover
Classes with architecture-specific information useful to other projects.
A repository with binaries for angr tests and examples.
An abstraction layer for constraint solvers
CLE Loads Everything (at least, many binary formats!)
A Python Toolkit for Scalable Outlier Detection (Anomaly Detection)
A Python wrapper for the snap7 PLC communication library
Python bindings for Valgrind's VEX IR.
A symbolic execution engine for the VEX IR
A patched version of VEX to work with PyVEX.