Module SSA

SSA library

Import path

import semmle.python.SSA

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

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.