angr

What angr is

angr is a free, open-source binary analysis platform for Python that combines static analysis with dynamic symbolic analysis. Its symbolic execution engine explores program paths and solves constraints on symbolic inputs. The platform can recover control-flow graphs, disassemble machine code, lift it to an intermediate language, and generate angr Intermediate Language or C pseudocode with its decompiler. It supports custom analyses, architectures, platforms, exploration techniques, and hooks. Related project libraries cover architecture information, intermediate representations, binary loading, and constraint solving. angr is a Python 3.10+ library available through PyPI and pip; installation from source and a Docker image are also documented. It runs on Windows, macOS, and Linux, and supports architectures including AArch64, ARM, MIPS, RISC-V 64, and x86. The project presents reversing, vulnerability discovery, and exploitation as example uses. Its GUI, angr-management, is described as being in a very alpha state. Support is available through Discord, GitHub issues and pull requests, or a public mailing list, with potentially long email response times.