Completeness analysis for incomplete object-oriented programs

Lecture Notes in Computer Science

Volumn 3443, Issue , 2005, Pages 271-286

  Xue, Jingling ^a   Nguyen, Phung Hua ^a  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARKING; CODES (SYMBOLS); CONTEXT SENSITIVE LANGUAGES; FLOW CONTROL; JAVA PROGRAMMING LANGUAGE; SET THEORY;

ANALYSIS COSTS; COMPLETENESS ANALYSIS; DYNAMIC CLASS LOADING; LIBRARY MODULES;

OBJECT ORIENTED PROGRAMMING;

EID: 24644443316     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31985-6_21     Document Type: Conference Paper

References (22)

1. Lars Ole Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, May 1994.
2. Bruno Blanchet. Escape analysis: Correctness proof, implementation and experimental results. In 25th Annual ACM Symposium on Principles of Programming Languages, pages 25-37, January 1998.
3. Ramkrishna Chatterjee and Barbara G.Ryder. Data-flow-based testing of object-oriented libraries. Technical Report 433, Rutgers University, 2001.
4. Jong-Deok Choi, Manish Gupta, Mauricio J. Serrano, Vugranam C. Sreedhar, and Samuel P. Midkiff. Escape analysis for Java. In 14th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications, pages 1-19, November 1999.
5. Jeffrey Dean, David Grove, and Craig Chamber. Optimization of object-oriented programs using static class hierarchy analysis. In 5th European Conference on Object-Oriented Programming, volume 952, pages 77-101. Springer, Aug. 1995.
6. Sanjay Ghemawat, Keith H. Randall, and Daniel J. Scales. Field analysis: Getting useful and low-cost interprocedural information. In ACM SIGPLAN '00 Conference on Programming Language Design and Implementation, June 2000.
7. Mary Jean Harrold and Gregg Rothermel. Separate computation of alias information for reuse. IEEE Transaction on Software Engineering, 22(7):442-460, 1996.
8. Martin Hirzel, Amer Diwan, and Michael Hind. Pointer analysis in the presence of dynamic class loading. In 18th European Conference on Object-Oriented Programming, June 2004.
9. Ondřej Lhoták and Laurie Hendren. Scaling Java points-to analysis using Spark. In 12th International Conference on Compiler Construction, volume 2622 of LNCS, pages 153-169, Warsaw, Poland, April 2003. Springer.
10. Igor Pechtchanski and Vivek Sarkar. Dynamic optimistic interprocedural analysis: a framework and an application. In 16th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications, October 2001.
11. S. Porat, M. Biberstein, L. Koved, and B. Mendelson. Automatic detection of immutable fields in Java. In Proceedings of CASCON 2000, 2000.
12. Feng Qian and Laurie Hendren. Towards dynamic interprocedural analysis in JVMs. In 3rd ACM SIGPLAN Symposium on Virtual Machine Research and Technology, May 2004.
13. Atanas Rountev, Ana Milanova, and Barbara G. Ryder. Points-to analysis for Java based on annotated constraints. Technical Report DCS-TR-424, Rutgers University, November 2000.
14. Atanas Rountev, Ana Milanova, and Barbara G. Ryder. Fragment class analysis for testing of polymorphism in Java software. In 25th International Conference on Software Engineering, May 2003.
15. Atanas Rountev and Barbare G. Ryder. Practical points-to analysis for programs built with libraries. Technical Report 410, Rutgers University, February 2000.
16. Vugranam C. Sreedhar, Michael Burke, and Jong-Deok Choi. A framework for interprocedural optimization in the presence of dynamic class loading. In ACM SIGPLAN '00 Conference on Programming Language Design and Implementation, pages 196-207, June 2000.
17. M. Streckenbach and G. Snelting. Points-to for Java: A general framework and an empirical comparison. Technical report, University Passau, November 2000.
18. Sun Microsystems. Java 2 software development kit version 1.2.2, July 1999.
19. Raja Vallée-Rai, Laurie Hendren, Vijay Sundaresan, Patrick Lam, Etienne Gagnon, and Phong Co. Soot: a Java optimization framework, http://www.sable.mcgill.ca/soot, 1999.
20. Frédéric Vivien and Martin C. Rinard. Incrementalized pointer and escape analysis. In ACM SIGPLAN '01 Conference on Programming Language Design and Implementation, pages 35-46, June 2001.
21. John Whaley and Martin Rinard. Compositional pointer and escape analysis for Java programs. In 14th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications, pages 187-206, November 1999.
22. Ayal Zaks, Vitaly Feldman, and Nava Aizikowitz. Sealed calls in Java packages. In 15th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications, October 2000.