Predicate TaintTracking::TaintFlowImplementation::data_flow_step

predicate data_flow_step(CallContext fromcontext, ControlFlowNode fromnode, CallContext tocontext, ControlFlowNode tonode)