The boxed value of some location.
The boxed value of some location.
The constant value c.
The constant value c.
The value of some location in memory.
The value of some location in memory.
Locations can be local variables, this, and fields.
Locations can be local variables, this, and fields.
Values that can be on the stack.
Values that can be on the stack.
The bottom record.
The bottom record.
Unknown.
Unknown.
The lattice for this analysis.
The lattice for this analysis.
Copy propagation for optimization