Crate radius2

source ·

Re-exports§

Modules§

  • Memory used in a program state
  • Process the IL to execute instructions
  • Interact with the radare2 instance
  • Start symbolic execution for a given binary
  • Registers and their values for a given state
  • Simulated libc functions and syscalls
  • Utilities for using the SMT solver to evaluate symbolic values
  • A program state, containing the registers, memory, and solver context
  • Asbstraction for concrete and symbolic values used during execution