Predicate DataFlow::localFlowStep

Holds if data can flow from node1 to node2 in one local step.

Import path

import semmle.code.java.dataflow.DataFlow
predicate localFlowStep(Node node1, Node node2)