Traveling through Dakota: Experiences with an object-oriented program analysis system

"Technology of Object-Oriented Languages and Systems

Volumn , Issue TOOL 34, 2000, Pages 49-60

  Hind, Michael ^a   Pioli, Anthony ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); DATA FLOW ANALYSIS; SOFTWARE PROTOTYPING; TREES (MATHEMATICS);

PROGRAM ANALYSIS;

OBJECT ORIENTED PROGRAMMING;

EID: 0034586721     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TOOLS.2000.868958     Document Type: Conference Paper

References (29)

1. A.V. Aho, R. Sethi, and J.D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading, MA, 1986.
2. Martin Alt and Florian Martin. Generation of efficient interprocedural analyzers with PAG. In Lecture Notes in Computer Science, pages 33-50. Springer-Verlag, September 1995. Proceedings from the 2nd International Static Analysis Symposium.
3. Jeffrey Dean, Greg DeFouw, David Grove, Vass Litvinov, and Craig Chambers. Vortex: An optimizing compiler for object-oriented languages. In ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 83-100, October 1996.
4. Amer Diwan. Goals and design of the whole program optimizer. In Mid-Atlantic States Student Workshop on Programming Languages and Systems, 1996.
5. Matthew B. Dwyer and Lori A. Clarke. A flexible architecture for building data flow analyzers. In Eighteenth International Conference on Software Engineering, 1996.
6. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
7. James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison Wesley, 1996.
8. Mary W. Hall, John M. Mellor-Crummey, Alan Carle, and Rene G. Rodriguez. Fiat: A framework for interprocedural analysis and transformations. In 6th Workshop on Languages and Compilers for Parallel Computing, 1993.
9. L. Hendren, C. Donawa, M. Emami, G. Gao, Justiani, and B. Sridharan. Designing the McCAT compiler based on a family of structured intermediate representations. In 5th Workshop on Languages and Compilers for Parallel Computing, pages 406-420, 1993. Lecture Notes in Computer Science, 757.
10. Michael Hind, Michael Burke, Paul Carini, and Jong-Deok Choi. Interprocedural pointer alias analysis. ACM Transactions on Programming Languages and Systems, 21(4):848-894, July 1999.
11. Michael Hind and Anthony Pioli. Evaluating the effectiveness of pointer arias analyses. Science of Computer Programming. To appear. Also available as Research Report 21510, IBM T.J. Watson Research Center, March 1999.
12. Michael Hind and Anthony Pioli. Assessing the effects of flow-sensitivity on pointer alias analyses. In Giorgio Levi, editor, Lecture Notes in Computer Science, 1503, pages 57-81. Springer-Verlag, 1998. Proceedings from the 5th International Static Analysis Symposium.
13. Michael Hind and Anthony Pioli. Which pointer analysis should I use? In International Symposium on Software Testing and Analysis, Augnst 2000.
14. John B. Kam and Jeffrey D. Ullman. Global data flow analysis and iterative algorithms. Journal of the ACM, 23(1):158-171, January 1976.
15. Michael Karasick. The architecture of Montana: An open and extensible programming environment with an incremental C++ compiler. In ACM SIGSOFT 1998 Symposium on the Foundations of Software Engineering, pages 131-142, November 1998.
16. Eleftherios Koutsofios and Stephen C. North. Drawing Graphs with dot. AT&T Research. Available at http://www.research.att.com/sw/tools/graphviz.
17. William Landi and Barbara Ryder. A safe approximate algorithm for interprocedural pointer aliasing. In SIGPLAN '92 Conference on Programming Language Design and Implementation, pages 235-248, June 1992. SIGPLAN Notices 27(6).
18. Anthony Pioli. Conditional pointer aliasing and constant propagation. Master's thesis, SUNY at New Paltz, 1999. Available at http://www.mcs.newpaltz.edu/tr as Technical Report # 99-102.
19. Anthony Pioli and Michael Hind. Combining interprocedural pointer analysis and conditional constant propagation. Research Report 21532, IBM T.J. Watson Research Center, March 1999. Also available as SUNY at New Paltz Technical Report #99-103.
20. Rutgers Prolangs, http://www.prolangs.rutgers.edu/public.html, 1999.
21. Peter F. Sweeney and Michael Burke. Quantifying and evaluating the space overhead in C++ memory layouts. Research Report 21370, IBM T.J. Watson Research Center, April 1999.
22. Peter F. Sweeney and Frank Tip. A study of dead data members in C++ applications. In SIGPLAN '98 Conference on Programming Language Design and Implementation, pages 324-332, June 1998. SIGPLAN Notices, 33(5).
23. Steven W.K. Tjiang and John L. Hennessy. Sharlit - A tool for building optimizers. In SIGPLAN '92 Conference on Programming Language Design and Implementation, pages 82-93, June 1992. SIGPLAN Notices 27(6).
24. G.A. Venkatesh and Charles N. Fischer. SPARE: A development environment for program analysis algorithms. IEEE Transactions on Software Engineering, 18(4):304-318, 1992.
25. Vance Waddle and Ashok Malhotra. A log n line crossing algorithm for leveled graphs. Research Report 20685, IBM T.J. Watson Research Center, January 1997.
26. Robert P. Wilson. Efficient Context-Sensitive Pointer Analysis for C Programs. PhD thesis, Stanford University, December 1997.
27. Robert P. Wilson, Robert S. French, Christopher S. Wilson, Saman P. Amarasinghe, Jennifer M. Anderson, Steve W.K. Tjiang, Shih-Wei Liao, Chau-Wen Tseng, Mary W. Hall, Monica S. Lam, and John L. Hennessy. SUIF: An infrastructure for research on parallelizing and optimizing compilers. SIGPLAN Notices, 29(12):31-37, 1994.
28. Robert P. Wilson and Monica S. Lam. Efficient context-sensitive pointer analysis for C programs. In SIGPLAN '95 Conference on Programming Language Design and Implementation, pages 1-12, June 1995. SIGPLAN Notices, 30(6).
29. Kwangkeun Yi and Williams Ludwell Harrison. Automatic generation and management of interprocedural data flow analysis. In 20th Annual ACM SIGACT-SIGPLAN Symposium on the Principles of Programming Languages, pages 246-259, January 1993.