Predicate SsaFlow::localMustFlowStep
Import path
import semmle.code.csharp.dataflow.internal.DataFlowPrivatepredicate localMustFlowStep(DefinitionExt def, Node nodeFrom, Node nodeTo)import semmle.code.csharp.dataflow.internal.DataFlowPrivatepredicate localMustFlowStep(DefinitionExt def, Node nodeFrom, Node nodeTo)