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

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

Study on Fast Automatic Program Flow Analysis Method

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.