Trait veriwasm::lattices::VarState

pub trait VarState {
    type Var;
    fn get(&self, index: &Value) -> Option<Self::Var>;
    fn set(&mut self, index: &Value, v: Self::Var);
    fn set_to_bot(&mut self, index: &Value);
    fn on_call(&mut self);
    fn adjust_stack_offset(
        &mut self, 
        opcode: &Binopcode, 
        dst: &Value, 
        src1: &Value, 
        src2: &Value
    );
}

Associated Types

type Var

Required methods

fn get(&self, index: &Value) -> Option<Self::Var>

fn set(&mut self, index: &Value, v: Self::Var)

fn set_to_bot(&mut self, index: &Value)

fn on_call(&mut self)

fn adjust_stack_offset(
    &mut self,
    opcode: &Binopcode,
    dst: &Value,
    src1: &Value,
    src2: &Value
)

Implementors

impl VarState for StackGrowthLattice

type Var = i64

impl<T: Lattice + Clone> VarState for VariableState<T>

type Var = T