Package pascal.taie.analysis.pta.toolkit.zipper

package pascal.taie.analysis.pta.toolkit.zipper
This package contains implementation of Zipper and Zipper-e, which selects precision-critical methods in the program.

The techniques were presented in papers: (1) Yue Li, Tian Tan, Anders Møller, and Yannis Smaragdakis. Precision-Guided Context Sensitivity for Pointer Analysis. In OOPSLA 2018, and

(2) Yue Li, Tian Tan, Anders Møller, and Yannis Smaragdakis. A Principled Approach to Selective Context Sensitivity for Pointer Analysis. In TOPLAS 2020.