Predicate TaintTracking::TaintFlowImplementation::yield_step

predicate yield_step(TaintedNode fromnode, TrackedValue totaint, CallContext tocontext, CallNode call)