Static type determination for C++

USENIX 6th C++ Technical Conference

Volumn , Issue , 1994, Pages

  Pande, Hemant D ^a,b   Ryder, Barbara G ^b  

^a TATA RESEARCH DEVELOPMENT AND DESIGN CENTRE   (India)

^b RUTGERS UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; NP-HARD; STATIC ANALYSIS;

ANALYSIS TECHNIQUES; APPROXIMATE ALGORITHMS; COMPILE TIME; INTER-PROCEDURAL; MULTIPLE LEVELS; PROGRAM POINTS; SINGLE LEVEL;

C++ (PROGRAMMING LANGUAGE);

EID: 85095596004     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (36)

1. M. Burke. An interval-based approach to exhaustive and incremental interprocedural data flow analysis. ACM Transactions on Programming Languages and Systems, 12(3):341-395, July 1990.
2. J.-D. Choi, M. Burke, and P. Carini. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects. In Proceedings of the Twentieth Annual ACM Symposium on Principles of Programming Languages, January 1993.
3. B. Calder and D. Grunwald. Reducing indirect function call overhead in C + + programs. In Proceedings of the Twenty First Annual ACM Symposium on Principles of Programming Languages, January 1994.
4. K. Cooper and K. Kennedy. Interprocedural side-effect analysis in linear time. In Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation, pages 57-66, June 1988.
5. K. Cooper and K. Kennedy. Fast interprocedural alias analysis. In Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, pages 49-59, January 1989.
6. C. Chambers and D. Ungar. Customization: optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language. In Proceedings of the SIGPLAN'89 Conference on Programming Language Design and Implementation, pages 146-160, June 1989.
7. C. Chambers and D. Ungar. Iterative type analysis and extended message splitting: optimizing dynamically-typed object-oriented programs. In Proceedings of the SIGPLAN'90 Conference on Programming Language Design and Implementation, pages 150-164, June 1990.
8. D. Callahan. The program summary graph and flow-sensitive interprocedural data flow analysis. In Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation, pages 47-56, June 1988.
9. P. G. Frankl and E. J. Weyuker. A data flow testing tool. In Proceedings of IEEE Softfair II, December 1985.
10. Rakesh Ghiya. Interprocedural analysis in the presence of function pointers. McGill University School of Computer Science AC APS Technical Memo 62, December 1992.
11. U. Holzle, C. Chambers and D. Ungar. Optimizing dynamically-typed object-oriented languages with polymorphic inline caches. In Proceedings of the European Conference on Object Oriented Programming, July 1991.
12. Mary Hall and Ken Kennedy. Efficient call graph analysis. ACM Letters on Programming Languages and Systems, Vol. 1, No. 3, September 1992.
13. S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems, 12(l):26-60. January 1990.
14. M. J. Harrold and M. L. Sofia. Interprocedural data flow testing. In Proceedings of the Third Testing, Analysis and Verification Symposium, pages 158-167, December 1989.
15. M. J. Harrold and M. L. Sofia. Computation of interprocedural definition and use dependencies. In Proceedings of the 1990 International Conference on Computer Languages, pages 297-306, 1990.
16. W. Landi and B. G. Ryder. Pointer-induced aliasing: A problem classification. In Conference Record of the Eighteenth Annual ACM symposium on Principles of Programming Languages, pages 93-103, January 1991.
17. W. Landi and B. G. Ryder. A safe approximate algorithm for interprocedural pointer aliasing. In Proceedings of the SIGPLAN '92 Conference on Programming Language Design and Implementation, pages 235-248, June 1992.
18. W. Landi, B. G. Ryder, and S. Zhang. Interprocedural modification side effect analysis with pointer aliasing. In Proceedings of the SIGPLAN'93 Conference on Programming Language Design and Implementation, June 1993.
19. Arun Lakhotia. Graph theoretic foundations of program slicing and integration. The Center for Advanced Computer Studies, University of Southwestern Louisiana Technical Report CACS TR-91-5-5, 1991.
20. Arun Lakhotia. Constructing call multigraphs using dependence graphs. In Proceedings of the Twentieth Annual ACM Symposium on Principles of Programming Languages, January 1993.
21. J. M. Larcheveque. Interprocedural type propagation for object-oriented languages. In proceedings of the Fourth European Symposium on Programming (ESPO'92), February 1992.
22. T. J. Marlowe, W. A. Landi, B. G. Ryder, J. Choi, M. Burke, and P. Carini. Pointer-induce aliasing: A clarification. ACM SIGPLAN Notices, 28(9), September 1993.
23. E. M. Myers. A precise interprocedural data flow algorithm. In Conference Record of the Eighth Annual ACM Symposium on the Principles of Programming Languages, pages 219-230, January 1981.
24. T. J. Ostrand and E. Weyuker. Data flow based test adequacy analysis for languages with pointers. In Proceedings of the 1991 Symposium on Software Testing, Analysis and Verification (TAV4), October 1991.
25. H. D. Pande, W. Landi and B. G. Ryder. Interprocedural def-use associations for C systems with single level pointers. To appear in IEEE Transactions on Software Engineering, April 1994.
26. H. D. P a n d e, B. G. R y d e r a n d W. L a n d i. I n t e r p r o c e d u r a l def-use a s s o c i a t i o n s i n C p r o g r a m s. In Proceedings of the 1991 Symposium on Software Testing, Analysis and Verification (TAV4), O c t o b e r 1 9 9 1.
27. H. D. Pande and B. G. Ryder. Static type determination and aliasing for C + + programs. Technical Report, Laboratory of Computer Science Research, Rutgers University, in preparation, 1994.
28. Jens Palsberg and Michael Schwartzbach. Object-oriented type inference. In Proceedings of Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pages 146-161, October 1991.
29. R a m e s h P a r a m e s w a r a n. I n t e r p r o c e d u r a l a l i a s a n d t y p e a n a l y s i s for p o i n t e r s. Masters Thesis, Department of Computer Science, University of Wisconsin - Madison. 1992.
30. S. Rapps and E. Weyuker. Selecting software test data using data flow information. IEEE Transactions on Software Engineering, SE-ll(4):367-375, April 1985.
31. B. G. Ryder. Constructing the call graph of a program. IEEE Transactions on Software Engineering, SE-5(3):216-225, May 1979.
32. Mario Suedholt and Christopher Steigner. On interprocedural data flow analysis for object oriented languages. In Proceedings of the International Conference on Compiler Construction, Germany, 1992.
33. Norihisa Suzuki. Inferring types in Smalltalk. In Eighth Symposium on Principles of Programming Languages, pages 187-199, J a n u a r y 1981.
34. Jan Vitek, R. Nigel Harspool and James S. Uhl. Compile-time analysis of object oriented programs. In Proceedings of the International Conference on Compiler Construction, Germany, 1992.
35. Mark Weiser. Program slicing. IEEE Transactions on Software Engineering, SE-10(4):352-357, July 1984.
36. W. Yang, S. Horwitz and T. Reps. A program integration algorithm that accommodates semantic preserving transformations. In Proceedings of the Fourth ACM SIGSOFT Symposium on Software Development Environments, pages 133-143, December 1990.