During the past twenty-one years, over seventy-five papers and nine Ph. D. theses have
been published on pointer analysis. Given the tomes of work on this topic one may …

Pointer analysis is a fundamental static program analysis, with a rich literature and wide
applications. The goal of pointer analysis is to compute an approximation of the set of …

The goal of points-to analysis for Java is to determine the set of objects pointed to by a
reference variable or a reference object field. We present object sensitivity, a new form of …

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 …

This paper presents a combined pointer and escape analysis algorithm for Java programs.
The algorithm is based on the abstraction of points-to escape graphs, which characterize …

The purpose of this paper is to present four basic methods for compositional separate
modular static analysis of programs by abstract interpretation:-simplification-based separate …

Small changes can have major and nonlocal effects in object-oriented languages, due to the
use of subty** and dynamic dispatch. This complicates life for maintenance programmers …

The goal of points-to analysis for Java is to determine the set of objects pointed to by a
reference variable or a reference objet field. Improving the precision of practical points-to …

The subject of this article is flow-and context-insensitive pointer analysis. We present a novel
approach for precisely modelling struct variables and indirect function calls. Our method …

We present practical approximation methods for computing and representing
interprocedural aliases for a program written in a language that includes pointers, reference …