JAVANA: A System for Building Customized Java Program Analysis Tools |
JAVANA: A System for Building Customized Java Program Analysis ToolsResearch 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
|