Predicate TaintTracking::sharedTaintStep

Holds if pred -> succ is an edge used by all taint-tracking configurations.

Import path

import semmle.javascript.dataflow.TaintTracking

predicate sharedTaintStep(Node pred, Node succ)