[−][src]Struct falcon::executor::Driver
A driver for a concrete executor over Falcon IL.
Methods
impl Driver[src]
pub fn new(
program: RC<Program>,
location: ProgramLocation,
state: State,
architecture: RC<dyn Architecture>
) -> Driver[src]
program: RC<Program>,
location: ProgramLocation,
state: State,
architecture: RC<dyn Architecture>
) -> Driver
Create a new driver for concrete execution over Falcon IL.
pub fn step(self) -> Result<Driver>[src]
Step forward over Falcon IL.
pub fn program(&self) -> &Program[src]
Retrieve the Falcon IL program associated with this driver.
pub fn address(&self) -> Option<u64>[src]
If this driver is sitting on an instruction with an address, return that address.
pub fn location(&self) -> &ProgramLocation[src]
Retrieve the il::ProgramLocation associated with this driver.
pub fn state(&self) -> &State[src]
Retrieve the concrete State associated with this driver.
pub fn state_mut(&mut self) -> &mut State[src]
Retrieve a mutable reference to the State associated with this driver.
Trait Implementations
Auto Trait Implementations
impl !RefUnwindSafe for Driver
impl !Send for Driver
impl !Sync for Driver
impl Unpin for Driver
impl !UnwindSafe for Driver
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T[src]
impl<T> From<T> for T[src]
impl<T, U> Into<U> for T where
U: From<T>, [src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone, [src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T[src]
fn clone_into(&self, target: &mut T)[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>, [src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,