Module SsaImpl

Import path

import codeql.ruby.dataflow.internal.SsaImpl

Holds if v is uninitialized at index i in entry block bb.

DefinitionExt	An extended static single assignment (SSA) definition.
PhiReadNode	A phi-read node.

Consistency	Provides a set of consistency queries.
Definition	A static single assignment (SSA) definition.
PhiNode	A phi node.
UncertainWriteDefinition	An SSA definition that represents an uncertain update of the underlying source variable.
WriteDefinition	An SSA definition that corresponds to a write.