A Dynamic Evaluation of the Precision of Static Heap Abstractions

作者：Liang Pery^*; Tripp Omer; Naik Mayur; Sagiv Mooly

来源：ACM Sigplan Notices, 2010, 45(10): 411-427.

DOI：10.1145/1932682.1869494

• Measurement
• Experimentation
• Verification
• heap abstractions
• static analysis
• dynamic analysis
• concurrency

The quality of a static analysis of heap-manipulating programs is largely determined by its heap abstraction. Object allocation sites are a commonly-used abstraction, but are too coarse for some clients. The goal of this paper is to investigate how various refinements of allocation sites can improve precision. In particular, we consider abstractions that use call stack, object recency, and heap connectivity information. We measure the precision of these abstractions dynamically for four different clients motivated by concurrency and on nine Java programs chosen from the DaCapo benchmark suite. Our dynamic results shed new light on aspects of heap abstractions that matter for precision, which allows us to more effectively navigate the large space of possible heap abstractions.

• 出版日期2010-10