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
)