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