Predicate TaintTracking::localTaintStep
Holds if taint propagates from pred
to succ
in one local (intra-procedural) step.
Import path
import javascript
predicate localTaintStep(Node pred, Node succ)
Holds if taint propagates from pred
to succ
in one local (intra-procedural) step.
import javascript
predicate localTaintStep(Node pred, Node succ)