CodeQL library for C/C++

codeql/cpp-all 0.12.10 (changelog, source)

Module SSA

Provides classes and predicates for SSA representation (Static Single Assignment form).

Import path

import semmle.code.cpp.controlflow.SSA

Imports

Dominance	Provides dominance predicates for control-flow nodes.
SSAUtils	Provides classes and predicates for use in the SSA library.
cpp	Provides classes and predicates for working with C/C++ code.

Classes

SsaDefinition	A definition of one or more SSA variables, including phi node definitions. An SSA variable, as defined in the literature, is effectively the pair of an `SsaDefinition d` and a `StackVariable v`, written `(d, v)` in this documentation. Note that definitions and uses can be coincident due to the presence of parameter definitions and phi nodes.
StandardSsa	The SSA logic comes in two versions: the standard SSA and range-analysis RangeSSA. This class provides the standard SSA logic.