程序分析研究进展

• 作 者: 张健 张超 玄跻峰 熊英飞 王千祥 梁彬 李炼
• 机 构: 计算机科学国家重点实验室(中国科学院软件研究所); 中国科学院大学; 清华大学网络科学与网络空间研究院; 武汉大学计算机学院; 高可信软件技术教育部重点实验室(
• 出 处: 软件学报
• 发表日期: 2019年01期
• 关键词: 程序分析 软件质量保障 静态分析 动态分析
• 基金项目: 国家重点基础研究发展计划(973)(2014CB340701);中国科学院前沿科学重点项目(QYZDJ-SSW-JSC036);国家自然科学基金(61772308,U1736209,61872273,61672045,61472440,61632015,61872445,61502465)~~

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