Module PreSsa
Import path
import semmle.code.csharp.controlflow.internal.PreSsaImports
| csharp | The default C# QL library. |
Modules
| PreSsa | Provides an SSA implementation based on “pre-basic-blocks”, restricted to local scope variables and fields/properties that behave like local scope variables. |