文献类型：期刊文章

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

ZHANG Jian;ZHANG Chao;XUAN Ji-Feng;XIONG Ying-Fei;WANG Qian-Xiang;LIANG Bin;LI Lian;DOU Wen-Sheng;CHEN Zhen-Bang;CHEN Li-Qian;CAI Yan(State Key Laboratory of Computer Science(Institute of Software,Chinese Academy of Sciences),Beijing 100190,China;University of Chinese Academy of Sciences,Beijing 100049,China;Institute for Network Sciences and Cyberspace,Tsinghua University,Beijing 100084,China;School of Computer Science,Wuhan University,Wuhan 430072,China;Key Laboratory of High Confidence Software Technologies of Ministry of Education(Peking University),Beijing 100871,China;Huawei Technologies Co.Ltd.,Beijing 100095,China;School of Information,Renmin University of China,Beijing 100872,China;Institute of Computing Technology,Chinese Academy of Sciences,Beijing 100190,China;School of Computer,National University of Defense Technology,Changsha 410073,China)

机构地区：[1]计算机科学国家重点实验室(中国科学院软件研究所),北京100190 [2]中国科学院大学,北京100049 [3]清华大学网络科学与网络空间研究院,北京100084 [4]武汉大学计算机学院,湖北武汉430072 [5]高可信软件技术教育部重点实验室(北京大学),北京100871 [6]华为技术有限公司,北京100095 [7]中国人民大学信息学院,北京100872 [8]中国科学院计算技术研究所,北京100190 [9]国防科技大学计算机学院,湖南长沙410073

出　　处：《软件学报》

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

年　　份：2019

卷　　号：30

期　　号：1

起止页码：80-109

语　　种：中文

收录情况：AJ、BDHX、BDHX2017、CSA、CSA-PROQEUST、CSCD、CSCD2019_2020、EI、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、ZMATH、核心刊

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

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

分 类 号：TP311]