Skip to main content

trace_to_callee_arg

rapx::verify::call_summary::interprocedural

Function trace_to_callee_arg 

Source 
fn trace_to_callee_arg<'tcx>(
    body: &Body<'tcx>,
    operand: &Operand<'_>,
) -> Option<usize>
Expand description

Trace backward from an operand (inner call arg) through Copy/Move/Cast/ Ref/RawPtr assignments to the outer callee’s argument local, returning its index. Ref/RawPtr are treated as data-flow too, which is an approximation (taking a reference is not a pure copy) but is adequate for wrapper recognition.