Predicate TaintTracking::defaultTaintStep
Holds if there is a taint step from node1 to node2.
This includes steps between synthesized nodes generated by flow summaries.
Import path
import javascriptpredicate defaultTaintStep(Node node1, Node node2)