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