Predicate TaintTracking::localTaintStep
Holds if taint can flow in one local step from src
to sink
.
Import path
import semmle.code.java.dataflow.TaintTracking
predicate localTaintStep(Node src, Node sink)
Holds if taint can flow in one local step from src
to sink
.
import semmle.code.java.dataflow.TaintTracking
predicate localTaintStep(Node src, Node sink)