Package pascal.taie.analysis.pta.toolkit.scaler

package pascal.taie.analysis.pta.toolkit.scaler

This package contains implementation of Scaler, which selects suitable context variants for the methods in the program.

The technique was presented in paper: Yue Li, Tian Tan, Anders Møller, and Yannis Smaragdakis. Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity. In ESEC/FSE 2018.

Related Packages

Package	Description
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
pascal.taie.analysis.pta.toolkit.zipper	This package contains implementation of Zipper and Zipper-e, which selects precision-critical methods in the program.

Classes

Class	Description
Scaler	Given a TST (Total Scalability Threshold), select the ST (Scalability Threshold), then select context-sensitivity based on the selected ST value.