DMCA
Cloning-based context-sensitive pointer alias analysis using binary decision diagrams (2004)
Cached
Download Links
| Venue: | In Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation |
| Citations: | 311 - 16 self |
BibTeX
@INPROCEEDINGS{Whaley04cloning-basedcontext-sensitive,
author = {John Whaley and Monica S. Lam},
title = {Cloning-based context-sensitive pointer alias analysis using binary decision diagrams},
booktitle = {In Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation},
year = {2004},
pages = {131--144}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This paper presents the first scalable context-sensitive, inclusionbased pointer alias analysis for Java programs. Our approach to context sensitivity is to create a clone of a method for every context of interest, and run a context-insensitive algorithm over the expanded call graph to get context-sensitive results. For precision, we generate a clone for every acyclic path through a program’s call graph, treating methods in a strongly connected component as a single node. Normally, this formulation is hopelessly intractable as a call graph often has 10 14 acyclic paths or more. We show that these exponential relations can be computed efficiently using binary decision diagrams (BDDs). Key to the scalability of the technique is a context numbering scheme that exposes the commonalities across contexts. We applied our algorithm to the most popular applications available on Sourceforge, and found that the largest programs, with hundreds of thousands of Java bytecodes, can be analyzed in under 20 minutes. This paper shows that pointer analysis, and many other queries and algorithms, can be described succinctly and declaratively using Datalog, a logic programming language. We have developed a system called bddbddb that automatically translates Datalog programs into highly efficient BDD implementations. We used this approach to develop a variety of context-sensitive algorithms including side effect analysis, type analysis, and escape analysis.
Keyphrases
binary decision diagram cloning-based context-sensitive pointer alias analysis call graph acyclic path program call graph inclusionbased pointer alias analysis single node exponential relation escape analysis type analysis context-sensitive algorithm efficient bdd implementation java bytecodes popular application context-insensitive algorithm logic programming language side effect analysis datalog program context-sensitive result pointer analysis java program many query
