Module SsaImpl
Provides classes for working with static single assignment (SSA) form.
Import path
import semmle.code.csharp.dataflow.internal.SsaImplPredicates
Classes
| MultiBodyParameterDefinition | |
| ParameterDefinitionImpl | An SSA definition representing the implicit initialization of a parameter at the beginning of a callable. |
Aliases
| Consistency | Provides a set of consistency queries. |
| Definition | A static single assignment (SSA) definition. |
| Impl | Provides an SSA implementation. |
| PhiNode | A phi node. |
| Ssa_ | |
| UncertainWriteDefinition | An SSA definition that represents an uncertain update of the underlying source variable. |
| WriteDefinition | An SSA definition that corresponds to a write. |