Struct ChangeAnalysis

pub struct ChangeAnalysis<'a, A: Arch, O: Oracle<A>, C: EncodingAnalysisCache<A>> {
    pub o: &'a mut O,
    pub cache: &'a C,
    pub dataflows: &'a Dataflows<A, ()>,
    pub state_gen: StateGen<'a, A, O::MappableArea>,
    pub use_trap_flag: &'a mut bool,
    pub threshold_values: &'a ThresholdValues<A>,
    pub found_dependent_bytes: &'a mut bool,
}

Determines Changes between the dataflows of two instructions.

Fields

o: &'a mut O

cache: &'a C

dataflows: &'a Dataflows<A, ()>

state_gen: StateGen<'a, A, O::MappableArea>

use_trap_flag: &'a mut bool

threshold_values: &'a ThresholdValues<A>

found_dependent_bytes: &'a mut bool

Implementations

impl<'a, A: Arch, O: Oracle<A>, C: EncodingAnalysisCache<A>> ChangeAnalysis<'a, A, O, C>

pub fn detect_change<R: Rng>( &mut self, rng: &mut R, new_instr: &Instruction, ) -> Result<Change<A>, EncodingError<A>>