CodeQL library for C/C++
Search

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.