Package it.unive.lisa.analysis.heap

Class Summary

Class	Description
MonolithicHeap	A monolithic heap implementation that abstracts all heap locations to a unique identifier.
MonolithicHeap.Rewriter	A BaseHeapDomain.Rewriter for the MonolithicHeap domain.
TypeBasedHeap	A type-based heap implementation that abstracts heap locations depending on their types, i.e., all the heap locations with the same type are abstracted into a single unique identifier.
TypeBasedHeap.Rewriter	A BaseHeapDomain.Rewriter for the TypeBasedHeap domain.