Predicate DataFlow::localMustFlowStep
Holds if the value of node2 is given by node1.
Import path
import semmle.code.java.dataflow.DataFlowpredicate localMustFlowStep(Node node1, Node node2)Holds if the value of node2 is given by node1.
import semmle.code.java.dataflow.DataFlowpredicate localMustFlowStep(Node node1, Node node2)