| 本文已被：浏览 2961次 下载 8252次 |
码上扫一扫！ |
|
|
| 面向对象程序的上下文敏感指针分析研究 |
|
李昊峰1,2, 孟海宁1,2, 郑恒杰1,2, 曹立庆1,2, 李炼1,2
|
|
1.计算机体系结构国家重点实验室(中国科学院 计算技术研究所), 北京 100190;2.中国科学院大学, 北京 100049
|
|
| 摘要: |
| 指针分析是编译优化、程序静态分析中的基础, 很多应用都需要基于指针分析, 低精度的指针分析会给这些应用带来高误报率和漏报率, 通过添加上下文敏感信息是提高指针分析的精度的一个重要手段. 自从面向对象的概念被提出来之后, 该概念得到了广泛的应用, Java、C++、.NET、C#等主流语言都支持面向对象的特性, 面向对象程序的指针分析越来越受关注. 做了一个系统文献综述(SLR), 通过对索引到的相关文献进行分析和归类, 总结了面向对象程序的上下文敏感指针分析研究的5个主要问题, 并对这5个问题中用到的方法进行了分析讨论. |
| 关键词: 指针分析 上下文敏感 面向对象语言 系统文献综述 |
| DOI：10.13328/j.cnki.jos.006345 |
| 分类号:TP311 |
| 基金项目:国家自然科学基金 (61872043) |
|
| Context-sensitive Pointer Analysis for Object-oriented Programs: A Systematic Literature Review |
|
LI Hao-Feng1,2, MENG Hai-Ning1,2, ZHENG Heng-Jie1,2, CAO Li-Qing1,2, LI Lian1,2
|
|
1.State Key Laboratory of Computer Architecture (Institute of Computing Technology, Chinese Academy of Sciences), Beijing 100190, China;2.University of Chinese Academy of Sciences, Beijing 100049, China
|
| Abstract: |
| 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. |
| Key words: pointer analysis context-sensitive object-oriented language systematic literature review (SLR) |
