Predicate DataFlow::localFlowStep
Holds if data can flow from node1 to node2 in one local step.
Import path
import semmle.code.java.dataflow.DataFlowpredicate localFlowStep(Node node1, Node node2)Holds if data can flow from node1 to node2 in one local step.
import semmle.code.java.dataflow.DataFlowpredicate localFlowStep(Node node1, Node node2)