Scalability-first pointer analysis with self-tuning context-sensitivity
Yue Li, Tian Huat Tan, Anders Møller, Yannis Smaragdakis · 2018
Context-sensitivity is important in pointer analysis to ensure high precision, but existing techniques suffer from unpredictable scalability. Many variants of context-sensitivity exist, and it is difficult to choose one that leads to reasonable analysis time and obtains high precision, without running the analysis multiple times.