Practical virtual method call resolution for Java

Sundaresan, Vijay; Hendren, Laurie; Razafimahefa, Chrislain; Vallée-Rai, Raja; Lam, Patrick; Gagnon, Etienne et Godin, Charles (2000). « Practical virtual method call resolution for Java », dans Proceeding OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Minneapolis, Minnesota, USA, 2000) New York, ACM, pp. 264-280.

Fichier(s) associé(s) à ce document :
[img]
Prévisualisation
PDF
Télécharger (294kB)

Résumé

This paper addresses the problem of resolving virtual method and interface calls in Java bytecode. The main focus is on a new practical technique that can be used to analyze large applications. Our fundamental design goal was to develop a technique that can be solved with only one iteration, and thus scales linearly with the size of the program, while at the same time providing more accurate results than two popular existing linear techniques, class hierarchy analysis and rapid type analysis.We present two variations of our new technique, variable-type analysis and a coarser-grain version called declared-type analysis. Both of these analyses are inexpensive, easy to implement, and our experimental results show that they scale linearly in the size of the program.We have implemented our new analyses using the Soot frame-work, and we report on empirical results for seven benchmarks. We have used our techniques to build accurate call graphs for complete applications (including libraries) and we show that compared to a conservative call graph built using class hierarchy analysis, our new variable-type analysis can remove a significant number of nodes (methods) and call edges. Further, our results show that we can improve upon the compression obtained using rapid type analysis.We also provide dynamic measurements of monomorphic call sites, focusing on the benchmark code excluding libraries. We demonstrate that when considering only the benchmark code, both rapid type analysis and our new declared-type analysis do not add much precision over class hierarchy analysis. However, our finer-grained variable-type analysis does resolve significantly more call sites, particularly for programs with more complex uses of objects.

Type: Communication, article de congrès ou colloque
Mots-clés ou Sujets: Software and its engineering, Software notations and tools, General programming languages, Language types
Unité d'appartenance: Faculté des sciences > Département d'informatique
Déposé par: Étienne M. Gagnon
Date de dépôt: 28 avr. 2016 18:34
Dernière modification: 19 mai 2016 18:51
Adresse URL : http://www.archipel.uqam.ca/id/eprint/8367

Statistiques

Voir les statistiques sur cinq ans...