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