Sciweavers

Share
OOPSLA
2001
Springer

Points-To Analysis for Java using Annotated Constraints

10 years 2 months ago
Points-To Analysis for Java using Annotated Constraints
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. This information has a wide variety of client applications in optimizing compilers and software engineering tools. In this paper we present a points-to analysis for Java based on Andersen’s points-to analysis for C [5]. We implement the analysis by using a constraint-based approach which employs annotated inclusion constraints. Constraint annotations allow us to model precisely and efficiently the semantics of virtual calls and the flow of values through object fields. By solving systems of annotated inclusion constraints, we have been able to perform practical and precise points-to analysis for Java. We evaluate the performance of the analysis on a large set of Java programs. Our experiments show that the analysis runs in practical time and space. We also show that the points-to solution has significant impact on clients such as object read-...
Atanas Rountev, Ana Milanova, Barbara G. Ryder
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2001
Where OOPSLA
Authors Atanas Rountev, Ana Milanova, Barbara G. Ryder
Comments (0)
books