 |
|
|
|
 |
 |
 |
|
 |
|
 |
|
|
| 张健,张超,玄跻峰,熊英飞,王千祥,梁彬,李炼,窦文生,陈振邦,陈立前,蔡彦.程序分析研究进展.软件学报,2019,30(1):80-109 |
| 程序分析研究进展 |
| Recent Progress in Program Analysis |
| 投稿时间：2018-08-08 修订日期：2018-08-30 |
| DOI：10.13328/j.cnki.jos.005651 |
| 中文关键词: 程序分析 软件质量保障 静态分析 动态分析 |
| 英文关键词:program analysis software quality assurance static analysis dynamic analysis |
| 基金项目:国家重点基础研究发展计划（973）（2014CB340701）；中国科学院前沿科学重点项目（QYZDJ-SSW-JSC036）；国家自然科学基金（61772308，U1736209，61872273，61672045，61472440，61632015，61872445，61502465） |
| 作者 | 单位 | E-mail | | 张健 | 计算机科学国家重点实验室(中国科学院 软件研究所), 北京 100190
中国科学院大学, 北京 100049 | zj@ios.ac.cn | | 张超 | 清华大学 网络科学与网络空间研究院, 北京 100084 | | | 玄跻峰 | 武汉大学 计算机学院, 湖北 武汉 430072 | | | 熊英飞 | 高可信软件技术教育部重点实验室(北京大学), 北京 100871 | | | 王千祥 | 华为技术有限公司, 北京 100095 | | | 梁彬 | 中国人民大学 信息学院, 北京 100872 | | | 李炼 | 中国科学院大学, 北京 100049
中国科学院 计算技术研究所, 北京 100190 | | | 窦文生 | 计算机科学国家重点实验室(中国科学院 软件研究所), 北京 100190
中国科学院大学, 北京 100049 | | | 陈振邦 | 国防科技大学 计算机学院, 湖南 长沙 410073 | | | 陈立前 | 国防科技大学 计算机学院, 湖南 长沙 410073 | | | 蔡彦 | 计算机科学国家重点实验室(中国科学院 软件研究所), 北京 100190 | |
|
| 摘要点击次数: 4713 |
| 全文下载次数: 3570 |
| 中文摘要: |
| 在信息化时代，人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一，日益受到学术界和产业界的重视.介绍了若干基本程序分析技术（抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析等），特别是最近10余年的研究进展.进而介绍了针对不同类型软件（移动应用、并发软件、分布式系统、二进制代码等）的分析方法.最后展望了程序分析未来的研究方向和所面临的挑战. |
| 英文摘要: |
| 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. |
|
HTML 下载PDF全文 查看/发表评论 下载PDF阅读器 |
|
|
|
|
|
|
 |
|
|
|
|
 |
|
 |
|
 |
|
