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.PreSsa
Predicates
Classes
Definition | |
PhiNode | |
SimpleLocalScopeVariable | A local scope variable that is amenable to SSA analysis. |