浅析MSIL中间语言——PE文件结构篇

标签：style   blog   http   color   io   os   ar   使用   strong   

　　开篇我想讲一下于本文无关的话题，其实我很想美化一下自己博客园一直没时间弄，无意间找了博客园李宝亨的博客园里面有一篇分享自己主题的文章，我就将这个模板暂时用作我的blog主题，我要讲述一个关于PE文件结构的文章，这篇文章动手能力比较强，希望大家能够动手进行操作，这边文章篇幅有可能会长一些，为了方便大家阅读我可以将其分为几个部分进行讲解，主要分为以下几个部分：

　　①  PE文件头

　　②  导入表

　　③  导出表

　　④  资源表

　　下面我来讲解下为什么要学PE文件结构，因为了解PE文件结构就会了解到数据字典中第十五存放的就是元数据通过这个可以进一步研究元数据结构，至于.NET的 PE文件结构下一次进行分析

    这里我们不讲普通程序的PE文件结构，我们只针对当前.NET程序进行分析，了解普通的PE文件结构后，我们会知道.NET的PE结构不同之处在于在PE头中的IMAGE_OPTIONAL_HEARDER这个结构中的数据目录DataDirectory这个包括了映像文件中的CLR头的RVA和大小。这就使我们能够很快的进行扩展.NET的PE文件结构，下面我们就对文件进行分析，随便找一个.NET的程序，我这里有一个程序，我们用16进制编辑器打开，找到数据目录的第十五个，这个对应的2个字节的CLR头RVA和2个字节的大小。

　　现在我们来记录下这个记录：
　　CLR头：RVA：0x2008   size：0x48

　　既然我们知道了CLR头的RVA和大小那么我们计算他在磁盘中的RVA也就是定位在磁盘中的位置，这里我们还需要其他几个区段的RVA和文件中的大小，这里我们就不在16进制编辑器中进行查找了我们直接打开，CFF Explorer将程序载入后我们查看区块表信息：

　　那么我们就开始进行定位，定位该区段在文件中的地址，这里我们来看这个CLR头的RVA落在了那个区段上，CLR的RVA为0x2008，我们首先看的是第一个区段.text，该区段装在在内存的地址是0x2000，而这个区段的大小事0x12A00，所以这个区段的范围是0x2000-0x14A00，刚好0x2008落在这个区段上，那么我们来算出他在文件中的偏移，2008-2000=8,200+8=208；也就是0x208的位置是CLR在文件的RVA。下面实例图将表述算出来的过程：

　　这张图已经很清楚的说明了这个RVA的换算公式，也是我们在这里标出来的？号处就是我们要的东西，这里内存中的CLR头是内存里面的地址0x2008而区段的开始RVA是0x2000这样就是S=0x2000，R=.0x2008那么差值=8，P=0x200这样的话？=0x208这样就算出了文件的RVA；

这样我们找到了CLR头的RVA 我们就来16进制编辑器中进行查看CLR头，下面是CLR头的结构：

typedef struct IMAGE_COR20_HEADER
{
    ULONG         cb;
    USHORT        MajorRuntimeVersion;
    USHORT        MinorRuntimeVersion;
    //符号表和开始信息
    IMAGE_DATA_DIRECTORY    MetaData;
    ULONG        Flags;
    union{
        DWORD    EntryPointToken;
        DWORD    EntryPointRVA;
               };
     //绑定信息
      IMAGE_DATA_DIRECTORY     Resource;
      IMAGE_DATA_DIRECTORY    StrongNameSignature;
      //常规的定位和绑定信息
      IMAGE_DATA_DIRECTORY    CodeMagagerTable；
      IMAGE_DATA_DIRECTORY    VTableFixups;
      IMAGE_DATA_DIRECTORY    ExprotAddressTableJumps;

      IMAGE_DATA_DIRECTORY    MagageNativeHeader;
}IMAGE_COR20_HEADER

 　　下面是对应字段的描述和对应的大小偏移量等等信息：

　　既然我们已经知道了整个CLR头的结构，那么我们就来对.NET的这个文件进行十六进制查找下：CTRL+G查找0x208

　　对应这一块就是CLR头的数据，我们可以一步一步进行分析，比如cb占2个字节那么他就是00000048这个数据，以此进行分析可以将所有数据进行分析出来。注意是这里面是以小端的形式存放，也就是他要从后面的是高位，前面的是地位。

　　那么我可以注意到这个字段StrongNameSignature这个字段就是强命名的字段，如果程序加了强命名我们的一种手段就是将这个RVA和大小全部设置为0就去除了强命名。还有就是Flags标志位，标志里面去除COMIMAGE_FLAGEX_STRONGNAMESIGNED=0x00000008//此程序有强命名。

    这里我们要强调的是根据表中最重要的MetaData项，来查看元数据在PE文件中的存储格式，我们可以在上图中寻找到：

　　其中元数据（MetaData）的RVA：0000B2D8，元数据的大小为：00009534，通过这个RVA我们可以将其换算成文件地址，那么这个RVA落在了第一个区段上也就是.text段上，这样的话我们就可以换算出文件中的RVA：0x94D8，那么我们就可以在16进制编辑器中查看元数据头的结构。首先我们先看一下整体结构是什么：

　　既然我们已经了解了元数据头的结构之后我们就对应的RVA看一下16进制编辑器里面的内容：

　　这里我们就不将所有的字段的值取出来我们直接用CFF来看一下我们查找的数据是不是正确的；

　　其实这里面最重要的就是我们要看一下流到底有多少个，这里面最后一个字段就是iStreams这里面显示的是5，那么就说明有5个流数据，接下来就开始分析几个流数据，紧接着元数据头便是几个流数据的头，流按存储结构的不同分为堆（heap）和表（Table）,在元数据中堆是用来存储字符串和二进制对象。堆分为以下三种：

　　#Strings：UTF8格式的字符串堆，包含各种元数据的名称（比如类名，方法名，成员名，参数等），以0开始以0结尾。

　　#Blob：二进制数据堆，存储程序中非字符串信息，比如常量值，方法的signature、pubicKey等。每个数据的长度由该数据的前1-3为决定：0表示长度1字节，10表示长度2字节，110表示长度4字节。

　　#GUID：存储所有的全局唯一标识

　　#US：用户自定义字符串

　　#~：元数据表流，重要的流，几乎所有元数据的信息都以表的形式存在

　　上面我们已经提及到了，MetaData Root紧接着就是流数据，那么我们先看一下流数据的结构，方便我们对其进行分析：

    既然我们看到流数据头的结构我们可以发现iOffset这个字段是关于流存储的位置，也就是流数据头里面存放的是真正流数据的位置，那么我们上面找到的元数据头的地址是RVA：0x94D8这样的话我们就可以找到真正的对应的流数据了！那么我们先看一下整体的流数据，我们已经知道一共有5个流数据。

　　其中的红色“|”标示着下一个流数据结构的开始，相应对应的结果我用CFF更直观的展现给大家看，这样我们就可以进行一个详细的对比;

经过我们上下数据的比较数据完全符合那么，就说明我们流数据头找的是正确的。

既然我们将流数据头找出来，我们就对这5个流数据进行分析，这里我们就单纯的讲一下#~流，因为这个是.NET都要存在的！上面我们可以看到#~流相对于MetaData的偏移量是0x6C，0x94D8+0x6C就是真正该流数据的存储位置：0x9544，好的，既然已经寻找到了这个地址那么先来了解下#~内部存储结构是什么样的？请看下表：

　　下面我们来看一下该程序的#~元数据表流的存储内容，将程序载入到16进制编辑器中，CTRL+G进行搜索0x9544，这个地址就是元数据表流的开始位置：如下所示：

　　红色地方代表的是Vaild，其中的数据是0XF0929B69D57，那么将其换算成二进制，看一下哪一些表是有效的，二进制数据如下图所示：

　　其中红色部分表示表数据是有效的一共有24个表，元数据中所有的表：

　　紧接着元数据表头的是一串4字节数组，每个双字节代表该表中有多少项纪录（record），本程序中存在24个表那么就是，24*4=144个字节。那么我们就从元数据头结尾处进行查找:

　　我们来验证一下正确性使用CFF来看一下：

　　经过我们的验证确实是Module里面只有一条纪录。点开就可以看到内部结构是什么！这里我们不去讲所有表的结构。

这样我们已经知道了元数据是描述数据的数据，那么这句话要怎么理解呢？那么就来用一个例子来解释下这个说明的含义：比如该程序我们将其反编译成IL代码，查看IL代码的元数据.

　　这里我要不去讲这个Token的由来，我只讲一下这个Token怎么去索引，前面比如这个02000002，前面的02代表在元数据表中的第二个表也就是TypeDef表，至于表内部的结构自己可以再进行研究。那么后面的02代表的是什么呢？代表的是表里面的第二条纪录。截图说明下：

　　和IL图中描述一致：

　　至于剩下的#Strings堆都是一些二进制形式存在的数据。为了节省篇幅就到此了！其他的自行分析！

　　有可能这分析当中会存在一些问题，希望各位能人指出，我将其该正。抽时间将这篇文章整理出来！

浅析MSIL中间语言——PE文件结构篇

标签：style   blog   http   color   io   os   ar   使用   strong   

原文地址：http://www.cnblogs.com/dwlsxj/p/4052871.html