%0 Journal Article
%T 一种改进的静态程序切片算法
%A 张龙杰
%A 谢晓方
%A 袁胜智
%J 计算机应用
%D 2009
%X ？提出了一种改进的静态程序切片算法，并应用到软件逆向工程中。在处理目标程序的过程间调用时，通过建立参数影射关系表，将过程间调用转换为过程内调用，简化了建立程序依赖图的复杂度；在归纳分析目标程序变量类型的基础上，给出了代数运算法则，对程序中的线性运算代码进行等价变换，缩减了切片程序的规模。最后通过具体的切片实例，证明了改进算法的有效性。
%K 程序切片
%K 软件逆向工程
%K 依赖图
%K 数据依赖
%K 控制依赖
%U http://www.joca.cn/CN/abstract/abstract11193.shtml