基于规则的数据类型重构技术研究

摘要：

为恢复变量的数据类型信息并提高反编译的质量,提出一种基于规则的数据类型重构方法.采用静态和动态相结合的分析方式,将可执行代码转化为中间语言,在优化中间语言的基础上为每条指令制定约束规则,并给出相应的求解算法,从而推导出变量的数据类型信息.实验结果表明,该方法能对简单数据变量类型和复杂数据变量类型进行恢复,具有较高的准确性.

关键词：反编译、类型重构、类型约束、中间语言、类型格

所属期刊栏目：38

分类号：TP311(计算技术、计算机技术)

资助基金：国家“863”计划基金资助项目2007AA01Z483;河南省科技攻关计划基金资助项目092101210503

在线出版日期：2012-12-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：30-33