Predicate DataFlow::localFlowStep
Holds if data can flow from pred
to succ
in one local step.
Import path
import javascript
predicate localFlowStep(Node pred, Node succ)
Holds if data can flow from pred
to succ
in one local step.
import javascript
predicate localFlowStep(Node pred, Node succ)