Incremental call graph reanalysis for object-oriented software maintenance

IEEE International Conference on Software Maintenance, ICSM

Volumn , Issue , 2001, Pages 682-691

  Souter, Amie L ^a   Pollock, Lori L ^a  

^a University of Delaware   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CARTESIAN PRODUCT ALGORITHM; INCREMENTAL CALL GRAPH REANALYSIS; OBJECT-ORIENTED SOFTWARE MAINTENANCE;

ALGORITHMS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; PROGRAM DIAGNOSTICS;

COMPUTER SOFTWARE MAINTENANCE;

EID: 77956616251     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSM.2001.972787     Document Type: Conference Paper

References (27)

1. O. Agesen. The Cartesian Product Algorithm: Simple and Precise Type Inference of Parametric Polymorphism. In Proceedings of ECOOP, 1995
2. O. Agesen. Concrete Type Inference: Delivering Object-Oriented Applications. PhD thesis, Stanford, 1996.
3. G. Agrawal. Demand-driven call graph construction. In Proceedings of the Compiler Construction Conference, 2000.
4. D. F. Bacon and P. F. Sweeney. Fast Static Analysis of C++ Virtual Function Calls. In Proceedings of OOPSLA, 1996.
5. C. Chambers and D. Ungar. Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs. In Proceedings of PLDI, 1990.
6. J. Dean, D. Grove, and C. Chambers. Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis. In Proceedings of ECOOP, August 1995.
7. G. DeFouw, D. Grove, and C Chambers. Fast Interprocedural Class Analysis. In Proceedings of POPL, 1998.
8. A. Diwan, J. E. B. Moss, and K.McKinley. Simple and Effective Analysis of Statically-Typed Object-Oriented Programs. In Proceedings of OOOPSLA, 1996.
9. E. Duesterwald, R. Gupta, and M. L. Soffa. A practical framework for demand-driven interprocedural data flow analysis. ACM TOPLAS, 19(6):992-1030, Nov. 1997.
10. D. Grove. Effective Interprocedural Optimization of Object-Oriented Languages. PhD thesis, Univ of Washington, 1998.
11. M. J. Harrold, J. D. McGregor, and K. J. Fitzpatrich. Incremental Testing of Object-oriented Class Structures. In Proceedings of ICSE, May 1992.
12. M. Rinard et. al. FLEX. www.flex-compiler.lcs.mit.edu, 2000.
13. J. Palsberg and M. Schwartzbach. Object-Oriented Type Inference. In Proceedings of OOPSLA, 1991.
14. H. Pande and B. Ryder. Static Type Determination for C++. In Proceedings of USENIX C++ Technical Conference, 1994.
15. J. Plevyak, and A. Chien. Precise Concrete Type Inference for Object-Oriented Languages. In Proceedings of OOPSLA, 1994.
16. L. L. Pollock and M. L. Soffa. An incremental version of iterative data flow analysis. IEEE Transactions on Software Engineering, 15(12):1537-1549, Dec. 1989.
17. T. Reps, S. Horwitz, and M. Sagiv. Precise Interprocedural Data Flow Analysis via Graph Reachability. In Proceedings of Principles of Programming Languages, 1995.
18. A. Rountev, A. Milanova, and B. G. Ryder. Points-to Analysis for Java Based on Annotated Constraints. In Proceedings of OOPSLA, 2001.
19. B. Ryder and M. Paull. Incremental Data-Flow Analysis ACM TOPLAS, 10(1):1-50, January 1988.
20. O. Shivers. Control Flow Analysis of Higher-Order Languages. PhD thesis, CMU, 1991.
21. A. Souter and L. Pollock. OMEN: A Strategy for Testing Object-Oriented Software. In Proceedings of ISSTA, 2000.
22. A. Souter, T. Wong, S. Shindo, and L. Pollock. TATOO: Testing and Analysis Tool for Object-Oriented Software. In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems, 2001.
23. V. Sundaresan, L. Hendren, C. Razafimahefa, R. Valle-Rai, P. Lam, E. Gagnon, and C. Godin. Practical Virtual Method Call Resolution for Java. In Proceedings of OOPSLA, 2000.
24. F. Tip and J. Palsberg. Scalable Propagation-Based Call Graph Construction Algorithms. In Proceedings of OOPSLA, 2000.
25. R. Valle-Rai, L. Hendren, V. Sundaresan, P. Lam, E. Gagnon, and P. Co. Soot - a Java Optimization Framework. In Proceedings of CASCON, Sept. 1999.
26. J.-S. Yur, B. G. Ryder, and W. Landi. An incremental flow- and context-sensitive pointer aliasing analysis. In Proceedings of ICSE, 1999.
27. F. Zadeck. Incremental Data Flow Analysis in a Structured Program Editor. In Symposium on Compiler Construction, 1984.