一种重构二进制代码中类型抽象的方法

• 作者: 张俊贤 忽朝俭 李舟军 郭涛 马金鑫
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 类型重构 寄存器抽象语法树 中间语言 循环变量 别名分析
• 年，卷（期）: 2013,（11）
• 所属期刊栏目: 软件技术
• 页码范围: 2418-2428
• 页数: 11页
• 分类号: TP311.1
• 字数: 9208字
• 语种: 中文

摘要

重构二进制代码中的类型信息对逆向工程、漏洞分析及恶意代码检测等方面具有重大的意义,由于类型信息在编译过程中被移除,且二进制代码中的低级抽象难以理解,因此类型重构一直被认为是恢复高级抽象遇到的困难问题之一,现有的大多工具对类型重构的准确度不够高,提出一种保守的类型重构方法,针对类型重构引入一种简单的中间语言,基于这种中间语言构造寄存器抽象语法树,并使用寄存器抽象语法树部分解决了基址指针别名问题,可有效收集基本类型和结构体类型的类型约束信息.提出一种判断二进制代码中的循环结构及识别循环变量的方法,可有效收集数组类型的约束信息,并据此生成类型约束,然后通过处理类型约束来重构最终的类型.使用CoreUtils中的15个程序作为测试用例,将该方法与IDA Pro进行对比实验.实验结果表明提出的方法不仅可以高效地重构数据类型,而且在结构体类型重构方面可恢复比IDA Pro多达5倍的数据.对这些数据的人工验证与分析表明,使用该方法重构的类型准确率高.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李舟军	北京航空航天大学计算机学院	136	2221	23.0	43.0
2	忽朝俭	北京航空航天大学计算机学院	6	63	4.0	6.0
3	郭涛		16	158	7.0	12.0
4	马金鑫	北京航空航天大学计算机学院	3	92	2.0	3.0
5	张俊贤	北京航空航天大学计算机学院	3	95	3.0	3.0