软件学报

作者：张健,张超,玄跻峰,熊英飞,王千祥,梁彬,李炼,窦文生,陈振邦,陈立前,蔡彦

单位：张健，计算机科学国家重点实验室(中国科学院 软件研究所), 北京 100190;中国科学院大学, 北京 10004911,张超，清华大学 网络科学与网络空间研究院, 北京 10008402,玄跻峰，武汉大学 计算机学院, 湖北 武汉 43007203,熊英飞，高可信软件技术教育部重点实验室(北京大学), 北京 10087104,王千祥，华为技术有限公司, 北京 10009505,梁彬，中国人民大学 信息学院, 北京 10087206,李炼，中国科学院大学, 北京 100049;中国科学院 计算技术研究所, 北京 10019007,窦文生，计算机科学国家重点实验室(中国科学院 软件研究所), 北京 100190;中国科学院大学, 北京 10004908,陈振邦，国防科技大学 计算机学院, 湖南 长沙 41007309,陈立前，国防科技大学 计算机学院, 湖南 长沙 410073010,蔡彦，计算机科学国家重点实验室(中国科学院 软件研究所), 北京 100190011

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

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

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

来源：2019年第1期

《软件学报》期刊编辑部

查看软件学报杂志2019年第1期