Class ExprBound
A bound that corresponds to the value of a specific expression that might be interesting, but isn’t otherwise represented by the value of an SSA variable.
Import path
import semmle.code.csharp.dataflow.Bound
Direct supertypes
Indirect supertypes
Predicates
| getExpr |
Gets an expression that equals this bound plus |
| hasLocationInfo |
Holds if this element is at the specified location. The location spans column |
| toString |
Gets a textual representation of this bound. |