Module SSA
SSA library
Import path
import semmle.python.SSAImports
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. |