A dynamic evaluation of the precision of static heap abstractions

Percy Liang, Omer Tripp, Mayur Naik, Mooly Sagiv
2010 SIGPLAN notices  
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
more » ... ly 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.
doi:10.1145/1932682.1869494 fatcat:2elzhypogzbjvb3pf75q72vel4