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