Crate radius2
Source 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;
- 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