Uses of Interface
pascal.taie.analysis.pta.PointerAnalysisResult

Packages that use PointerAnalysisResult

Package	Description
pascal.taie.analysis.pta
pascal.taie.analysis.pta.core.solver	Provide data structures and algorithms of context-sensitive pointer analysis solver.
pascal.taie.analysis.pta.plugin	Provide plugin interface of pointer analysis and some instances (implementations).
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.scaler	This package contains implementation of Scaler, which selects suitable context variants for the methods in the program.
pascal.taie.analysis.pta.toolkit.zipper	This package contains implementation of Zipper and Zipper-e, which selects precision-critical methods in the program.

Uses of PointerAnalysisResult in pascal.taie.analysis.pta

Classes in pascal.taie.analysis.pta that implement PointerAnalysisResult

Modifier and Type	Class	Description
class	PointerAnalysisResultImpl

Methods in pascal.taie.analysis.pta that return PointerAnalysisResult

Modifier and Type	Method	Description
PointerAnalysisResult	PointerAnalysis.analyze()

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

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

Modifier and Type	Method	Description
PointerAnalysisResult	DefaultSolver.getResult()
PointerAnalysisResult	Solver.getResult()

Uses of PointerAnalysisResult in pascal.taie.analysis.pta.plugin

Methods in pascal.taie.analysis.pta.plugin with parameters of type PointerAnalysisResult

Modifier and Type	Method	Description
static void	ResultProcessor.process(AnalysisOptions options, PointerAnalysisResult result)

Uses of PointerAnalysisResult in pascal.taie.analysis.pta.toolkit

Methods in pascal.taie.analysis.pta.toolkit that return PointerAnalysisResult

Modifier and Type	Method	Description
PointerAnalysisResult	PointerAnalysisResultEx.getBase()
PointerAnalysisResult	PointerAnalysisResultExImpl.getBase()

Constructors in pascal.taie.analysis.pta.toolkit with parameters of type PointerAnalysisResult

Modifier	Constructor	Description
	PointerAnalysisResultExImpl(PointerAnalysisResult base, boolean eagerInit)	Constructs an extended pointer analysis result.

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

Methods in pascal.taie.analysis.pta.toolkit.mahjong with parameters of type PointerAnalysisResult

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

Uses of PointerAnalysisResult in pascal.taie.analysis.pta.toolkit.scaler

Methods in pascal.taie.analysis.pta.toolkit.scaler with parameters of type PointerAnalysisResult

Modifier and Type	Method	Description
static Map<JMethod,String>	Scaler.run(PointerAnalysisResult pta, String arg)	Parses Scaler argument and runs Scaler.

Constructors in pascal.taie.analysis.pta.toolkit.scaler with parameters of type PointerAnalysisResult

Modifier	Constructor	Description
	Scaler(PointerAnalysisResult ptaBase, long tst)

Uses of PointerAnalysisResult in pascal.taie.analysis.pta.toolkit.zipper

Methods in pascal.taie.analysis.pta.toolkit.zipper with parameters of type PointerAnalysisResult

Modifier and Type	Method	Description
static Set<JMethod>	Zipper.run(PointerAnalysisResult pta, String arg)	Parses Zipper argument and runs Zipper.

Constructors in pascal.taie.analysis.pta.toolkit.zipper with parameters of type PointerAnalysisResult

Modifier	Constructor	Description
	Zipper(PointerAnalysisResult ptaBase, boolean isExpress, float pv)