1 Javana is a tool for creating customized Java program analysis tools. Javana consists of a VM and a dynamic bynary instrumentation tool that runs underneath the VM. The virtual machine communicates with the dynamic binary instrumentation tool through an event handling mechanism. VM sends events. Dynamic instrumentator captures all natively executed machine instructions (by application, VM itself, by native libraries). Javana knows about all native instructions and which module and which source code line it corresponds; and for all accessed memory locations, Javana knows what objects are being accessed. 2

Sergey Vartanov, 2007–2020