program registration submissions committee lodging portland

JAVANA: A System for Building Customized Java Program Analysis Tools

JAVANA: A System for Building Customized Java Program Analysis Tools

Research Paper

Wednesday, Oct 25, from 10:30 to 12:00

Understanding the behavior of applications running on high-level language virtual machines, as is the case in Java, is non-trivial because of the tight entanglement at the lowest execution level between the application and the virtual machine. This paper proposes JAVANA which is a system for building Java program analysis tools. JAVANA provides an easy-to-use instrumentation infrastructure that allows for building customized profiling tools very quickly. JAVANA runs a dynamic binary instrumentation tool underneath the virtual machine. The virtual machine communicates with the instrumentation layer through an event handling mechanism for building a vertical map that links low-level native instruction pointers and memory addresses to high-level language concepts such as objects, methods, threads, lines of code, etc. The dynamic binary instrumentation tool then intercepts all memory accesses and instructions executed and provides the JAVANA end user with high-level language information for all memory accesses and natively executed instructions. We demonstrate the power of JAVANA through a number of applications: memory address tracing, vertical cache simulation and object lifetime computation. For each of these applications, the instrumentation specification requires only a small number of lines of code. Developing similarly powerful profiling tools within a virtual machine (as done in current practice) is both time-consuming and error-prone; in addition, the accuracy of the obtained profiling results might be questionable as we show in this paper.

Jonas Maebe, Ghent University
Dries Buytaert, Ghent University
Lieven Eeckhout, Ghent University
Koen De Bosschere, Ghent University

Research Papers in the same session
Related Onward! Papers
Related Panels
Related Practitioner Reports
Related Research Papers
Related Tutorials
Related Workshops

While Space Available
program registration submissions committee lodging portland
For comments and questions about the web site
please contact us at
© 2005 OOPSLA