© University of Kent - Contact | Feedback | Legal | Cookies
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
Static analysis of object-oriented applications has become widespread over the last decade, mainly in the context of compile-time optimizations. The paper describes how static analysis of virtual method calls can be employed to provide a high-level view of Java applications. The result is a method call graph that can be built from either source or bytecode, and a graphical browser that enables the user to analyze control flow and the coupling between classes and packages in an intuitive fashion, thereby supporting application design as well as refactoring and debugging. In order to achieve the necessary bijection between source and bytecode representations of classes, we implement a new approach based on source code pre-processing.
Download publication 60 kbytes (PDF)
@inproceedings{1920,
author = {Eric Bodden},
title = {A High-level View of {J}ava Applications},
month = {October},
year = {2003},
pages = {384--385},
keywords = {JAnalyzer, Java, Static analysis},
note = {Finalist in the {ACM} {SIGPLAN} {S}tudent {R}esearch {C}ompetition, 2003.},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/1920},
publication_type = {inproceedings},
submission_id = {25277_1085666248},
ISBN = {1-58113-751-6},
booktitle = {OOPSLA'03 ACM SIGPLAN Conference on Object-Oriented Systems, Languages and Applications (Companion)},
address = {Anaheim, CA},
publisher = {ACM Press.},
refereed = {yes},
}