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

Study on Fast Automatic Program Flow Analysis Method

作　　者：吴国伟[1] 曹厚华[1] 

机构地区：[1]大连理工大学软件学院,大连116024

出　　处：《计算机工程》2010年第15期55-56,共2页Computer Engineering

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

摘　　要：介绍一种自动程序流信息分析方法,使用静态单赋值简化程序切片中的数据依赖关系,利用简单快速程序切片算法删除对循环控制无影响的语句和控制谓词,利用抽象解释自动精确获得程序流信息。实验结果表明,在不失精度的情况下,该方法的分析速度较普通方法快了近25%,且未假定任何程序格式,适用于任何程序格式的流分析过程。An automatic program flow analysis method is presented,which uses static single assignment to simplify data dependence relation in program slicing,and uses a simple and fast program slicing algorithm to delete statements and control predicate which has no effect on loop control,and uses abstract interpretation to get precise program flow information automatically.Experimental results show this method is more fast than the normal method up to 25%,while keeping precision.Moreover,there is no any assume on program form,so the flow analysis method is suitable for any program form.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]