Class SsaBound

A bound corresponding to the value of an SSA variable.

Import path

import semmle.code.csharp.dataflow.Bound

getExpr	Gets an expression that equals this bound plus `delta`.
getLocation	Gets the location of this bound.
getSsa	Gets the SSA variable that equals this bound.
toString	Gets a textual representation of this bound.

Gets an expression that equals this bound.