Internal function that returns edges for all dynamic invocations. ## Return value Returns a vector of tuples. If `res` is a return tuple of this function, the fields denote: `res.0`: address of the lea instruction `res.1`: address of the called function `res.2`: type of invocation (either `InvocationType::ProcedureReference` or `InvocationType::VTable`
(
&self,
graph: &mut StableGraph<Rc<RefCell<Procedure<P>>>, Rc<RefCell<Invocation<I, F>>>>,
proc_index: &mut HashMap<u64, NodeIndex<u32>>,
ctx: &Context,
idx: N
source not stored for this graph (policy: none)