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

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