Uses of Package
pascal.taie.analysis.pta

Packages that use pascal.taie.analysis.pta
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.