二进制程序 程序理解 图论 程序切片 逆向工程.doc

二进制程序论文：基于切片的二进制代码可视化分析的研究

【中文摘要】随着信息时代的来临,社会对软件的需求迅速增长,各种类型的、复杂多变的软件与日俱增,而这些软件大部分是用高级语言编写的,但绝大部分软件产品只提供可执行的程序,即通常意义上的二进制代码,而不提供高级语言文本,因而软件的分析和理解不得不停留在机器语言的级别上。可是机器代码程序的可读性差,分析起来复杂、困难而且容易出错,效率很低,在很大程度上依赖于人的智力劳动。因而,如何简化程序理解和软件分析是软件工程中的重要课题。程序切片是一种分解程序的重要工具,在软件分析和理解等领域有广泛的应用。本文在二进制程序分析和理解中引入程序切片技术,解决在程序理解、程序复杂性度量、程序转换中遇到的问题。通过切片运算可以达到分解程序的,从而降低程序的复杂度,便于程序的理解和进一步的分析。本文的主要工作如下：首先,本文介绍了二进制程序的文件结构,包括PE文件的基本组成部分,其在磁盘和内存中的布局,以及操作系统是如何将二进制程序加载进内存,并介绍反汇编二进制程序的算法。其次,本文使用图理论辅助二进制程序的分析,通过使用反汇编引擎,识别代码中的用户自定义函数,并构造函数的控制流程图和数据流程图。借助控制流程图,识别程...
【英文摘要】Withtheadventoftheinformationage,thedemandforcomputersoftwarearerapidlygrowinginoursociety.Varioustypesandcomplexsoftwaregrowingeveryday.Butmostofthesesoftwarearewritteninhigh-levelprogramlanguage,duetotheneedoftechnologicalsecurity,manysoftwarecompaniesonlyprovideexecutiveprogram,whicharetheusualsenseofbinarycode,withouttheprovisionofhigh-levellanguagesourcecode.Thustheanalysisandunderstandingofthesoftwarehadtostayinthemachinela...
【关键词】二进制程序程序理解图论程序切片逆向工程
【英文关键词】BinaryprogramProgramcomprehensiongraphtheoryprogramslicereengineering
【索购全文】联系Q1：138113721Q2：139938848

【目录】基于切片的二进制代码可视化分析的研究

摘要

4-5

ABSTRACT

5-6

第一章绪论

11-19

1.1本文研究背景

11-14

1.1.1程序理解技术现状

12-13

1.1.2二进制代码分析现状

13

1.1.3程序切片技术现状

13-14

1.2二进制程序分析技术

14-16

1.2.1静态分析

14-16

1.2.2动态分析

16

1.3课题目标

16-18

1.4本文的组织

18-19

第二章可执行文件的基本结构

19-33

2.1PE文件格式简介

19-20

2.2PE文件的结构

20-22

2.2.1PE文件的磁盘结构

20-21

2.2.2PE文件内存映射

21-22

2.2.3PE文件的加载

22

2.3PE文件格式信息的提取

22-26

2.4符号名的识别

26-28

2.5二进制程序的反汇编技术

28-33

2.5.1反汇编概述

28-29

2.5.2反汇编的作用

29-30

2.5.3反汇编算法

30-33

第三章基于图论的分析方法

33-49

3.1图论基础和实现方法

33-38

3.1.1基本模块

33-35

3.1.2控制流图

35-38

3.2控制流分析

38-43

3.2.1程序控制结构的图形表示

38-40

3.2.2程序中循环结构的识别

40-43

3.3数据流分析

43-49

3.3.1数据流分析的作用

43-44

3.3.2数据流方程

44-47

3.3.3数据流方程的算法

47-49

第四章程序切片算法的实现

49-59

4.1程序切片的基本概念

49-50

4.2程序切片的原理和准则

50-51

4.2.