The Complexity of Andersen's Analysis in Practice

Abstract. While the tightest proven worst-case complexity for Andersen's points-to analysis is nearly cubic, the analysis seems to scale better on real-world codes. We examine algorithmic factors that help account for this gap. In particular, we show that a simple algorithm can compute Andersen's analysis in worst-case quadratic time as long as the input program is k-sparse, i.e., it has at most k statements dereferencing each variable and a sparse flow graph. We then argue that for stronglytyped languages like Java, typical structure makes programs likely to be k-sparse, and we give empirical measurements across a suite of Java programs that confirm this hypothesis. We also discuss how various standard implementation techniques yield further constant-factor speedups.

• Type: Conference
• Year: 2009
• Where: SAS
• Authors: Manu Sridharan, Stephen J. Fink
• Keywords: Formal Methods, SAS 2009, Sparse Flow Graph, Worst-case Complexity, Worst-case Quadratic Time