Crate radius2

Re-exports

• pub use crate::radius::Radius;
• pub use crate::radius::RadiusOption;
• pub use crate::registers::Registers;
• pub use crate::sims::Sim;
• pub use crate::sims::SimMethod;
• pub use crate::state::State;
• pub use crate::value::vc;
• pub use crate::value::Value;

Modules

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