程序分析研究进展

• 作者: 张健 张超 李炼 梁彬 熊英飞 玄跻峰 王千祥 窦文生 蔡彦 陈振邦 陈立前
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 程序分析 软件质量保障 静态分析 动态分析
• 年，卷（期）: 2019,（1）
• 所属期刊栏目: 软件学科发展回顾特刊
• 页码范围: 80-109
• 页数: 30页
• 分类号: TP311
• 字数: 27641字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.005651

摘要

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