Predicate Cached::DataFlowIntegration::localFlowStep
Import path
import semmle.code.csharp.dataflow.internal.SsaImplpredicate localFlowStep(DefinitionExt def, Node nodeFrom, Node nodeTo, boolean isUseStep)import semmle.code.csharp.dataflow.internal.SsaImplpredicate localFlowStep(DefinitionExt def, Node nodeFrom, Node nodeTo, boolean isUseStep)