Context-sensitive Pointer Analysis for Object-oriented Programs: A Systematic Literature Review

被引：0
|
作者：
Li H.-F. [1 ,2 ]
Meng H.-N. [1 ,2 ]
Zheng H.-J. [1 ,2 ]
Cao L.-Q. [1 ,2 ]
Li L. [1 ,2 ]
机构：
[1] State Key Laboratory of Computer Architecture (Institute of Computing Technology, Chinese Academy of Sciences), Beijing
[2] University of Chinese Academy of Sciences, Beijing
来源：
Ruan Jian Xue Bao/Journal of Software | 2022年 / 33卷 / 01期
基金：
中国国家自然科学基金;
关键词：
Context-sensitive; Object-oriented language; Pointer analysis; Systematic literature review (SLR);
D O I：
10.13328/j.cnki.jos.006345
中图分类号：
学科分类号：
摘要：
Pointer analysis is the basis of compiler optimization and static analysis, and a lot of applications are based on pointer analysis. Low-precision pointer analysis brings high false positive rate and false negative rate to these applications, and adding context sensitive information is an important means to improve accuracy. Since the object-oriented concept was put forward, it has been widely used. Some mainstream languages, such as Java, C++,.NET and C#, support object-oriented features. Therefore, pointer analysis for object-oriented language is getting more and more attention. This study investigates context-sensitive pointer analysis for object-oriented language by using systematic literature review (SLR) method. After analyzing and categorizing the relevant literature, five questions are summarized about context-sensitive pointer analysis for object-oriented language. © Copyright 2022, Institute of Software, the Chinese Academy of Sciences. All rights reserved.
引用
收藏
页码：78 / 101
页数：23
相关论文
共 132 条
  • [1] Horwitz S., Precise flow-insensitive may-alias analysis is NP-hard, ACM Transactions on Programming Languages and Systems, 19, 1, pp. 1-6, (1997)
  • [2] Landi W, Ryder BG., A safe approximate algorithm for interprocedural aliasing, Proc. of the ACM SIGPLAN 1992 Conf. on Programming Language Design and Implementation, pp. 235-248, (1992)
  • [3] Ramalingam G., The undecidability of aliasing, ACM Transactions on Programming Languages and Systems, 16, 5, pp. 1467-1471, (1994)
  • [4] Landi W., Undecidability of static analysis, ACM Letters on Programming Languages and Systems, 1, 4, pp. 323-337, (1992)
  • [5] Hind M., Pointer analysis: Haven't we solved this problem yet?, Proc. of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, pp. 54-61, (2001)
  • [6] Ryder BG., Dimensions of precision in reference analysis of object-oriented programming languages, Proc. of the 12th Int'l Conf. on Compiler Construction, pp. 126-137, (2003)
  • [7] Steensgaard B., Points-to analysis in almost linear time, Proc. of the 23rd ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, pp. 32-41, (1996)
  • [8] Andersen LO., Program analysis and specialization for the C programming language, (1994)
  • [9] Lhot&#225
  • [10] k O, Hendren L., Scaling Java points-to analysis using spark, Proc. Of the 12th Int'l Conf. on Compiler Construction, pp. 153-169, (2003)
12345678910