Predicate TaintTracking::TaintFlowImplementation::call_flow_step

predicate call_flow_step(CallContext callee, ControlFlowNode fromnode, CallContext caller, ControlFlowNode call)