Uses of Interface
pascal.taie.analysis.pta.core.heap.HeapModel

Packages that use HeapModel

Package	Description
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.util
pascal.taie.analysis.pta.toolkit.mahjong	This package contains implementation of Mahjong, which builds heap model by mering type-consistent objects.

Uses of HeapModel in pascal.taie.analysis.pta.core.heap

Classes in pascal.taie.analysis.pta.core.heap that implement HeapModel

Modifier and Type	Class	Description
class	AbstractHeapModel	All heap models should inherit this class, and we can define some uniform behaviors of heap modeling here.
class	AllocationSiteBasedModel

Uses of HeapModel in pascal.taie.analysis.pta.core.solver

Methods in pascal.taie.analysis.pta.core.solver that return HeapModel

Modifier and Type	Method	Description
HeapModel	DefaultSolver.getHeapModel()
HeapModel	Solver.getHeapModel()

Constructors in pascal.taie.analysis.pta.core.solver with parameters of type HeapModel

Modifier	Constructor	Description
	DeclaredParamProvider(JMethod method, HeapModel heapModel)
	DeclaredParamProvider(JMethod method, HeapModel heapModel, int k)
	DefaultSolver(AnalysisOptions options, HeapModel heapModel, ContextSelector contextSelector, CSManager csManager)

Uses of HeapModel in pascal.taie.analysis.pta.plugin.util

Fields in pascal.taie.analysis.pta.plugin.util declared as HeapModel

Modifier and Type	Field	Description
protected final HeapModel	SolverHolder.heapModel

Uses of HeapModel in pascal.taie.analysis.pta.toolkit.mahjong

Methods in pascal.taie.analysis.pta.toolkit.mahjong that return HeapModel

Modifier and Type	Method	Description
static HeapModel	Mahjong.run(PointerAnalysisResult pta, AnalysisOptions options)