Struct gf::ai::concolic::ConcolicInterp

pub struct ConcolicInterp<'a> { /* fields omitted */ }

🟢 Concolic interpretation.

Implementations

impl<'a> ConcolicInterp<'a>

pub fn new() -> Self

Create a concolic interpretation.

Trait Implementations

impl<'a> Default for ConcolicInterp<'a>

fn default() -> Self

Returns the "default value" for a type.

impl<'a> Interp<'a, Forward> for ConcolicInterp<'a>

type State = ConcolicState<'a>

Abstract state.

fn edge(&self, state: &mut Self::State, edge: Edge<'a>)

Propagate state across an intraprocedural edge.

fn apply(&self, state: &mut Self::State, stmt: Stmt<'a, Apply>)

Propagate state across an APPLY statement.

fn call(&self, state: &Self::State, stmt: Stmt<'a, Call>) -> Self::State

Propagate state across a CALL statement.

fn call_ret(
    &self,
    caller_state: &mut Self::State,
    callee_state: Self::State,
    stmt: Stmt<'a, Call>
)

Propagate state across a return from a CALL statement.

fn init(&self, state: &mut Self::State, stmt: Stmt<'a, Init>)

Propagate state across an INIT statement.

fn load(&self, state: &mut Self::State, stmt: Stmt<'a, Load>)

Propagate state across a LOAD statement.

fn mix(&self, state: &mut Self::State, stmt: Stmt<'a, Mix>)

Propagate state across a MIX statement.

fn slice(&self, state: &mut Self::State, stmt: Stmt<'a, Slice>)

Propagate state across a SLICE statement.

fn store(&self, state: &mut Self::State, stmt: Stmt<'a, Store>)

Propagate state across a STORE statement.