Parameterized object sensitivity for points-to analysis for Java Export

@article{citeulike:3429127, abstract = {The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. We present object sensitivity , a new form of context sensitivity for flow-insensitive points-to analysis for Java. The key idea of our approach is to analyze a method separately for each of the object names that represent run-time objects on which this method may be invoked. To ensure flexibility and practicality, we propose a parameterization framework that allows analysis designers to control the tradeoffs between cost and precision in the object-sensitive analysis. Side-effect analysis determines the memory locations that may be modified by the execution of a program statement. Def-use analysis identifies pairs of statements that set the value of a memory location and subsequently use that value. The information computed by such analyses has a wide variety of uses in compilers and software tools. This work proposes new versions of these analyses that are based on object-sensitive points-to analysis.We have implemented two instantiations of our parameterized object-sensitive points-to analysis. On a set of 23 Java programs, our experiments show that these analyses have comparable cost to a context-insensitive points-to analysis for Java which is based on Andersen's analysis for C. Our results also show that object sensitivity significantly improves the precision of side-effect analysis and call graph construction, compared to (1) context-insensitive analysis, and (2) context-sensitive points-to analysis that models context using the invoking call site. These experiments demonstrate that object-sensitive analyses can achieve substantial precision improvement, while at the same time remaining efficient and practical.}, address = {New York, NY, USA}, author = {Milanova, Ana and Rountev, Atanas and Ryder, Barbara G.}, citeulike-article-id = {3429127}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1044834.1044835}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/1044834.1044835}, doi = {10.1145/1044834.1044835}, issn = {1049-331X}, journal = {ACM Trans. Softw. Eng. Methodol.}, keywords = {analysis, nasko, object, points-to, sensitivity, static}, number = {1}, pages = {1--41}, posted-at = {2008-11-28 01:34:37}, priority = {0}, publisher = {ACM}, title = {Parameterized object sensitivity for points-to analysis for Java}, url = {http://dx.doi.org/10.1145/1044834.1044835}, volume = {14}, year = {2005} }

TY - JOUR ID - citeulike:3429127 L3 - citeulike-article-id:3429127 N2 - The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. We present object sensitivity , a new form of context sensitivity for flow-insensitive points-to analysis for Java. The key idea of our approach is to analyze a method separately for each of the object names that represent run-time objects on which this method may be invoked. To ensure flexibility and practicality, we propose a parameterization framework that allows analysis designers to control the tradeoffs between cost and precision in the object-sensitive analysis. Side-effect analysis determines the memory locations that may be modified by the execution of a program statement. Def-use analysis identifies pairs of statements that set the value of a memory location and subsequently use that value. The information computed by such analyses has a wide variety of uses in compilers and software tools. This work proposes new versions of these analyses that are based on object-sensitive points-to analysis.We have implemented two instantiations of our parameterized object-sensitive points-to analysis. On a set of 23 Java programs, our experiments show that these analyses have comparable cost to a context-insensitive points-to analysis for Java which is based on Andersen's analysis for C. Our results also show that object sensitivity significantly improves the precision of side-effect analysis and call graph construction, compared to (1) context-insensitive analysis, and (2) context-sensitive points-to analysis that models context using the invoking call site. These experiments demonstrate that object-sensitive analyses can achieve substantial precision improvement, while at the same time remaining efficient and practical. IS - 1 JF - ACM Trans. Softw. Eng. Methodol. SN - 1049-331X AD - New York, NY, USA EP - 41 TI - Parameterized object sensitivity for points-to analysis for Java PB - ACM VL - 14 SP - 1 KW - analysis KW - nasko KW - object KW - points-to KW - sensitivity KW - static AU - Milanova, Ana AU - Rountev, Atanas AU - Ryder, Barbara PY - 2005/// UR - http://dx.doi.org/10.1145/1044834.1044835 ER -