Package pascal.taie.analysis.pta.toolkit

package pascal.taie.analysis.pta.toolkit

Related Packages

Package	Description
pascal.taie.analysis.pta
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.util
pascal.taie.analysis.pta.toolkit.zipper	This package contains implementation of Zipper and Zipper-e, which selects precision-critical methods in the program.
pascal.taie.analysis.pta.client
pascal.taie.analysis.pta.plugin	Provide plugin interface of pointer analysis and some instances (implementations).
pascal.taie.analysis.pta.pts	Implementation of various points-to sets used in pointer analysis.

Class	Description
CollectionMethods	Computes collection methods in the program.
PointerAnalysisResultEx	Extended version PointerAnalysisResult.
PointerAnalysisResultExImpl