| 基于规则的数据类型重构技术研究 |
| |
| 引用本文： | 尹青,何东,李娜,何红旗.基于规则的数据类型重构技术研究[J].计算机工程,2012,38(19):30-33. |
| |
| 作者姓名： | 尹青 何东 李娜 何红旗 |
| |
| 作者单位： | 1. 国家数字交换系统工程技术研究中心,郑州,450002
2. 中国矿业大学银川学院,银川,750011 |
| |
| 基金项目： | 国家“863”计划基金资助项目（2007AA01Z483）; 河南省科技攻关计划基金资助项目（092101210503） |
| |
| 摘 要： | 为恢复变量的数据类型信息并提高反编译的质量,提出一种基于规则的数据类型重构方法.采用静态和动态相结合的分析方式,将可执行代码转化为中间语言,在优化中间语言的基础上为每条指令制定约束规则,并给出相应的求解算法,从而推导出变量的数据类型信息.实验结果表明,该方法能对简单数据变量类型和复杂数据变量类型进行恢复,具有较高的准确性.
|
| 关 键 词： | 反编译 类型重构 类型约束 中间语言 类型格 |
| 收稿时间： | 2011-11-29 |
Research of Rule-based Data Type Reconstruction Technology |
| |
| YIN Qing
,
HE Dong
,
LI Na
,
HE Hong-qi.Research of Rule-based Data Type Reconstruction Technology[J].Computer Engineering,2012,38(19):30-33. |
| |
| Authors: | YIN Qing HE Dong LI Na HE Hong-qi |
| |
| Affiliation: | 1.National Digital Switching System Engineering ＆ Technological R＆D Center,Zhengzhou 450002,China;2.Yinchuan College,China University of Mining and Technology,Yinchuan 750011,China) |
| |
| Abstract: | In order to recover types of variables and improve the quality of decompilation,this paper proposes a rule-based data type reconstruction technology method.It translates the executable into intermediate language with dynamic and static analysis,generates corresponding constrain for each instruction,gives out solving algorithm,and infers the real type of corresponding variable.Experimental results show that this method can recover simple data variable type and complex data variable type,and it has a high practicability. |
| |
| Keywords: | decompilation type reconstruction type constraint intermediate language type lattice |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
|
