Class SsaBound
A bound corresponding to the value of an SSA variable.
Import path
import semmle.code.java.dataflow.BoundIndirect supertypes
Known direct subtypes
Predicates
| getExpr | Gets an expression that equals this bound plus |
| getLocation | Gets the location of this bound. |
| getSsa | Gets the SSA variable that equals this bound. |
| toString | Gets a textual representation of this bound. |