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

摘要：

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

关键词：嵌入式软件、静态单赋值、程序切片、抽象解释

所属期刊栏目：36

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目60703101

在线出版日期：2010-09-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：55-56