ARM反编译中的类型分析技术研究

【摘要】：以ARM微处理器为核心的嵌入式系统在国防、通信等领域的关键电子设备中得到普遍应用,利用逆向工程技术对其代码的结构和功能进行分析理解具有十分重要的意义,类型分析技术是代码反编译的关键步骤之一。 本文在分析ARM汇编指令语义信息的基础上,结合类型变量的定义,归纳总结了类型特征的提取规则,实现了ARM汇编指令类型特征的提取；结合中间语言的特性,设计了中间语言语句的类型属性生成方法,重点阐述了针对中间语言语句表达式中不同种类运算符的处理方法,为原始的未包含类型信息的中间语言添加了类型属性；利用中间语言的类型属性,提出了基于双向数据流分析的类型传播方法,解决了类型信息精确化的问题；分析了存储单元寻址表达式之间的关系特性,设计了数组及结构类型的重构方法；设计并实现了用于ARM反编译的类型分析原型工具。 通过大量实例验证了基本类型和复合类型分析方法的正确性,对ARM反编译中的类型分析问题讨论地比较全面、实现简单,具有较强的实用性和可推广性。