CodeQL library for C/C++

codeql/cpp-all 0.12.10 (changelog, source)

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.