Module PreSsa
Provides an SSA implementation based on “pre-basic-blocks”, restricted to local scope variables and fields/properties that behave like local scope variables.
Import path
import semmle.code.csharp.controlflow.internal.PreSsaPredicates
Classes
| Definition | |
| PhiNode | |
| SimpleLocalScopeVariable | A local scope variable that is amenable to SSA analysis. |