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

Module SsaImpl

Provides classes for working with static single assignment (SSA) form.

Import path

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

Imports

Cached
csharp

The default C# QL library.

Predicates

Classes

DefinitionExt

An extended static single assignment (SSA) definition.

PhiReadNode

A phi-read node.

Modules

Aliases

Consistency

Provides a set of consistency queries.

Definition

A static single assignment (SSA) definition.

PhiNode

A phi node.

UncertainWriteDefinition

An SSA definition that represents an uncertain update of the underlying source variable.

WriteDefinition

An SSA definition that corresponds to a write.