程序分析研究进展
作者:
作者单位:

作者简介:

张健(1969-),男,安徽庐江人,博士,研究员,博士生导师,CCF杰出会员,主要研究领域为自动推理与约束求解,软件测试及分析;张超(1986-),男,博士,副教授,博士生导师,CCF专业会员,主要研究领域为软件与系统安全;玄跻峰(1984-),男,博士,教授,博士生导师,CCF专业会员,主要研究领域为软件分析与测试,软件数据分析,基于搜索的软件工程;熊英飞(1982-),男,博士,研究员,博士生导师,CCF专业会员,主要研究领域为软件工程,程序设计语言;王千祥(1970-),男,博士,技术专家,CCF高级会员,主要研究领域为软件工程,软件分析;梁彬(1973-),男,博士,教授,博士生导师,CCF专业会员,主要研究领域为信息安全,软件分析;李炼(1977-),男,博士,研究员,博士生导师,CCF专业会员,主要研究领域为程序分析,软件工程;窦文生(1984-),男,博士,副研究员,CCF专业会员,主要研究领域为软件工程,程序分析;陈振邦(1981-),男,博士,副教授,CCF专业会员,主要研究领域为程序分析,形式化方法;陈立前(1982-),男,博士,副教授,CCF专业会员,主要研究领域为程序分析与验证,抽象解释;蔡彦(1986-),男,博士,研究员,CCF专业会员,主要研究领域为软件测试,程序分析.

通讯作者:

张健,E-mail:zj@ios.ac.cn

基金项目:

国家重点基础研究发展计划(973)(2014CB340701);中国科学院前沿科学重点项目(QYZDJ-SSW-JSC036);国家自然科学基金(61772308,U1736209,61872273,61672045,61472440,61632015,61872445,61502465)


Recent Progress in Program Analysis
Author:
Affiliation:

Fund Project:

National Key Basic Research Program of China (973) (2014CB340701); Frontier Science Project of Chinese Academy of Sciences (QYZDJ-SSW-JSC036); National Natural Science Foundation of China (61772308, U1736209, 61872273, 61672045, 61472440, 61632015, 61872445, 61502465)

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

    在信息化时代,人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一,日益受到学术界和产业界的重视.介绍了若干基本程序分析技术(抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析等),特别是最近10余年的研究进展.进而介绍了针对不同类型软件(移动应用、并发软件、分布式系统、二进制代码等)的分析方法.最后展望了程序分析未来的研究方向和所面临的挑战.

    Abstract:

    In the information age, people are increasingly demanding high quality of software systems. Program analysis is one of the important approaches to guarantee the quality of software, and has been receiving attentions from academia and industry. This article mainly focuses on the research progress in program analysis in the last decade. First, the article introduces the basic program analysis techniques, including abstract interpretation, data flow analysis, summary-based analysis, symbolic execution, dynamic analysis, machine learning-based program analysis, etc. Then, it summarizes program analysis approaches for different types of software systems, including mobile applications, concurrent software, distributed systems, binary code, etc. Finally, the article discusses potential research directions and challenges of program analysis in the future.

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

张健,张超,玄跻峰,熊英飞,王千祥,梁彬,李炼,窦文生,陈振邦,陈立前,蔡彦.程序分析研究进展.软件学报,2019,30(1):80-109

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

京公网安备 11040202500063号