Module SSA

Library for SSA representation (Static Single Assignment form).

Import path

semmle.dataflow.SSA

Imports

Classes

EssaDefinition

Definition of an extended-SSA (ESSA) variable. There is exactly one definition for each variable, and exactly one variable for each definition.

EssaEdgeRefinement

An ESSA definition corresponding to an edge refinement of the underlying variable. For example, the edges leaving a test on a variable both represent refinements of that variable. On one edge the test is true, on the other it is false.

EssaNodeDefinition

A definition of an ESSA variable that is not directly linked to another ESSA variable.

EssaNodeRefinement

A definition of an ESSA variable that takes another ESSA variable as an input.

EssaVariable

An (enhanced) SSA variable derived from SsaSourceVariable.

PhiFunction

A Phi-function as specified in classic SSA form.

SsaSourceVariable

A source language variable, to be converted into a set of SSA variables.