Module SSA

SSA library

Import path

semmle.python.SSA

Imports

Predicates

globallyDefinedName

Whether this name is (almost) always defined, ie. it is a builtin or VM defined name

Classes

GlobalSsaVariable

An SSA variable that is backed by a global variable

SsaVariable

A single static assignment variable. An SSA variable is a variable which is only assigned once (statically). SSA variables can be defined as normal variables or by a phi node which can occur at joins in the flow graph. Definitions without uses do not have a SSA variable.