Module Cached::DataFlowIntegration

Import path

import semmle.code.csharp.dataflow.internal.SsaImpl

Imports

DataFlowIntegration<SsaImpl::DataFlowIntegrationInput>

Constructs the type Node and associated value step relations, which are intended to be included in the DataFlow::Node type and local step relations.

Predicates

localFlowStep
localMustFlowStep

Modules

BarrierGuard
ParameterizedBarrierGuard

Predicate signatures

guardChecksSig