Module Ssa
Provides classes for working with static single assignment (SSA) form.
Import path
import codeql.ruby.dataflow.SSA
Classes
CapturedCallDefinition | An SSA definition inserted at a call that may update the value of a captured variable. For example, in |
CapturedEntryDefinition | An SSA definition inserted at the beginning of a scope to represent a captured local variable. For example, in |
CapturedSelfDefinition | An SSA definition inserted at the beginning of a scope to represent a captured |
Definition | A static single assignment (SSA) definition. |
PhiNode | A phi node. For example, in |
SelfDefinition | An SSA definition that corresponds to the value of |
UninitializedDefinition | An SSA definition inserted at the beginning of a scope to represent an uninitialized local variable. For example, in |
WriteDefinition | An SSA definition that corresponds to a write. For example |