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