TY - CONF
TI - Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity
AU - Yue Li
AU - Tian Tan
AU - Anders Mοller
AU - Yannis Smaragdakis
PY - 2018
SP - 129-140
PB - Association for Computing Machinery (ACM)
T2 - Foundations of Software Engineering
TODO - null
TODO - static analysis, points-to analysis, Java
TODO - Context-sensitivity is important in pointer analysis to ensure high
precision, but existing techniques suffer from unpredictable scala-
bility. 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.
We present the Scaler framework that addresses this problem.
Scaler efficiently estimates the amount of points-to information
that would be needed to analyze each method with different variants
of context-sensitivity. It then selects an appropriate variant for
each method so that the total amount of points-to information is
bounded, while utilizing the available space to maximize precision.
Our experimental results demonstrate that Scaler achieves pre-
dictable scalability for all the evaluated programs (e.g., speedups
can reach 10x for 2-object-sensitivity), while providing a precision
that matches or even exceeds that of the best alternative techniques.
ER -