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 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