程序分析研究进展

张健1张超2李炼3梁彬4熊英飞5玄跻峰6王千祥7窦文生1蔡彦1陈振邦8陈立前8

1.中国科学院软件研究所; 2.清华大学; 3.武汉大学; 4.北京大学; 5.华为技术有限公司; 6.中国人民大学; 7.中国科学院大学; 8.中国人民解放军国防科技大学;

摘要：

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

关键词：程序分析、软件质量保障、静态分析、动态分析

所属期刊栏目：30

分类号：TP311(计算技术、计算机技术)

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

在线出版日期：2019-04-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共30页

页码：80-109