论文部分内容阅读
重构二进制代码中的类型信息对逆向工程、漏洞分析及恶意代码检测等方面具有重大的意义，由于类型信息在编译过程中被移除，且二进制代码中的低级抽象难以理解，因此类型重构一直被认为是恢复高级抽象遇到的困难问题之一，现有的大多工具对类型重构的准确度不够高．提出一种保守的类型重构方法，针对类型重构引入一种简单的中间语言，基于这种中间语言构造寄存器抽象语法树，并使用寄存器抽象语法树部分解决了基址指针别名问题，可有效收集基本类型和结构体类型的类型约束信息．提出一种判断二进制代码中的循环结构及识别循环变量的方法，可有效收集数