反编译中数据类型自动重构技术研究

类型重构作为反编译的关键问题,对程序的可读性及可理解性具有重要的作用。给出了汇编基础上数据类型自动重构的算法。对于简单类型,通过基于格的类型属性操作,用迭代算法来实现类型恢复;对于复杂类型,通过构建标记等价类来恢复结构化类型的框架,而后通过收集框架内可访问的偏移集合并利用简单类型恢复的算法对偏移对象类型进行恢复,从而推导出复杂结构类型。该算法是目前正在开发的类型重构工具的关键技术,它不仅能够准确地重构简单类型,而且能够准确地解析复杂类型,且准确率较高。

Automatic Data Type Reconstruction in Decompilation

As one of the most significant modules of decompilation, data type reconstruction has an important role in readability and intelligibility. This paper proposed an algorithm for automatic type reconstruction from assembly code obtained from the MinGW GCC 3. 4. 5 compiler. The basic types are reconstructed using an iterative algorithm, which uses a lattice over the types' properties. I}he composite types' skeletons arc recovered by establishing label equivalence classes, and the member variables by constructing the set of offsets for each composite type. The algorithm is the essential part of the tool being developed by authors, which not only reconstructs the basic type exactly, but also makes an active research into the hot issue aimed by all researchers currently and it has a favorable outcome.