Struct finch::executor::Driver

pub struct Driver { /* fields omitted */ }

A Driver to driver State over an il::Program.

Methods

impl Driver

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

Create a new Driver for symbolic execution over Falcon IL.

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

Step the underlying State forward over this Driver's il::Program.

pub fn program(&self) -> &Program

Retrieve the Falcon IL program associated with this driver.

pub fn set_program(
    &mut self,
    program: Program,
    program_location: ProgramLocation
)

Set the Falcon IL program associated with this driver.

pub fn ref_program_location(&self) -> RefProgramLocation

Retrieve the RefProgramLocation for this Driver

pub fn location(&self) -> &ProgramLocation

Retrieve the il::ProgramLocation associated with this driver.

pub fn set_location(&mut self, location: ProgramLocation)

Jump the driver to another address

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

Retrieve the address of the instruction this driver is currently on

pub fn instruction(&self) -> Option<Instruction>

Retrieve the instruction for this driver, if this driver is currently execution an instruction

pub fn state(&self) -> &State

Retrieve the State associated with this driver.

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

Retrieve a mutable reference to the State.

pub fn trace(&self) -> &Trace

Get a trace of instructions executed by this driver

pub fn merge(&self, other: &Driver) -> Result<Option<Driver>>

Merge two drivers together, if they are at the same program location

Trait Implementations

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.

impl Debug for Driver

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

Formats the value using the given formatter.

impl Into<State> for Driver

fn into(self) -> State

Performs the conversion.