angr

—

Binary analysis with symbolic execution.

PythonBSD-2-Clause

Python framework for binary analysis combining static and dynamic symbolic execution. Powers many CTF solvers and academic research.

Does

For