Module TaintTracking::SpeculativeTaintFlow
Import path
import semmle.code.java.dataflow.TaintTracking
Predicates
speculativeTaintStep | Holds if the additional step from |
import semmle.code.java.dataflow.TaintTracking
speculativeTaintStep | Holds if the additional step from |