Release Time:2019-03-10  Hits:

Indexed by: Journal Article

Date of Publication: 2010-08-05

Journal: 计算机工程

Included Journals: CSCD、ISTIC、PKU

Volume: 36

Issue: 15

Page Number: 55-56

ISSN: 1000-3428

Key Words: 嵌入式软件;静态单赋值;程序切片;抽象解释

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