Package pascal.taie.analysis.pta.core.heap

Class AllocationSiteBasedModel

java.lang.Object

pascal.taie.analysis.pta.core.heap.AbstractHeapModel

pascal.taie.analysis.pta.core.heap.AllocationSiteBasedModel

All Implemented Interfaces:

Serializable, HeapModel, Indexer<Obj>

public class AllocationSiteBasedModel
extends AbstractHeapModel

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
AllocationSiteBasedModel(AnalysisOptions options)

Method Summary

Modifier and Type	Method	Description
protected Obj	doGetObj(New allocSite)	The method which controls the heap modeling for normal objects.

Methods inherited from class pascal.taie.analysis.pta.core.heap.AbstractHeapModel

add, doGetConstantObj, getConstantObj, getIndex, getMergedObj, getMockObj, getNewObj, getObj, getObject, getObjects, isStringConstant

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface pascal.taie.analysis.pta.core.heap.HeapModel

getMockObj, getMockObj, getMockObj

Constructor Details

AllocationSiteBasedModel

public AllocationSiteBasedModel(AnalysisOptions options)

Method Details

doGetObj

protected Obj doGetObj(New allocSite)

Description copied from class: AbstractHeapModel

The method which controls the heap modeling for normal objects.

Specified by:

doGetObj in class AbstractHeapModel