一种基于逆向程序流程序切片算法.docVIP

一种基于逆向程序流的程序切片算法 　　 (南京大学 计算机系 计算机软件新技术国家重点实验室, 南京 210093) 　　?? 　　摘 要：传统的程序切片方法一般基于程序依赖图(PDG)和系统依赖图(SDG)的可达性算法，但是在建立PDG和SDG的过程中会计算一些与切片无关的数据依赖，造成时空资源的浪费及切片效率的降低。提出了一种基于程序逆向流的切片算法，它事先建立逆向程序流，再从切片点开始沿逆向程序流扫描程序以获得程序切片，只计算与切片相关的数据依赖，从而提高了切片计算的时空效率。通过实验发现该算法具有一定的可行性和实用性。本算法适用于包括Fortran、C等编程语言在内的命令式程序的切片生成。 　　?す丶?词：程序切片； 程序逆向流； 谓词依赖集； 过程内切片； 过程间切片 　　?ぶ型挤掷嗪牛?TP311.5 文献标志码：A 　　 文章编号：1001?B3695(2009)03?B0920?B03 　　?? 　　Algorithm of program slicing based on reverse program flow 　　?? 　　BAI Wenke, YANG Xianchun, XU Manwu 　　?? 　　(State Key Laboratory for Novel Software Technology, Dept. of Computer Science, Nanjing University, Nanjing 210093, China) 　　?? 　　Abstract:The traditional method of program slicing was based on reachability algorithm of program dependence graph(PDG) and system dependence graph(SDG). However, to construct PDG and SDG, some data dependenced which were irrelevant to the slicing may be computed. The redundant computing wasted time and memory, and reduced slicing efficiency. To address this problem, this paper presented a slicing algorithm based on reverse program flow. It firstly constructed reverse flow of the program, then scaned the program along reverse flow from the slicing point, and only computed the data dependences which were relevant to slicing. So it improved slicing efficiency. The result of experiment shows this algorithm is feasible and practical. This algorithm can be used for generating slicing of imperative programs, such as Fortran and C program. 　　??Key words：program slicing; reverse program flow; predicate dependence set (PDS); intraprocedural slicing; interprocedural slicing 　　?お? 　　0 引言?? 　　程序切片是一种重要的程序分析理解方法，它广泛应用于程序调试、测试、软件维护、软件度量、逆向工程和再工程等领域。其概念最早由Mark Weiser[1]提出，定义为：对程序P、程序点l和变量x，其切片是指可能影响变量x在l点状态的所有语句和谓词的集合，记做slice(l, x)。其中〈l,x〉为一个切片标准。程序切片可以缩小考察的程序范围，有利于程序员对错误的查找和定位。K.J.Ottenstein等人[2]提出了通过遍历程序依赖图(PDG)来获得过程内切片的方法。后来Horwitz等人[3]通过把PDG扩展为系统依赖图(SDG)以得到过程间切片。由于顺序程序中依赖关系具有传递性，基于程序依赖图的函数内切片算法是一个简单的图的可达性问题。在系统依赖图上，函数间