快速自动程序流分析方法研究

• 作者: 吴国伟 曹厚华
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 嵌入式软件 静态单赋值 程序切片 抽象解释
• 年，卷（期）: 2010,（15）
• 页码范围: 55-56
• 分类号: TP311
• 字数: 2500字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2010.15.019

摘要

介绍一种自动程序流信息分析方法,使用静态单赋值简化程序切片中的数据依赖关系,利用简单快速程序切片算法删除对循环控制无影响的语句和控制谓词,利用抽象解释自动精确获得程序流信息.实验结果表明,在不失精度的情况下,该方法的分析速度较普通方法快了近25%,且未假定任何程序格式,适用于任何程序格式的流分析过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴国伟	大连理工大学软件学院	18	137	7.0	11.0
2	曹厚华	大连理工大学软件学院	1	1	1.0	1.0