Predicate TaintTracking::sharedTaintStep
Holds if pred -> succ is an edge used by all taint-tracking configurations.
Import path
import javascriptpredicate sharedTaintStep(Node pred, Node succ)Holds if pred -> succ is an edge used by all taint-tracking configurations.
import javascriptpredicate sharedTaintStep(Node pred, Node succ)