pub fn explore_all<'a, A, U, M, Contexts, Update, InstrCallback>(
data: &M,
contexts: &'a mut Contexts,
cfg: &mut ControlFlowGraph<A::Address>,
starts: Vec<A::Address>,
on_instruction_discovered: &InstrCallback
) where
A: Arch + DecodeFrom<M>,
M: MemoryRange<A> + ?Sized,
Contexts: ContextRead<A, U> + ContextWrite<A, Update>,
A::Address: Hash + NodeTrait + WrappingAdd,
A::Instruction: Debug + Determinant<U, A::Address>,
InstrCallback: Fn(&A::Instruction, A::Address, &Effect<A::Address>, &Contexts) -> Vec<(A::Address, Update)>,