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

Packages that use pascal.taie.analysis.pta.core.heap

Package	Description
pascal.taie.analysis.graph.flowgraph
pascal.taie.analysis.pta
pascal.taie.analysis.pta.core.cs.element	Provides the classes to represent and manage context-sensitive elements used in pointer analysis, including context-sensitive pointers, objects, call sites, and methods.
pascal.taie.analysis.pta.core.cs.selector	Provide various context selectors, which correspond to various context sensitivity variants.
pascal.taie.analysis.pta.core.heap	Provide model for heap objects.
pascal.taie.analysis.pta.core.solver	Provide data structures and algorithms of context-sensitive pointer analysis solver.
pascal.taie.analysis.pta.plugin.exception
pascal.taie.analysis.pta.plugin.util
pascal.taie.analysis.pta.toolkit
pascal.taie.analysis.pta.toolkit.mahjong	This package contains implementation of Mahjong, which builds heap model by mering type-consistent objects.
pascal.taie.analysis.pta.toolkit.util

Classes in pascal.taie.analysis.pta.core.heap used by pascal.taie.analysis.graph.flowgraph

Class	Description
Obj	Represents of abstract objects in pointer analysis.

Classes in pascal.taie.analysis.pta.core.heap used by pascal.taie.analysis.pta

Class	Description
Obj	Represents of abstract objects in pointer analysis.

Classes in pascal.taie.analysis.pta.core.heap used by pascal.taie.analysis.pta.core.cs.element

Class	Description
Obj	Represents of abstract objects in pointer analysis.

Classes in pascal.taie.analysis.pta.core.heap used by pascal.taie.analysis.pta.core.cs.selector

Class	Description
Obj	Represents of abstract objects in pointer analysis.

Classes in pascal.taie.analysis.pta.core.heap used by pascal.taie.analysis.pta.core.heap

Class	Description
AbstractHeapModel	All heap models should inherit this class, and we can define some uniform behaviors of heap modeling here.
Descriptor	Descriptor for MockObj.
HeapModel	Represents of heap models for heap objects.
MergedObj	Represents a set of merged objects.
NewObj	Objects that are created by new statements.
Obj	Represents of abstract objects in pointer analysis.

Classes in pascal.taie.analysis.pta.core.heap used by pascal.taie.analysis.pta.core.solver

Class	Description
HeapModel	Represents of heap models for heap objects.
Obj	Represents of abstract objects in pointer analysis.

Classes in pascal.taie.analysis.pta.core.heap used by pascal.taie.analysis.pta.plugin.exception

Class	Description
Obj	Represents of abstract objects in pointer analysis.

Classes in pascal.taie.analysis.pta.core.heap used by pascal.taie.analysis.pta.plugin.util

Class	Description
Descriptor	Descriptor for MockObj.
HeapModel	Represents of heap models for heap objects.

Classes in pascal.taie.analysis.pta.core.heap used by pascal.taie.analysis.pta.toolkit

Class	Description
Obj	Represents of abstract objects in pointer analysis.

Classes in pascal.taie.analysis.pta.core.heap used by pascal.taie.analysis.pta.toolkit.mahjong

Class	Description
HeapModel	Represents of heap models for heap objects.

Classes in pascal.taie.analysis.pta.core.heap used by pascal.taie.analysis.pta.toolkit.util

Class	Description
Obj	Represents of abstract objects in pointer analysis.