Function isla_axiomatic::footprint_analysis::addr_dep

pub fn addr_dep<B: BV>(
    from: usize, 
    to: usize, 
    instrs: &[B], 
    footprints: &HashMap<B, Footprint>
) -> bool

Returns true if there exists an RR or RW address dependency from instrs[from] to instrs[to].

Panics

Panics if either from or to are out-of-bounds in instrs, or if an instruction does not have a footprint.