CodeQL library for C#
Search

Module SSA

Provides the module Ssa for working with static single assignment (SSA) form.

Import path

import semmle.code.csharp.dataflow.SSA

Imports

csharp

The default C# QL library.

Modules

Ssa

Provides classes for working with static single assignment (SSA) form.