angr API documentation
angr is a multi-architecture binary analysis platform, with the capability to perform dynamic symbolic execution (like Mayhem, KLEE, etc) and various static analyses on binaries.
angr— Analysis and Coordination- Project
- Plugin Ecosystem
- Program State
- Storage
- Memory Mixins
- Concretization Strategies
- Simulation Manager
- Exploration Techniques
- Simulation Engines
- Simulation Logging
- Procedures
- Calling Conventions and Types
- Knowledge Base
- Serialization
- Analysis
- SimOS
- Function Signature Matching
- Utils
- Errors
- Distributed analysis
ailment— angr Intermediate Languageclaripy— Solver Enginecle— Binary Loaderpyvex— Binary Translatorarchinfo— Arch Information Repository