%0 Journal Article
%T Point-to Analysis for Object-Oriented Language
%A M Rajasekhara Babu
%J International Journal of Engineering Research and Applications
%D 2012
%I International Journal of Engineering Research and Applications
%X 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.
%K Subset based analysis
%K Pointer analysis
%K OOL
%U http://ijera.com/papers/Vol2_issue4/C24011018.pdf