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.csharp.dataflow.internal.TaintTrackingPrivatepredicate speculativeTaintStep(Node src, Node sink)