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)