Fast static analysis of C++ virtual function calls

Proceedings of the 11th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 1996

Volumn , Issue , 1996, Pages 324-341

  Bacon, David F ^a   Sweeney, Peter F ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING; OBJECT ORIENTED PROGRAMMING; PROGRAM COMPILERS; STATIC ANALYSIS; VIRTUAL REALITY;

CODE SIZE; LINES OF CODE; MEASUREMENTS OF; POWERPC; PROGRAM COMPLEXITY; PROGRAM UNDERSTANDING; STATIC-ANALYSIS ALGORITHM; VIRTUAL FUNCTIONS;

C++ (PROGRAMMING LANGUAGE);

EID: 85028681143     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/236337.236371     Document Type: Conference Paper

References (24)

1. AGESBN, O. Constraint-based type inference and parametric polymorphism. In Proceedings of the First International Static Analysis Symposium (Namur, Belgium, Sept. 1994), B. Le Charlier, Ed., Springer-Verlag, pp. 78-100.
2. AGESEN, O., AND HÖLZLE, U. Type feedback vs. concrete type inference: A comparison of optimization techniques for object-oriented languages. In Proceedings of the 1995 ACM Conference on Object Oriented Programming Systems, Languages, and Applications (OOPSLA) (Austin, Texas, Oct. 1995), ACM Press, New York, New York, pp. 91-107.
3. AIGNER, G., AND HÖLZLE, U. Eliminating virtual function calls in C++ programs. In Proceedings of the Tenth European Conference on Object-Oriented Programming - ECOOP'96 (Linz, Austria, July 1996), vol. 1098 of Lecture Notes in Computer Science, Springer-Verlag, pp. 142-166.
4. BACON, D. F., WEGMAN, M., AND ZADECK, K. Rapid type analysis for C++. Tech. Rep. RC number pending, IBM Thomas J. Watson Research Center, 1996.
5. BURKE, M., CARINI, P., CHOI, J.-D., AND HIND, M. Flow-insensitive interprocedural alias analysis in the presence of pointers. In Proceedings of the Seventh International Workshop on Languages and Compilers for Parallel Computing (Ithaca, New York, Aug. 1994), K. Pingali, U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, Eds., vol. 892 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, Germany, pp. 234-250.
6. CALDER, B., AND GRüNWALD, D. Reducing indirect function call overhead in C++ programs. In Conference Record of the Twenty-First ACM Symposium on Principles of Programming Languages (POPL) (Portland, Oregon, Jan. 1994), ACM Press, New York, New York, pp. 397-408.
7. CARINI, P., HIND, M., AND SRINIVASAN, H. Type analysis algorithm for C++. Tech. Rep. RC 20267, IBM Thomas J. Watson Research Center, 1995.
8. CHAMBERS, C, AND UNGAR, D. Iterative type analysis and extended message splitting: optimizing dynamically-typed object-oriented programs. LISP and Symbolic Computation 4, 3 (July 1991), 283-310.
9. CHAMBERS, C, UNGAR, D., AND LEE, E. An efficient implementation of SELF, a dynamically-typed object-oriented language based on prototypes. LISP and Symbolic Computation 4, 3 (July 1991), 243-281.
10. CHOI, J.-D., BURKE, M., AND CARINI, P. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects. In Conference Record of the Twentieth ACM Symposium on Principles of Programming Languages (POPL) (Charleston, South Carolina, Jan. 1993), ACM Press, New York, New York, pp. 232-245.
11. DEAN, J., GROVE, D., AND CHAMBERS, C. Optimization of object-oriented programs using static class hierarchy analysis. In Proceedings of the Ninth European Conference on Object-Oriented Programming - ECOOP'95 (Aarhus, Denmark, Aug. 1995), W. Olthoff, Ed., Springer-Verlag, pp. 77-101.
12. DIWAN, A., Moss, J. E. B., AND MCKINLEY, K. S. Simple and effective analysis of statically-typed object-oriented programs. Published in these proceedings, 1996.
13. FERNANDEZ, M. F. Simple and effective link-time optimization of Modula-3 programs. In Proceedings of the SIGPLAN Conference on Programming Language. Design and Implementation (PLDI) (La Jolla, California, June 1995), ACM Press, New York, New York, pp. 103-115.
14. HÖLZLE, L'., CHAMBERS, C, AND UNGAR, D. Optimizing dynamically-types object-oriented languages with polymorphic inline caches. In Proceedings of the European Conference on Object-Oriented Programming - ECOOP'91 (Geneva, Switzerland, July 1991), P. America, Ed., Springer-Verlag, pp. 21-38.
15. LANDI, W., RYDER, B. G., AND ZHANG, S. In-terprocedural modification side effect analysis with pointer aliasing. In Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (Albuquerque, New Mexico, June 1993), ACM Press, New York, New York, pp. 56-67.
16. LEE, Y., AND SERRANO, M. J. Dynamic measurements of C++ program characteristics. Tech. Rep. ADTI-1995-001, IBM Santa Teresa Laboratory, Jan. 1995.
17. OXHOJ, N., PALSBERG, J., AND SCHWARTZBACH, M. I. Making type inference practical. In Proceedings of the European Conference on Object-Oriented Programming - ECOOP'92 (Utrecht, Netherlands, June 1992), O. L. Madsen, Ed., Springer-Verlag, pp. 329-349.
18. PANDE, H. D., AND RYDER, B. G. Static type determination for C++. In Proceedings of the Sixth Usenix C++ Technical Conference (Apr. 1994), pp. 85-97.
19. PANDE, H. D., AND RYDER, B. G. Data-flow-based virtual function resolution. In Proceedings of the International Static Analysis Symposium (1996), Lecture Notes in Computer Science, Springer-Verlag
20. PLEVYAK, J., AND CHIEN, A. A. Precise concrete type inference for object-oriented languages. In Proceedings of the 1994 ACM Conference on Object Oriented Programming Systems, Languages, and Applications (OOPSLA) (Portland, OR, Oct. 1994), ACM Press, New York, New York, pp. 324-340.
21. PORAT, S., BERNSTEIN, D., FEDOROV, Y., AND RODRIGUE, J. Compiler optimizations of C++ virtual function calls. In Proceedings of the Second Conference on Object-Oriented Technologies and Systems (Toronto, Canada, June 1996), Usenix Association, pp. 3-14.
22. SRIVASTAVA, A. Unreachable procedures in object-oriented programming. ACM Letters on Programming Languages and Systems 1, 4 (December 1992), 355-364.
23. TIP, F., CHOI, J.-D., FIELD, J., AND RAMA-LINGAM, G. Slicing class hierarchies in C++ Published in these proceedings, 1996.
24. UNGAR, D., SMITH, R. B., CHAMBERS, C, AND HÖLZLE, U. Object, message, and performance: how they coexist in Self. Computer 25, 10 (Oct. 1992), 53-64.