Module SsaImpl
Provides classes for working with static single assignment (SSA) form.
Import path
import semmle.code.csharp.dataflow.internal.SsaImpl
Predicates
Classes
DefinitionExt |
An extended static single assignment (SSA) definition. |
PhiReadNode |
A phi-read node. |
Modules
Aliases
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. |