[Tool] Angr Binary Analysis

Posted on Edited on

Workflow

  • Binary Lifting libVEX : Binary Code to VEX IR
  • Binary Loading CLE : load binary with differernt formats
    • Resolve dynamic symbol
    • Perform relocation
    • Initialize program state
  • Program State Representation: SimuVEX
    • Program state (SimState) is a snapshot of values in registers and memory, open files, etc.