Package it.unive.lisa.analysis.heap

Class Summary

Class	Description
MonolithicHeap	A monolithic heap implementation that abstracts all heap locations to a unique identifier.
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.