Dongjie He Jingbo Lu Yaoqing Gao Jingling Xue
TurnerM is a static acceleration tool for pointer analysis. This work is extended from our ECOOP'21 paper titled "Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability". TurnerM leverages the modularity of Turner and selects context-sensitivity for variables/objects in a program according to a certain topological order of its call graph in order to accelerate object-sensitive pointer analysis further while introducing only a negligible loss of precision, in practice.
This project has been integrated into Qilin and will be maintained there.