摘要
提出了一种改进的静态程序切片算法,并应用到软件逆向工程中。在处理目标程序的过程间调用时,通过建立参数影射关系表,将过程间调用转换为过程内调用,简化了建立程序依赖图的复杂度;在归纳分析目标程序变量类型的基础上,给出了代数运算法则,对程序中的线性运算代码进行等价变换,缩减了切片程序的规模。最后通过具体的切片实例,证明了改进算法的有效性。
This article proposed an improved static program slicing algorithm,and applied it to software reverse engineering.To resolve the inter-procedural call,the article converted it to intra-procedural call by establishing a suggestive table,which predigested the complexity of establishing the program dependence graph greatly.By analyzing the type of variables in the object program,the article offered several algorithms to do equivalent transformation to the linear operation codes of the program,which reduced the...
出处
《计算机应用》
CSCD
北大核心
2009年第3期705-707,711,共4页
journal of Computer Applications
关键词
程序切片
软件逆向工程
程序依赖图
数据依赖
控制依赖
program slicing
software reverse engineering
program dependence graph
data dependence
control dependence
