Package it.unive.lisa.analysis.heap.pointbased

Class Summary

Class	Description
AllocationSite	A heap identifier that track also the source location where it has been allocated and a field (optional).
AllocationSites	A heap domain tracking sets of AllocationSite.
FieldSensitivePointBasedHeap	A field-sensitive point-based heap implementation that abstracts heap locations depending on their allocation sites, namely the position of the code where heap locations are generated.
PointBasedHeap	A field-insensitive point-based heap implementation that abstracts heap locations depending on their allocation sites, namely the position of the code where heap locations are generated.