Parameterized object sensitivity for points-to analysis for java

ACM Transactions on Software Engineering and Methodology

Volumn 14, Issue 1, 2005, Pages 1-41

  Milanova, Ana ^a,d   Rountev, Atanas ^b,e   Ryder, Barbara G ^c,f  

^a RENSSELAER POLYTECHNIC INSTITUTE   (United States)

^b OHIO STATE UNIVERSITY   (United States)

^c RUTGERS UNIVERSITY   (United States)

^d Rensselaer Polytechnic Institute   (United States)

^e Ohio State University   (United States)

^f RUTGERS UNIVERSITY   (United States)

Author keywords

Class analysis; Context sensitivity; Def use analysis; Points to analysis; Side effect analysis; Static analysis

Indexed keywords

CLASS ANALYSIS; CONTEXT SENSITIVITY; CONTEXT-INSENSITIVE ANALYSIS; DEF-USE ANALYSIS; PARAMETERIZATION; PARAMETERIZED OBJECT SENSITIVITY; POINTS-TO ANALYSIS; STATIC ANALYSIS;

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SOFTWARE MAINTENANCE; CONTEXT SENSITIVE LANGUAGES; INFORMATION ANALYSIS; OBJECT ORIENTED PROGRAMMING; PRODUCTIVITY; SENSITIVITY ANALYSIS;

JAVA PROGRAMMING LANGUAGE;

EID: 13844296853     PISSN: 1049331X     EISSN: None     Source Type: Journal    
DOI: 10.1145/1044834.1044835     Document Type: Article

References (49)

1. AGESEN, O. 1994. Constraint-based type inference and parametric polymorphism. In Proceedings of the Static Analysis Symposium. Lecture Notes in Computer Science, vol. 864. Springer-Verlag, Los Alamitos, Calif., 78-100.
2. AGESEN, O. 1995. The Cartesian product algorithm: Simple and precise type inference of parametric polymorphism. In European Conference on Object-Oriented Programming. 2-26.
3. AHO, A., SETHI, R., AND ULLMAN, J. 1986. Compilers: Principles, Techniques, and Tools. AddisonWesley, Reading, Mass.
4. AIKEN, A., FÄHNDRICH, M., FOSTER, J., AND SU, Z. 1998. A toolkit for constructing type- and constraint-based program analyses. In International Workshop on Types in Compilation.
5. ANDERSEN, L. 1994. Program analysis and specialization for the C programming language. Ph.D. dissertation, DIKU, University of Copenhagen.
6. BACON, D. AND SWEENEY, P. 1996. Fast static analysis of C++ virtual function calls. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications. 324-341.
7. BERNDL, M., LHOTÁK, O., QIAN, F., HENDREN, L., AND UMANEE, N. 2003. Points-to analysis using HDD's. In Proceedings of the Conference on Programming Language Design and Implementation. 103-114.
8. CHATTERJEE, R., RYDER, B. G., AND LANDI, W. 1999. Relevant context inference. In Proceedings of the Symposium on Principles of Programming Languages, 133-146.
9. CLAUSEN, L. 1997. A Java bytecode optimizer using side-effect analysis. Concurr.: Practice Exp. 9, 11, 1031-1045.
10. DAS, M. 2000. Unification-based pointer analysis with directional assignments. In Proceedings of the Conference on Programming Language Design and Implementation. 35-46.
11. DEAN, J., GROVE, D., AND CHAMBERS, C. 1995. Optimizations of object-oriented programs using static class hierarchy analysis. In Proceedings of the European Conference on Object-Oriented Programming. 77-101.
12. DEFOUW, G., GROVE, D., AND CHAMBERS, C. 1998. Fast interprocedural class analysis. In Proceedings of the Symposium on Principles of Programming Languages. 222-236.
13. DIWAN, A., Moss, J. B., AND MCKINLEY, K. 1996. Simple and effective analysis of statically-typed object-oriented programs. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications. 292-305.
14. FITZGERALD, R., KNOBLOCK, T. B., RUF, E., STEENSGAARD, B., AND TARDITI, D. 2000. Marmot: An optimizing compiler for Java. Software: Practice Exper. 30, 3 (Mar.), 199-232.
15. FU, C., RYDER, B. G., MILANOVA, A., AND WONNACOTT, D. 2004. Testing of Java web services for robustness. In Proceedings of the International Symposium on Software Testing and Analysis. 23-34.
16. GOSLING, J., JOY, B., AND STEELE, G. 1996. The Java Language Specification. Addison-Wesley, Reading, Mass.
17. GROVE, D. AND CHAMBERS, C. 2001. A framework for call graph construction algorithms. ACM Trans. Prog. Lang. Syst. 23, 6, 685-746.
18. GROVE, D., DEFOUW, G., DEAN, J., AND CHAMBERS, C. 1997. Call graph construction in object-oriented languages. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications. 108-124.
19. HARROLD, M. J. AND ROTHERMEL, G. 1994. Performing data flow testing on classes. In Proceedings of the Symposium on the Foundations of Software Engineering. 154-163.
20. HARROLD, M. J. AND SOFFA, M. L. 1994. Efficient computation of interprocedural definition-use chains. ACM Trans. Prog. Lang. Syst. 16, 2 (Mar.), 175-204.
21. HIND, M. AND PIOLI, A. 2000. Which pointer analysis should I use? In Proceedings of the International Symposium on Software Testing and Analysis. 113-123.
22. IBM CORPORATION 1997. High Performance Compiler for Java. IBM Corporation. http://www.alphaWorks.ibm.com/formula.
23. LHOTÁK, O. AND HENDREN, L. 2003. Scaling Java points-to analysis using Spark. In Proceedings of the International Conference on Compiler Construction. Lecture Notes in Computer Science, vol. 2622. Springer-Verlag, New York, 153-169.
24. LIANG, D., PENNINGS, M., AND HARROLD, M. J. 2001. Extending and evaluating flow-insensitive and context-insensitive points-to analyses for Java. In Proceedings of the Workshop on Program Analysis for Software Tools and Engineering. 73-79.
25. MILANOVA, A. 2003. Precise and practical flow analysis of object-oriented software. Ph.D. dissertation, Rutgers University. (Available as Techical Report DCS-TR-539).
26. MILANOVA, A., ROUNTEV, A., AND RYDER, B. G. 2002. Parameterized object sensitivity for points-to and side-effect analyses for Java. In Proceedings of the International Symposium on Software Testing and Analysis. 1-11.
27. OXHOJ, N., PALSBERG, J., AND SCHWARTZBACH, M. 1992. Making type inference practical. In Proceedings of the European Conference on Object-Oriented Programming. 329-349.
28. PALSBERG, J. AND SCHWARTZBACH, M. 1991. Object-oriented type inference. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications. 146-161.
29. PANDE, H., LANDI, W., AND RYDER, B. G. 1994. Interprocedural def-use associations for C systems with single level pointers. IEEE Transactions on Software Engineering 20, 5 (May), 385-403.
30. PLEVYAK, J. AND CHIEN, A. 1994. Precise concrete type inference for object-oriented languages. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications. 324-340.
31. RAZAFIMAHEFA, C. 1999. A study of side-effect analyses for Java. M.S. thesis, McGill University.
32. REPS, T., HORWITZ, S., AND SAGIV, M. 1995. Precise interprocedural dataflow analysis via graph reachability. In Proceedings of the Symposium on Principles of Programming Languages. 49-61.
33. ROUNTEV, A., MILANOVA, A., AND RYDER, B. G. 2001. Points-to analysis for Java based on annotated constraints. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications. 43-55.
34. RUF, E. 2000. Effective synchronization removal for Java. In Proceedings of the Conference on Programming Language Design and Implementation. 208-218.
35. RYDER, B. G. 2003. Dimensions of precision in reference analysis of object-oriented programming languages. In Proceedings of the International Conference on Compiler Construction. Lecture Notes in Computer Science, vol. 2622. Springer-Verlag, New York, 126-137 (invited paper).
36. RYDER, E.G., LANDI, W., STOCKS, P., ZHANG, S., AND ALTUCHER, R. 2001. A schema for interprocedural modification side-effect analysis with pointer aliasing. ACM Trans. Prog. Lang. Syst. 23, 2 (Mar.), 105-186.
37. SHAPIRO, M. AND HORWITZ, S. 1997a. The effects of the precision of pointer analysis. In Proceedings of the Static Analysis Symposium. Lecture Notes in Computer Science, vol. 1302. Springer-Verlag, New York, 16-34.
38. SHAPIRO, M. AND HORWITZ, S. 1997b. Fast and accurate flow-insensitive points-to analysis. In Proceedings of the Symposium on Principles of Programming Languages. 1-14.
39. SHARK, M. AND PNUELI, A. 1981. Two approaches to Intel-procedural data flow analysis. In Program Flow Analysis: Theory and Applications, S. Muchnick and N. Jones, Eds. Prentice Hall, Englewood Cliffs, N.J., 189-234.
40. SOUTER, A. AND POLLOCK, L. 2003. The construction of contextual def-use associations for object-oriented systems. IEEE Trans. Softw. Eng. 29, 11 (Nov.), 1005-1018.
41. SOUTER, A., POLLOCK, L., AND HISLEY, D. 1999. Inter-class def-use analysis with partial class representations. In Proceedings of the Workshop on Program Analysis for Software Tools and Engineering. 47-56.
42. STEENSGAARD, B. 1996. Points-to analysis in almost linear time. In Proceedings of the Symposium on Principles of Programming Languages. 32-41.
43. STRECKENBACH, M. AND SNELTINO, G. 2000. Points-to for Java: A general framework and an empirical comparison. Tech. rep., U. Passau. Sept.
44. SUNDABESAN, V., HENDREN, L., RAZAFIMAHEFA, C., VALLEE-RAI, R., LAM, P., GAGNON, E., AND GODIN, C. 2000. Practical virtual method call resolution for Java. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications. 264-280.
45. TIP, F., LAFFRA, C., SWEENEY, P., AND STREETER, D. 1999. Practical experience with an application extractor for Java. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications. 292-305.
46. TIP, F. AND PALSBERO, J, 2000. Scalable propagation-based call graph construction algorithms. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications. 281-293.
47. VALLÉE-RAI, R., GAONON, E., HENDREN, L., LAM, P., POMINVILLE, P., AND SUNDARESAN, V. 2000. Optimizing Java bytecode using the Soot framework: Is it feasible? In Proceedings of the International Conference on Compiler Construction. Lecture Notes in Computer Science, vol. 1781. Springer-Verlag, New York, 18-34.
48. WHALEY, J. AND LAM, M. 2002, An efficient inclusion-based points-to analysis for strictly-typed languages. In Proceedings of the Static Analysis Symposium. 180-195.
49. WHALEY, J, AND RINARD, M. 1999. Compositional pointer and escape analysis for Java programs. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications. 187-206.