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

package pascal.taie.analysis.pta.core.heap

Provide model for heap objects.

See Also:

• Obj
• HeapModel

Class	Description
AbstractHeapModel	All heap models should inherit this class, and we can define some uniform behaviors of heap modeling here.
AllocationSiteBasedModel
ConstantObj	Objects that represent constants.
Descriptor	Descriptor for MockObj.
HeapModel	Represents of heap models for heap objects.
IsApplicationString	Predicate for checking whether given string constants are in application code.
IsReflectionString	Predicate for checking whether given string constants are reflection-relevant, i.e., class names, method names, or field names.
MergedObj	Represents a set of merged objects.
MockObj	Represents the objects whose allocation sites are not explicitly written in the program.
NewObj	Objects that are created by new statements.
Obj	Represents of abstract objects in pointer analysis.