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).
AllocationSiteBasedAnalysis<A extends AllocationSiteBasedAnalysis<A>>	A base class for heap analyses based on the allocation sites of the objects and arrays they track, namely the position of the code where heap locations are generated.
AllocationSites	A heap domain tracking sets of AllocationSite.
FieldSensitivePointBasedHeap	A field-insensitive program point-based AllocationSiteBasedAnalysis.
HeapAllocationSite	A heap allocation site, that is an allocation site pointing to something allocated in the dynamic memory, the heap.
PointBasedHeap	A field-insensitive program point-based AllocationSiteBasedAnalysis.
StackAllocationSite	A stack allocation site, that is an allocation site pointing to something that has been allocated in the stack.