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
  • Concretization Strategies
  • Simulation Manager
  • Exploration Techniques
  • Simulation Engines
  • Simulation Logging
  • Procedures
  • Calling Conventions and Types
  • Knowledge Base
  • Analysis
  • SimOS
  • Utils
  • Errors
  • Serialization
• claripy — Solver Engine
  • AST
  • Backends
  • Frontends
  • Frontend Mixins
  • Annotations
  • VSA
  • Misc. Things
• cle — Binary Loader
  • Loading Interface
  • Backends
  • Relocations
  • Thread-local storage
  • Misc. Utilities
  • Errors
• pyvex — Binary Translator
  • Translation Interface
  • IR Components
  • Lifting System
  • Builtin IR Processors
  • Errors
• archinfo — Arch Information Repository
  • Architectures
  • Utilities
  • Errors

Indices and tables

• Index
• Module Index
• Search Page