Predicate TaintTracking::TaintFlowImplementation::parameter_step

predicate parameter_step(CallContext caller, ControlFlowNode argument, CallContext callee, NameNode param)