Module Ssa

Provides classes for working with static single assignment (SSA) form.

Import path

import codeql.ruby.dataflow.SSA

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 `self` variable. For example, in
Definition	A static single assignment (SSA) definition.
PhiNode	A phi node. For example, in
SelfDefinition	An SSA definition that corresponds to the value of `self` upon entry to a method, class or module.
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 `x = 10` in