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)