Point-to Analysis for Object-Oriented Language

Pointer analysis is the problem of statically determining the runtime targets of pointer variables in a program. This information has a wide variety of client applications in optimizing compilers and software engineering tools. This paper focuses on precise pointsto analysis for Object Oriented Languages (OOL) such as Java, C#, Scala, etc based on Andersen's points-to analysis for C language, which validates the performance of the analysis on a large set of Java programs. Implementation of this analysis is done by using a subset-based approach which is done by using Binary Decision Diagrams (BDDs). This paper rst introduces BDDs and operations on BDDs using some simple points-to examples. Then, a complete subsetbased points-to algorithm is presented, expressed completely using BDDs and BDD operations.