Dongjie He Jingbo Lu Yaoqing Gao Jingling Xue
Turner is a static acceleration tool for pointer analysis. This work is introduced in our ECOOP'21 paper titled "Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability", which represents a new sweet spot between precision and efficiency of Pointer Analysis.
This project has been integrated into Qilin and will be maintained there.