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)
Holds if data can flow from node1
to node2
in one local step.
import semmle.code.java.dataflow.DataFlow
predicate localFlowStep(Node node1, Node node2)