Predicate TaintTracking::speculativeTaintStep
Holds if the additional step from src to sink should be considered in
speculative taint flow exploration.
Import path
import semmle.code.java.dataflow.TaintTrackingpredicate speculativeTaintStep(Node src, Node sink)