Fast static analysis of C++ virtual function calls

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 31, Issue 10, 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

ALGORITHMS; C (PROGRAMMING LANGUAGE); PROGRAM COMPILERS; PROGRAM DIAGNOSTICS;

FAST STATIC ANALYSIS; VIRTUAL FUNCTION CALLS;

OBJECT ORIENTED PROGRAMMING;

EID: 0030260329     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/236338.236371     Document Type: Article

References (24)

1. AGESEN, 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 GRUNWALD, 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 proto-types. 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, U., 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. Interprocedural 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. OXHØJ, 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 RAMALINGAM, G. Slicing class hierarchies in C++. Published in these proceedings, 1996.
24. UNGAR, D., SMITH, R. B., CHAMBERS, C., AND HOLZLE, U. Object, message, and performance: how they coexist in Self. Computer 25, 10 (Oct. 1992), 53-64.