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