Predicate PointsTo::PointsTo::Flow::callsite_argument_transfer

Holds if the (argument, caller) pair matches up with (param, callee) pair across call.

predicate callsite_argument_transfer(ControlFlowNode argument, PointsToContext caller, ParameterDefinition param, PointsToContext callee)