Virtual functions make code easier for programmers to reuse but also make it harder for
compilers to analyze. We investigate the ability of three static analysis algorithms to improve …

Over the last seven years, we have developed static-analysis methods to recover a good
approximation to the variables and dynamically allocated memory objects of a stripped …

Connected embedded systems are becoming widely deployed, and their security is a
serious concern. Current techniques for security testing of embedded software rely either on …

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 …

Virtual machines (VMs) enable the distribution of programs in an architecture-neutral format,
which can easily be interpreted or compiled. A long-running question in the design of VMs is …

Reflection has always been a thorn in the side of Java static analysis tools. Without a full
treatment of reflection, static analysis tools are both incomplete because some parts of the …

Abstract What You See Is Not What You eXecute: computers do not execute source-code
programs; they execute machine-code programs that are generated from source code. Not …

We study the direct cost of virtual function calls in C++ programs, assuming the standard
implementation using virtual function tables. We measure this overhead experimentally for a …

In order to perform meaningful experiments in optimizing compilation and run-time system
design, researchers usually rely on a suite of benchmark programs of interest to the …

Many devirtualization techniques have been proposed to reduce the runtime overhead of
dynamic method calls for various object-oriented languages, however, most of them are less …