Parameterized object sensitivity for points-to and side-effect analyses for Java

Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis

Volumn , Issue , 2002, Pages 1-11

  Milanova, Ana ^a   Rountev, Atanas ^a   Ryder, Barbara G ^a  

^a RUTGERS UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER AIDED SOFTWARE ENGINEERING; OPTIMIZATION; PROGRAM COMPILERS; SYNCHRONIZATION;

OBJECT SENSITIVITY;

JAVA PROGRAMMING LANGUAGE;

EID: 0036986544     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/566173.566174     Document Type: Conference Paper

References (29)

1. O. Agesen. Constraint-based type inference and parametric polymorphism. In Static Analysis Symposium, LNCS 8647 pages 78-100, 1994.
2. O. Agesen. The cartesian product algorithm: Simple and precise type inference of parametric polymorphism. In European Conference on Object-Oriented Programming, 1995.
3. A. Aiken, M. Fähndrich, J. Foster, and Z. Su. A toolkit for constructing type- and constraint-based program analyses. In International Workshop on Types in Compilation, 1998.
4. L. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, 1994.
5. D. Bacon and P. Sweeney. Fast static analysis of C++ virtual function calls. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 324-341, 1996.
6. R. Chatterjee, B. G. Ryder, and W. Landi. Relevant context inference. In Symposium on Principles of Programming Languages, pages 133-146, 1999.
7. L. R. Clausen. A Java bytecode optimizer using side-effect analysis. Concurrency: Practice and Experience, 9(11):1031-1045, 1997.
8. M. Das. Unification-based pointer analysis with directional assignments. In Conference on Programming Language Design and Implementation, pages 35-46, 2000.
9. J. Dean, D. Grove, and C. Chambers. Optimizations of object-oriented programs using static class hierarchy analysis. In European Conference on Object-Oriented Programming, pages 77-101, 1995.
10. G. DeFouw, D. Grove, and C. Chambers. Fast interprocedural class analysis. In Symposium on Principles of Programming Languages, pages 222-236, 1998.
11. A. Diwan, J. B. Moss, and K. McKinley. Simple and effective analysis of statically-typed object-oriented programs. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 292-305, 1996.
12. J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Addison-Wesley, 1996.
13. D. Grove, G. DeFouw, J. Dean, and C. Chambers. Call graph construction in object-oriented languages. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 108-124, 1997.
14. M. Hind and A. Pioli. Which pointer analysis should I use? In International Symposium on Software Testing and Analysis, pages 113-123, 2000.
15. D. Liang, M. Pennings, and M. J. Harrold. Extending and evaluating flow-insensitive and context-insensitive points-to analyses for Java. In Workshop on Program Analysis for Software Tools and Engineering, pages 73-79, June 2001.
16. N. Oxhoj, J. Palsberg, and M. Schwartzbach. Making type inference practical. In European Conference on Object-Oriented Programming, pages 329-349, 1992.
17. J. Palsberg and M. Schwartzbach. Object-oriented type inference. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 146-161, 1991.
18. J. Plevyak and A. Chien. Precise concrete type inference for object-oriented languages. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 324-340, 1994.
19. C. Razafimahefa. A study of side-effect analyses for Java. Master's thesis, McGill University, Dec. 1999.
20. A. Rountev, A. Milanova, and B. G. Ryder. Points-to analysis for Java based on annotated constraints. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 43-55, Oct. 2001.
21. E. Ruf. Effective synchronization removal for Java. In Conference on Programming Language Design and Implementation, pages 208-218, 2000.
22. B. G. Ryder, W. Landi, P. Stocks, S. Zhang, and R. Altucher. A schema for interprocedural modification side-effect analysis with pointer aliasing. ACM Transactions on Programming Languages and Systems, 23(2):105-186, Mar. 2001.
23. M. Shapiro and S. Horwitz. The effects of the precision of pointer analysis. In Static Analysis Symposium, LNCS 1302, pages 16-34, 1997.
24. M. Shapiro and S. Horwitz. Fast and accurate flow-insensitive points-to analysis. In Symposium on Principles of Programming Languages, pages 1-14, 1997.
25. B. Steensgaard. Points-to analysis in almost linear time. In Symposium on Principles of Programming Languages, pages 32-41, 1996.
26. M. Streckenbach and G. Snelting. Points-to for Java: A general framework and an emprirical comparison. Technical report, U. Passau, Sept. 2000.
27. V. Sundaresan, L. Hendren, C. Razafimahefa, R. Vallee-Rai, P. Lam, E. Gagnon, and C. Godin. Practical virtual method call resolution for Java. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 264-280, 2000.
28. F. Tip and J. Palsberg. Scalable propagation-based call graph construction algorithms. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 281-293, 2000.
29. R. Vallée-Rai, E. Gagnon, L. Hendren, P. Lam, P. Pominville, and V. Sundaresan. Optimizing Java bytecode using the Soot framework: Is it feasible? In International Conference on Compiler Construction, LNCS 1781, 2000.