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-...

• Type: Conference
• Year: 2001
• Where: OOPSLA
• Authors: Atanas Rountev, Ana Milanova, Barbara G. Ryder
• Keywords: Annotated Inclusion Constraints, Object fields, OOPSLA 2001, Points-to Analysis, Security Privacy