Module PreSsa

INTERNAL: Do not use.

Provides an SSA implementation based on “pre-basic-blocks”, restricted to local scope variables and fields/properties that behave like local scope variables.

The logic is duplicated from the implementation in SSA.qll, and being an internal class, all predicate documentation has been removed.

Import path

semmle.code.csharp.controlflow.internal.PreSsa

Imports

csharp

The default C# CodeQL library.

Predicates

Classes

Definition
SimpleAssignable

A simple assignable. Either a local scope variable or a field/property that behaves like a local scope variable.