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