Contents Menu Expand Light mode Dark mode Auto light/dark mode
angr documentation
angr documentation
  • Introduction
  • Getting Started
    • Installing angr
    • Reporting Bugs
    • Developing angr
    • Help Wanted
  • Core Concepts
    • Core Concepts
    • Loading a Binary
    • Symbolic Expressions and Constraint Solving
    • Machine State - memory, registers, and so on
    • Simulation Managers
    • Simulation and Instrumentation
    • Analyses
    • Symbolic Execution
    • A final word of advice
  • Build-in Analyses
    • Control-flow Graph Recovery (CFG)
    • Backward Slicing
    • Identifier
    • angr Decompiler
  • Advanced Topics
    • Gotchas when using angr
    • Understanding the Execution Pipeline
    • What’s Up With Mixins, Anyway?
    • Optimization considerations
    • Working with File System, Sockets, and Pipes
    • Intermediate Representation
    • Working with Data and Conventions
    • Solver Engine
    • Symbolic memory addressing
    • Java Support
    • Symbion: Interleaving symbolic and concrete execution
    • Debug variable resolution
    • Variable visibility
  • Extending angr
    • Hooks and SimProcedures
    • State Plugins
    • Extending the Environment Model
    • Writing Analyses
    • Scripting angr management
  • angr examples
  • Frequently Asked Questions
  • Appendix
    • Cheatsheet
    • List of Claripy Operations
    • List of State Options
    • CTF Challenge Examples
    • Changelog
    • Migrating to angr 9.1
    • Migrating to angr 8
    • Migrating to angr 7
  • API Reference
  v: latest
Versions
latest
stable
v9.2.69
v9.2.68
v9.2.67
v9.2.66
v9.2.65
v9.2.64
v9.2.63
v9.2.62
v9.2.61
v9.2.60
v9.2.59
v9.2.58
v9.2.57
v9.2.56
v9.2.55
v9.2.54
v9.2.53
v9.2.52
v9.2.51
v9.2.50
v9.2.49
v9.2.48
v9.2.47
v9.2.46
v9.2.45
v9.2.44
v9.2.43
v9.2.42
Downloads
pdf
On Read the Docs
Project Home
Builds
Back to top
Edit this page

Appendix#

  • Cheatsheet
  • List of Claripy Operations
  • List of State Options
  • CTF Challenge Examples
  • Changelog
  • Migrating to angr 9.1
  • Migrating to angr 8
  • Migrating to angr 7
Next
Cheatsheet
Previous
Frequently Asked Questions
Copyright © 2023, The angr Project contributors
Made with Sphinx and @pradyunsg's Furo