Predicate SpeculativeTaintFlow::speculativeTaintStep
Holds if the additional step from src to sink should be considered in
speculative taint flow exploration.
Import path
import semmle.code.cpp.ir.dataflow.internal.TaintTrackingUtilpredicate speculativeTaintStep(Node src, Node sink)