一种改进的静态程序切片算法

摘要：

提出了一种改进的静态程序切片算法,并应用到软件逆向工程中.在处理目标程序的过程间调用时,通过建立参数影射关系表,将过程间调用转换为过程内调用,简化了建立程序依赖图的复杂度;在归纳分析目标程序变量类型的基础上,给出了代数运算法则,对程序中的线性运算代码进行等价变换,缩减了切片程序的规模.最后通过具体的切片实例,证明了改进算法的有效性.

关键词：程序切片、软件逆向工程、程序依赖图、数据依赖、控制依赖

所属期刊栏目：29

分类号：TP311(计算技术、计算机技术)

在线出版日期：2009-04-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：705-707,711