Module Private

Import path

import semmle.code.csharp.dataflow.internal.FlowSummaryImpl

Private	Provides predicates for compiling flow summaries down to atomic local steps, read steps, and store steps.
Types<FlowSummaryImpl::TypesInput>	Provides the predicate `summaryNodeType` for associating types with summary nodes.

External
SummaryComponent	Provides predicates for constructing summary components.
SummaryComponentStack	Provides predicates for constructing stacks of summary components.

Provides a compilation of flow summaries to atomic data-flow steps.