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

Module Make::Consistency

Provides a set of consistency queries.

Import path

import codeql.ssa.Ssa

Predicates

deadDef

Holds if a definition cannot reach a read.

deadDefExt

Holds if a definition cannot reach a read.

nonUniqueDef

Holds if a read can be reached from multiple definitions.

nonUniqueDefExt

Holds if a read can be reached from multiple definitions.

notDominatedByDef

Holds if a read is not dominated by a definition.

notDominatedByDefExt

Holds if a read is not dominated by a definition.

readWithoutDef

Holds if a read cannot be reached from a definition.

readWithoutDefExt

Holds if a read cannot be reached from a definition.

Classes

RelevantDefinition

A definition that is relevant for the consistency queries.

RelevantDefinitionExt

A definition that is relevant for the consistency queries.