Authors

Dongjie He Jingbo Lu Yaoqing Gao Jingling Xue

Description

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.

License

GNU GENERAL PUBLIC LICENSE Version 3

Downloads

Artifact