CodeQL library for C#
codeql/csharp-all 0.10.0 (changelog, source)
Search

Module Private

Import path

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

Imports

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.

Modules

External
SummaryComponent

Provides predicates for constructing summary components.

SummaryComponentStack

Provides predicates for constructing stacks of summary components.

Aliases

Steps

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