Predicate DataFlow::localFlow

Holds if data can flow from node1 to node2 in zero or more local (intra-procedural) steps.

Import path

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