面向对象程序的上下文敏感指针分析研究  

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

作　　者：李昊峰 孟海宁 郑恒杰 曹立庆 李炼[1,2] LI Hao-Feng;MENG Hai-Ning;ZHENG Heng-Jie;CAO Li-Qing;LI Lian(State Key Laboratory of Computer Architecture(Institute of Computing Technology,Chinese Academy of Sciences),Beijing 100190,China;University of Chinese Academy of Sciences,Beijing 100049,China)

机构地区：[1]计算机体系结构国家重点实验室(中国科学院计算技术研究所),北京100190 [2]中国科学院大学,北京100049

出　　处：《软件学报》2022年第1期78-101,共24页Journal of Software

基　　金：国家自然科学基金(61872043)。

摘　　要：指针分析是编译优化、程序静态分析中的基础,很多应用都需要基于指针分析,低精度的指针分析会给这些应用带来高误报率和漏报率,通过添加上下文敏感信息是提高指针分析的精度的一个重要手段.自从面向对象的概念被提出来之后,该概念得到了广泛的应用,Java、C++、.NET、C#等主流语言都支持面向对象的特性,面向对象程序的指针分析越来越受关注.做了一个系统文献综述(SLR),通过对索引到的相关文献进行分析和归类,总结了面向对象程序的上下文敏感指针分析研究的5个主要问题,并对这5个问题中用到的方法进行了分析讨论.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.

关 键 词：指针分析 上下文敏感 面向对象语言 系统文献综述 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]