Module DefUse

Provides classes and predicates for working with variable definitions and uses.

Import path

semmle.code.csharp.dataflow.DefUse

Imports

SSA

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

csharp

The default C# QL library.