scaling java points-to analysis using spark（指向分析扩展java使用火花）.pdfVIP

McGill University School of Computer Science Sable Research Group Scaling Java Points-To Analysis using Spark Sable Technical Report No. 2002-9 Ondˇrej Lhot´ak and Laurie Hendren October 24, 2002 w w w . s a b l e . m c g i l l . c a Scaling Java Points-To Analysis using Spark Ondˇrej Lhot´ak and Laurie Hendren 23 October 2002 Abstract Most points-to analysis research has been done on different systems by different groups, making it difficult to compare results, and to understand interactions between individual factors each group studied. Furthermore, points-to analysis for Java has been studied much less thoroughly than for C, and the tradeoffs appear very different. We introduce Spark, a flexible framework for experimenting with points-to analyses for Java. Spark supports equality- and subset-based analyses, variations in field sensitivity, respect for declared types, variations in call graph construction, off-line simplification, and several solving algorithms. Spark is composed of building blocks on which new analyses can be based. We demonstrate Spark in a substantial study of factors affecting precision and efficiency of subset- based points-to analyses, including interactions between these factors. Our results show that Spark is not only flexible and modular, but also offers superior time/space performance when compared to other points-to analysis implementations. 1 Introduction Many compiler analyses and optimizations, as well as program underst