Struct falcon::executor::Driver

pub struct Driver { /* fields omitted */ }

A driver for a concrete executor over Falcon IL.

Methods

impl Driver

pub fn new(     program: RC<Program>,     location: ProgramLocation,     state: State,     architecture: RC<Architecture> ) -> Driver

Create a new driver for concrete execution over Falcon IL.

pub fn step(self) -> Result<Driver>

Step forward over Falcon IL.

pub fn program(&self) -> &Program

Retrieve the Falcon IL program associated with this driver.

pub fn address(&self) -> Option<u64>

If this driver is sitting on an instruction with an address, return that address.

pub fn location(&self) -> &ProgramLocation

Retrieve the il::ProgramLocation associated with this driver.

pub fn state(&self) -> &State

Retrieve the concrete State associated with this driver.

pub fn state_mut(&mut self) -> &mut State

Retrieve a mutable reference to the State associated with this driver.

Trait Implementations

impl Debug for Driver

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Clone for Driver

fn clone(&self) -> Driver

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.