| 一种改进的静态程序切片算法 |
| |
| 引用本文： | 张龙杰,谢晓方,袁胜智.一种改进的静态程序切片算法[J].计算机应用,2009,29(3):705-707. |
| |
| 作者姓名： | 张龙杰 谢晓方 袁胜智 |
| |
| 作者单位： | 山东省烟台市海军航空工程学院研究生四队 海军航空工程学院兵器科学与技术系 海军航空工程学院兵器科学与技术系 |
| |
| 摘 要： | 提出了一种改进的静态程序切片算法，并应用到软件逆向工程中。在处理目标程序的过程间调用时，通过建立参数影射关系表，将过程间调用转换为过程内调用，简化了建立程序依赖图的复杂度；在归纳分析目标程序变量类型的基础上，给出了代数运算法则，对程序中的线性运算代码进行等价变换，缩减了切片程序的规模。最后通过具体的切片实例，证明了改进算法的有效性。
|
| 关 键 词： | 程序切片 软件逆向工程 依赖图 数据依赖 控制依赖 |
| 收稿时间： | 2008-09-23 |
| 修稿时间： | 2008-11-01 |
An improved static program slicing algorithm |
| |
| ZHANG Long-jie,XIE Xiao-fang,YUAN Sheng-zhi.An improved static program slicing algorithm[J].journal of Computer Applications,2009,29(3):705-707. |
| |
| Authors: | ZHANG Long-jie XIE Xiao-fang YUAN Sheng-zhi |
| |
| Affiliation: | Department of Weapon Science and Technology;Naval Aeronautical and Astronautical University;Yantai Shandong 264001;China |
| |
| Abstract: | 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... |
| |
| Keywords: | program slicing software reverse engineering dependence graph data dependence control dependence |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
