Struct isla_lib::simplify::EventReferences

pub struct EventReferences { /* fields omitted */ }

The EventReferences struct contains for every variable v in a trace, the set of all it's immediate dependencies, i.e. all the symbols used to directly define v, as computed by uses_in_exp.

Implementations

impl EventReferences

pub fn from_events<B, E: Borrow<Event<B>>>(events: &[E]) -> Self

pub fn dependencies(&self, symbol: Sym) -> HashSet<Sym>

Follow all the dependencies of a symbol in the events, returning the set of symbols it recursively depends on, (including itself).

pub fn taints<B: BV, E: Borrow<Event<B>>>(
    &self,
    symbol: Sym,
    events: &[E]
) -> (Taints, bool)

Returns the set of registers a symbolic variable is tainted by, i.e. any symbolic registers upon which the variable depends upon. Also returns whether the value depends upon a symbolic memory read.

pub fn value_taints<B: BV, E: Borrow<Event<B>>>(
    &self,
    val: &Val<B>,
    events: &[E]
) -> (Taints, bool)

Like taints but for all symbolic variables in a value

pub fn collect_taints<B: BV, E: Borrow<Event<B>>>(
    &self,
    symbol: Sym,
    events: &[E],
    taints: &mut Taints,
    memory: &mut bool
)

pub fn collect_value_taints<B: BV, E: Borrow<Event<B>>>(
    &self,
    val: &Val<B>,
    events: &[E],
    taints: &mut Taints,
    memory: &mut bool
)