State Key Laboratory for Novel Software Technology (Nanjing University), Nanjing 210093, China; Department of Computer Science and Technology, Nanjing University, Nanjing 210093, China 在期刊界中查找 在百度中查找 在本站中查找
State Key Laboratory for Novel Software Technology (Nanjing University), Nanjing 210093, China; Department of Computer Science and Technology, Nanjing University, Nanjing 210093, China 在期刊界中查找 在百度中查找 在本站中查找
State Key Laboratory for Novel Software Technology (Nanjing University), Nanjing 210093, China; Department of Computer Science and Technology, Nanjing University, Nanjing 210093, China 在期刊界中查找 在百度中查找 在本站中查找
State Key Laboratory for Novel Software Technology (Nanjing University), Nanjing 210093, China; Department of Computer Science and Technology, Nanjing University, Nanjing 210093, China 在期刊界中查找 在百度中查找 在本站中查找
State Key Laboratory for Novel Software Technology (Nanjing University), Nanjing 210093, China; Department of Computer Science and Technology, Nanjing University, Nanjing 210093, China 在期刊界中查找 在百度中查找 在本站中查找
Points-to analysis mainly aims to attain the runtime points-to sets of program variables. This paper describes the design and implementation of an efficient Andersen-style, context-sensitive points-to analysis for Java code. The implementation supports language features such as inheritance, polymorphism, and field objects. The study tracks the fields of individual objects separately and makes the algorithm in field-sensitive style for aggregate objects. To improve the efficiency and scalability of the algorithm, this study employs two kinds of optimizations, nodes topology construction with concomitance on-line cycle detection and cycle elimination. Experiment results show that this algorithm can be used to compute precise points-to sets for large-scale Java programs.