Pinned Repositories
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
xybsoft's Repositories
xybsoft/angr
The next-generation binary analysis platform from UC Santa Barbara's Seclab!
xybsoft/angr-z3
The Z3 Theorem Prover
xybsoft/archinfo
Classes with architecture-specific information useful to other projects.
xybsoft/binaries
A repository with binaries for angr tests and examples.
xybsoft/claripy
An abstraction layer for constraint solvers
xybsoft/cle
CLE Loads Everything (at least, many binary formats!)
xybsoft/pyod
A Python Toolkit for Scalable Outlier Detection (Anomaly Detection)
xybsoft/python-snap7
A Python wrapper for the snap7 PLC communication library
xybsoft/pyvex
Python bindings for Valgrind's VEX IR.
xybsoft/simuvex
A symbolic execution engine for the VEX IR
xybsoft/test
xybsoft/vex
A patched version of VEX to work with PyVEX.