Module SSA

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

Import path

import semmle.code.cpp.controlflow.SSA

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.

SsaDefinition	NOTE: If possible, prefer the SSA classes exposed by the new dataflow library: import semmle.code.cpp.dataflow.new.DataFlow // use `DataFlow::Ssa::Definition`
StandardSsa	The SSA logic comes in two versions: the standard SSA and range-analysis RangeSSA. This class provides the standard SSA logic.