Points-to Analysis for Java Using Annotated Inclusion Constraints (2000)
| Venue: | Rutgers University Department of Computer Science |
| Citations: | 7 - 5 self |
BibTeX
@TECHREPORT{Rountev00points-toanalysis,
author = {Atanas Rountev and Ana Milanova and Barbara G. Ryder},
title = {Points-to Analysis for Java Using Annotated Inclusion Constraints},
institution = {Rutgers University Department of Computer Science},
year = {2000}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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. In this paper we define and evaluate a points-to analysis for Java which extends Andersen's points-to analysis for C [4]. Andersen's analysis for C can be implemented efficiently by using systems of set-inclusion constraints and by employing several techniques for constraint representation and resolution. We extend these techniques to efficiently represent and solve systems of annotated inclusion constraints. The annotations play two roles in our analysis. Method annotations are used to model precisely and efficiently the semantics of virtual calls. Field annotations allow us to distinguish the flow of values through different fields of an object. In addition, our analysis keeps track of all methods reachable from the entry point of the program, and avoids analyzing dead library code. We evaluate the performance of the analysis on a large set of realist...
