基于函数划分块及置信度的反汇编优化研究.pdfVIP

第３１卷第１期　　　 计算机应用与软件 Ｖｏｌ３１Ｎｏ．１ ２０１４年１月　　 ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ Ｊａｎ．２０１４ 基于函数划分块及置信度的反汇编优化研究 吴伟民　司　斯　阮奕邦　林志毅　蔡欣童 （广东工业大学计算机学院　广东广州５１０００６） 摘　要　　针对传统静态递归反汇编算法因无法解析间接跳转指令而导致反汇编结果不完整的问题，提出一种基于函数划分块和 置信度的递归反汇编算法：以函数为划分块，对代码间隙进行多次递归扫描，获取反汇编过程中可能遗漏的重要基本块；建立置信度 评估函数，以置信度为依据，剔除冲突的基本块，筛选出高置信度的基本块，用于补充和优化反汇编结果。实验证明，改进后的递归 反汇编算法具有较高的反汇编精度。 关键词　　静态递归反汇编　置信度评估函数　函数划分块 中图分类号　ＴＰ３　　　　文献标识码　Ａ　　　　ＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ．１０００３８６ｘ．２０１４．０１．０２３ ＲＥＳＥＡＲＣＨＯＮＤＩＳＡＳＳＥＭＢＬＹＯＰＴＩＭＩＺＡＴＩＯＮＢＡＳＥＤＯＮＦＵＮＣＴＩＯＮ ＤＩＶＩＳＩＯＮＢＬＯＣＫＡＮＤＣＯＮＦＩＤＥＮＣＥ ＷｕＷｅｉｍｉｎ　ＳｉＳｉ　ＲｕａｎＹｉｂａｎｇ　ＬｉｎＺｈｉｙｉ　ＣａｉＸｉｎｔｏｎｇ （ＳｃｈｏｏｌｏｆＣｏｍｐｕｔｅｒ，ＧｕａｎｇｄｏｎｇＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏｌｏｇｙ，Ｇｕａｎｇｚｈｏｕ５１０００６，Ｇｕａｎｇｄｏｎｇ，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ　　Ｔｒａｄｉｔｉｏｎａｌｓｔａｔｉｃｒｅｃｕｒｓｉｖｅｄｉｓａｓｓｅｍｂｌｙａｌｇｏｒｉｔｈｍｓｆａｉｌｔｏｒｅｓｏｌｖｅｉｎｄｉｒｅｃｔｊｕｍｐｉｎｓｔｒｕｃｔｉｏｎｓｗｈｉｃｈｒｅｓｕｌｔｓｉｎｉｎｃｏｍｐｌｅｔｅｄｉｓａｓｓｅｍ ｂｌｙｏｕｔｐｕｔｓ．Ｔｈｅｒｅｆｏｒｅａｒｅｃｕｒｓｉｖｅｄｉｓａｓｓｅｍｂｌｙａｌｇｏｒｉｔｈｍｂａｓｅｄｏｎｆｕｎｃｔｉｏｎｄｉｖｉｓｉｏｎｂｌｏｃｋａｎｄｃｏｎｆｉｄｅｎｃｅｉｓｐｒｏｐｏｓｅｄ．Ｔｈｅａｌｇｏｒｉｔｈｍｒｅｇａｒｄｓ ｆｕｎｃｔｉｏｎｓａｓｄｉｖｉｓｉｏｎｂｌｏｃｋｓｔｏｃａｒｒｙｏｕｔｓｅｖｅｒａｌｒｅｃｕｒｓｉｖｅｓｃａｎｓｕｐｏｎｃｏｄｅｇａｐｓｔｏｏｂｔａｉｎｔｈｅｐｏｓｓｉｂｌｅｍｉｓｓｉｎｇｉｍｐｏｒｔａｎｔｂａｓｉｃｂｌｏｃｋｓｄｕｒｉｎｇｔｈｅ ｄｉｓａｓｓｅｍｂｌｙｐｒｏｃｅｓｓ．Ｔｈｅｎｉｔｅｓｔａｂｌｉｓｈｅｓｔｈｅｃｏｎｆｉｄｅｎｃｅｅｖａｌｕａｔｉｏｎｆｕｎｃｔｉｏｎ，ｗｈｉｃｈ，ｂｙｃｏｍｐａｒｉｎｇｃｏｎｆｉｄｅｎｃｅｄｅｇｒｅｅｓｔｏｅｒａｓｅｃｏｎｆｌｉｃｔｉｎｇｂａｓ ｉｃｂｌｏｃｋｓ，ｔｈｅｎｃｈｏｏｓｅｓｈｉｇｈｃｏｎｆｉｄｅｎｔｂａｓｉｃｂｌｏｃｋｓｆｏｒｃｏｍｐｌｅｔｉｎｇａｎｄｏｐｔｉｍｉｚｉｎｇｄｉｓａｓｓｅｍｂｌｙｒｅｓｕｌｔｓ．Ｅｘｐｅｒｉｍｅｎｔｓｐｒｏｖｅｔｈａｔｔｈｅｉｍｐｒｏｖｅｄ ｒｅｃｕｒｓｉｖｅｄｉｓａｓｓｅｍｂｌｙａｌｇｏｒｉｔｈｍｐｅｒｆｏｒｍｓｂｅｔｔｅｒｏｎｄｉｓａｓｓｅｍｂｌｙａｃｃｕｒａｃｙ． Ｋｅｙｗｏｒｄｓ　　Ｓｔａｔｉｃｒｅｃｕｒｓｉｖｅｄｉｓａｓｓｅｍｂｌｙ　Ｃｏｎｆｉｄｅｎｃｅｅｖａｌｕａｔｉｏｎｆｕｎｃｔｉｏｎ　Ｆｕｎｃｔｉｏｎｄｉｖｉｓｉｏｎｂｌｏｃｋ 解阶段根据置信度来选择正确的基本块，也可以作为一种评价 ０　引　言 方案供逆向人员参考。 在现代计算机体系结构中，源代码经过编译器编译生成应 １　基本的静态递归反汇编流程 用程序，该应用程序的逻辑功能代码和数据存在于同一个二进 制文件中，并无明显的区分标志。因此对二进制文件的反汇编 对机器代码反汇编时所使用的递归扫描算法特点如下： 工作显得相当困难。如何有效地区分代码和数据成为反汇编器