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

Interface HeapModel

All Superinterfaces:

Indexer<Obj>, Serializable

All Known Implementing Classes:

AbstractHeapModel, AllocationSiteBasedModel

public interface HeapModel
extends Indexer<Obj>

Represents of heap models for heap objects. Pointer analysis should ALWAYS obtain Obj via this interface.

See Also:

• Obj

Method Summary

Modifier and Type	Method	Description
Obj	getConstantObj(ReferenceLiteral value)
default Obj	getMockObj(Descriptor desc, Object alloc, Type type)
default Obj	getMockObj(Descriptor desc, Object alloc, Type type, boolean isFunctional)
default Obj	getMockObj(Descriptor desc, Object alloc, Type type, JMethod container)
Obj	getMockObj(Descriptor desc, Object alloc, Type type, JMethod container, boolean isFunctional)
Obj	getObj(New allocSite)
Collection<Obj>	getObjects()
boolean	isStringConstant(Obj obj)

Methods inherited from interface pascal.taie.util.Indexer

getIndex, getObject

Method Details

getObj

Obj getObj(New allocSite)

Returns:

the abstract object for given new statement.

getConstantObj

Obj getConstantObj(ReferenceLiteral value)

Returns:

the constant object for given value.

isStringConstant

boolean isStringConstant(Obj obj)

Returns:

true if obj represents a string constant.

getMockObj

Obj getMockObj(Descriptor desc,
 Object alloc,
 Type type,
 JMethod container,
 boolean isFunctional)

getMockObj

default Obj getMockObj(Descriptor desc,
 Object alloc,
 Type type,
 JMethod container)

Returns:

the mock object for given arguments.

getMockObj

default Obj getMockObj(Descriptor desc,
 Object alloc,
 Type type,
 boolean isFunctional)

Returns:

the mock object for given arguments.

getMockObj

default Obj getMockObj(Descriptor desc,
 Object alloc,
 Type type)

Returns:

the mock object for given arguments.

getObjects

Collection<Obj> getObjects()

Returns:

all objects in this heap model.