Module Ssa
Provides classes for working with static single assignment (SSA) form.
Import path
import codeql.rust.dataflow.SsaClasses
| CapturedEntryDefinition | An SSA definition inserted at the beginning of a scope to represent a captured local variable. For example, in |
| Definition | A static single assignment (SSA) definition. |
| PhiDefinition | A phi definition. For example, in |
| WriteDefinition | An SSA definition that corresponds to a write. Example: |
Aliases
| Variable | A variable. |