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