Module SsaUtils

Provides utility predicates to extend the core SSA functionality.

Import path

import semmle.code.csharp.dataflow.internal.rangeanalysis.SsaUtils

getAnExplicitDefinitionRead	Gets a node that reads `src` via an SSA explicit definition.
ssaRead	Gets an expression that equals `v - delta`.

An SSA variable.