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

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

Abstract: 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.

Key words: embedded software, Static Single Assignment(SSA), program slicing, abstract interpretation

中图分类号: 

• TP311