Package it.unive.lisa.symbolic.heap

Class Summary

Class	Description
AccessChild	An expression that accesses a memory location that is a child of another one, that is, the former is reachable from the latter.
HeapDereference	A heap dereference expression.
HeapExpression	A symbolic expression that identifies a location in the program's heap.
HeapReference	A reference to a memory location, identified by its name.
MemoryAllocation	An allocation of a memory location.