张健;张超;宣继峰;熊英飞;王千祥;梁斌;李丽安;窦文胜;陈振邦;陈丽倩;蔡燕 程序分析的最新进展。 （中文。英文摘要） Zbl 1438.68028号 J.软。 30，第1号，80-109（2019）. 摘要：在信息时代，人们对软件系统的质量要求越来越高。程序分析是保证软件质量的重要手段之一，一直受到学术界和工业界的关注。本文主要介绍了近十年来程序分析的研究进展。首先，本文介绍了基本的程序分析技术，包括抽象解释、数据流分析、基于概要的分析、符号执行、动态分析、基于机器学习的程序分析等。然后，总结了不同类型软件系统的程序分析方法，包括移动应用程序、并发软件、分布式系统、二进制代码等。最后，本文讨论了未来程序分析的潜在研究方向和挑战。 理学硕士： 68号01 软件理论的一般主题 关键词：程序分析;软件质量保证;静态分析;动力学分析 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhang}等人，J.Softw。30，第1号，80--109（2019；Zbl 1438.68028） 全文： 内政部