Predicate TaintTracking::TaintFlowImplementation::unpruned_step

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