Package pascal.taie.analysis.pta.toolkit.mahjong

package pascal.taie.analysis.pta.toolkit.mahjong
This package contains implementation of Mahjong, which builds heap model by mering type-consistent objects.

The technique was presented in paper: Tian Tan, Yue Li, and Jingling Xue. Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata. In PLDI 2017.