软件安全逆向分析中程序结构解析模型设计

doi:10.3778/j.issn.1002-8331.2008.32.019

计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (32): 64-67.DOI: 10.3778/j.issn.1002-8331.2008.32.019

软件安全逆向分析中程序结构解析模型设计

李广旭¹,李伟华^1,2,潘炜¹,史豪斌¹

1.西北工业大学计算机学院，西安 710072
2.明德学院，西安 710072

收稿日期:2008-05-15 修回日期:2008-07-24 出版日期:2008-11-11 发布日期:2008-11-11
通讯作者: 李广旭

Program structure parsing model design in software security reverse analysis

LI Guang-xu¹,LI Wei-hua^1,2,PAN Wei¹,SHI Hao-bin¹

1.School of Computer Science and Engineering，Northwestern Polytechnical University，Xi’an 710072，China
2.School of Mingde，Xi’an 710072，China

Received:2008-05-15 Revised:2008-07-24 Online:2008-11-11 Published:2008-11-11
Contact: LI Guang-xu

摘要/Abstract

摘要： 提出了一种基于二进制文件的程序结构解析模型。该模型通过对二进制文件反汇编，去除汇编文件中的冗余信息，对汇编文件进行静态分析，构建带有索引依赖信息的基本块，并以该基本块为基础提取二进制程序的内部控制流与函数调用关系信息，最后给出程序内部控制流图以及函数调用关系图。该模型不依赖程序的源文件，以二进制文件为分析对象，实用性和通用性比较好；实验结果表明模型对二进制程序内部结构解析具有较高的准确性。

关键词: 逆向分析, 程序结构解析, 静态分析, 控制流

Abstract: A program structure parsing model for binary file reverse analysis is presented.The model disassembles a binary file to generate a corresponding assembly file，eliminates redundant information from the assembly file，and then statically analyzes the assembly file to construct basic blocks with index-dependent information.It extracts control flow and function call information of binary file based on basic blocks，and creates control flow and function call graphs.The model does not depend on source code，but shows better practicability and generality.Our experiments demonstrate that the proposed model has a high accuracy in parsing program structure of binary file.

Key words: reverse analysis, program structure parsing, static analysis, control flow

李广旭¹,李伟华^1,2,潘炜¹,史豪斌¹. 软件安全逆向分析中程序结构解析模型设计[J]. 计算机工程与应用, 2008, 44(32): 64-67.

LI Guang-xu¹,LI Wei-hua^1,2,PAN Wei¹,SHI Hao-bin¹. Program structure parsing model design in software security reverse analysis[J]. Computer Engineering and Applications, 2008, 44(32): 64-67.

[1]	陈耀阳，陈伟. 采用隐式跳转的控制流混淆技术[J]. 计算机工程与应用, 2021, 57(20): 125-132.
[2]	乐德广，赵杰，龚声蓉. 基于模式切换的ARM汇编代码混淆算法[J]. 计算机工程与应用, 2021, 57(18): 122-129.
[3]	林宏阳，彭建山，赵世斌，朱俊虎，许航. JavaScript引擎漏洞检测方法综述[J]. 计算机工程与应用, 2019, 55(11): 16-24.
[4]	陈璐，马媛媛，石聪聪，李尼格，李伟伟. Android应用安全缺陷的静态分析技术研究[J]. 计算机工程与应用, 2018, 54(4): 117-121.
[5]	吕博然，吴军华. 基于路径序列相似度判别的程序克隆检测方法[J]. 计算机工程与应用, 2018, 54(2): 55-61.
[6]	赵薇1，4，王楠2，苏欣3，4，张波云1. 基于深度信念网络的Android恶意应用检测方法[J]. 计算机工程与应用, 2018, 54(18): 125-132.
[7]	麻荣宽，魏强，武泽慧. PHP程序污点型漏洞静态检测方法[J]. 计算机工程与应用, 2018, 54(1): 64-69.
[8]	陈琪1，蒋国平2，夏玲玲3. 基于静态结构的恶意代码同源性分析[J]. 计算机工程与应用, 2017, 53(14): 93-98.
[9]	董玉坤. C程序非法计算缺陷的静态检测[J]. 计算机工程与应用, 2016, 52(19): 31-36.
[10]	谢汶兵1，2，马晓东1，李中升1，牛夏牧2. 基于备份控制流信息的缓冲区溢出监测技术[J]. 计算机工程与应用, 2016, 52(11): 101-107.
[11]	钱雨村，彭国军，王滢，梁玉. 恶意代码同源性分析及家族聚类[J]. 计算机工程与应用, 2015, 51(18): 76-81.
[12]	尤枫，边毅，赵瑞莲. EFSM模型的字符串类型测试数据自动生成[J]. 计算机工程与应用, 2014, 50(16): 57-61.
[13]	吴小菁. 智能知识地图挖掘数据的金融危机早期预警[J]. 计算机工程与应用, 2013, 49(24): 116-121.
[14]	金靖1，2，李萌1，2，华哲邦1，2，宋怀达1，2，赵俊峰1，2，谢冰1，2. 一种基于LDA和静态分析的代码功能识别方法[J]. 计算机工程与应用, 2013, 49(15): 27-31.
[15]	司海平1，乔红波1，虎晓红1，陈宝钢1，曹永生2. 基于用况图的程序理解方法研究[J]. 计算机工程与应用, 2013, 49(14): 51-55.

软件安全逆向分析中程序结构解析模型设计

Program structure parsing model design in software security reverse analysis

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics