Predicate TaintTracking::TaintFlowImplementation::step

predicate step(TaintedNode fromnode, TrackedValue totaint, CallContext tocontext, ControlFlowNode tonode)