Predicate CachedSteps::globalFlowStep
Holds if there is a flow step from pred
to succ
through a global
variable. Both pred
and succ
must be in the same file.
Import path
import semmle.javascript.dataflow.internal.FlowSteps
predicate globalFlowStep(Node pred, Node succ)