面向对象程序的上下文敏感指针分析研究
作者:
作者单位:

作者简介:

李昊峰(1994-), 男, 博士生, CCF学生会员,主要研究领域为程序分析.
孟海宁(1995-), 女, 博士生, CCF学生会员,主要研究领域为程序分析.
郑恒杰(1996-), 男, 硕士, 主要研究领域为程序分析.
曹立庆(1997-), 男, 博士生, CCF学生会员, 主要研究领域为程序分析.
李炼(1977-), 男, 博士, 研究员,博士生导师, CCF专业会员, 主要研究领域为程序分析, 软件安全.

通讯作者:

李炼,lianli@ict.ac.cn

中图分类号:

TP311

基金项目:

国家自然科学基金 (61872043)


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

Fund Project:

National Natural Science Foundation of China (61872043)

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

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

    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.

    参考文献
    相似文献
    引证文献
引用本文

李昊峰,孟海宁,郑恒杰,曹立庆,李炼.面向对象程序的上下文敏感指针分析研究.软件学报,2022,33(1):78-101

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2019-11-27
  • 最后修改日期:2020-09-12
  • 录用日期:
  • 在线发布日期: 2021-05-21
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号