CLL-目标文件的三魂七魄

最新推荐文章于 2022-08-18 21:52:05 发布

sif_666

最新推荐文章于 2022-08-18 21:52:05 发布

阅读量532

点赞数

分类专栏： CLL 文章标签： gcc

本文链接：https://blog.csdn.net/weixin_43708622/article/details/108110685

版权

CLL 专栏收录该内容

2 篇文章 0 订阅

订阅专栏

本文基于一个简单的目标文件例子，来窥探目标文件的三魂七魄。

首先，展示一下例子的源码，了解一下这段代码做了些什么。代码中的注释部分进行了详细说明。
在这里插入图片描述

然后，通过gcc将main.c编译成main.o
在这里插入图片描述

注意：绿色部分的main.o文件大小是1896(0x768)。

由于目标文件涉及的知识点非常的多，本文不可能讲解所有细节，主要讲解目标文件的主干部分－－－“三魂七魄”。"三魂七魄"到底是什么鬼!!!

目标文件的整体轮廓

通过readelf命令先来感受一下main.o里面到底长啥样!
在这里插入图片描述

在这里插入图片描述

上面两张图中的ELF Header、Section Headers、Symbol table就是目标文件的"三魂"

ELF Header

ELF文件类型

ELF(Executable Linkable Format)是LINUX系统中的一种文件格式。通常我们见到的目标文件(.o)、可执行文件、动态库(.so)都是ELF文件类型。

可以通过file命令查看文件类型
在这里插入图片描述

从上图可以看出，main.o 是ELF relocatable文件，可重定位文件能被链接成可执行文件或动态库；main.c是c源文件；/bin/ls是ELF executable文件，可执行文件；/usr/lib/libcpupower.so.4.4.0-154是ELF shared object文件,即动态库。从这里其实可以看出(如果你对gcc编译的流程熟悉的话)，relocatable file通常被链接成 executable file或 shared object file。

了解了什么是ELF，接下来再看看什么是ELF Header。

ELF Header描述

为什么我将elf header看作是三魂之一，说明了它非常重要。elf header描述了整个目标文件的基础属性，如：
在这里插入图片描述

ELF Magic

ELF Magic由16个字节组成，前四个字节(第0到第3个字节)是所有ELF文件都相同的标识码0x7f、0x45、0x4c、0x46，如果你对ASCII码有所了解的话，你会发现，0x7f刚好对应DEL字符，0x45、0x4c、0x46分别对应大写的’E’ ‘L’ ‘F’。第４个字节(0x02)表示文件CLASS，也即文件位数，因为我的机器是64位的，所以0x02表示64位，如果是32位的机器，第４个字节的值应该是0x01。第５个字节(0x01)表示字节序，0x01表示小端字节序，0x02表示大端字节序。第６个字节表示ELF的主版本号，ELF标准从1.2版本后就再没有更新了，所以一般是１。剩下的９个字节通常都为０。

其实可以发现，ELF Header的16字节的魔数包含了Class(机器位数)、Data(字节序)、Version(ELF版本)信息。

OS/ABI 表示运行的平台为unix-system v。

ABI Version　表示ABI版本。

ELF Type

REL 表示relocatable file，说明该文件是目标文件(可重定位文件)，即.o文件
EXEC 表示executable file，说明该文件是可执行文件
DYN 表示shared object file，说明该文件是动态库文件，即.so文件
可分别执行readelf -h /bin/ls 和 readelf -h /usr/lib/libcpupower.so.4.4.0-154 查看ELF Type。

Machine

表示该ELF文件的可运行的平台属性。

Entry point address

入口地址，也就是ELF程序的虚拟入口地址，OS在加载完程序后从这个地址开始执行。relocatable文件因为还没有链接，所以一般没有入口地址，其值为0。

Start of program headers

program header描述了ELF文件是怎样被操作系统加载到进程的虚拟地址空间的。由于目标文件(relocatable file)没有program header(可通过readelf -l main.o查看program header)，所以这里不展开讲解program header。

Start of section headers

段表在文件中的偏移。main.o的start of section headers值为1064(0x428)，表示段表从文件的1065个字节开始。section headers将在后面详细讲解。

Flags

描述平台架构相关的属性。可以查看/usr/include/elf.h 中以EF_开头的宏。

Size of this header

表示elf文件头本身的大小。main.o的文件头大小为64字节。

Size of program headers

由于目标文件没有program header，所以这里暂时不管。

Number of program headers

由于目标文件没有program header，所以这里暂时不管。

Size of section headers

表示段表描述符的大小。一般等于sizeof(Elf64_Shdr)。64字节。

Number of section headers

表示段表中段的个数。main.o中段的个数为13，说明有13个段

Section header string table index

表示段表字符串表　所在段的下标。

说明：本文中，用中文表达的段都是指section，因为还有一个概念叫segment，但在中文表达上不好区分，所以这里特别说明一下，以免产生混淆。

我个人觉得，可以将section翻译为"节"，将segment翻译为"段"。但是由于书籍或已经约定俗成的叫法中已经将section表达为段了，例如，代码段、数据段等，这里的段是指section。

为了在中文上尽量表达清晰而不产生混淆，我后面的系列文章会将section表达成"节"，例如，代码节、数据节；而将segment表达成"段"。"段"是比"节"更大一点的概念。当然，如果你习惯用英文表达，就无所谓了。

section headers(节表头)

首先，我们来看看main.o的节表信息
在这里插入图片描述

可以看到 section(节)的个数是13个，和我们前面分析elf header的number of section headers的值一致。starting at offset 0x428 也就是1064，也就是前面分析elf header的start of section headers。在代码层面，每个section是通过Elf64_Shdr来描述的，所以Elf64_Shdr也叫做节描述符(section descriptor)

typedef struct
{
  Elf64_Word    sh_name;        /* Section name (string tbl index) */
  Elf64_Word    sh_type;        /* Section type */
  Elf64_Xword   sh_flags;       /* Section flags */
  Elf64_Addr    sh_addr;        /* Section virtual addr at execution */
  Elf64_Off sh_offset;      /* Section file offset */
  Elf64_Xword   sh_size;        /* Section size in bytes */
  Elf64_Word    sh_link;        /* Link to another section */
  Elf64_Word    sh_info;        /* Additional section information */
  Elf64_Xword   sh_addralign;       /* Section alignment */
  Elf64_Xword   sh_entsize;     /* Entry size if section holds table */
} Elf64_Shdr;

可以发现，Elf64_Shdr的10个成员刚好和readelf命令显示的每个section的属性字段相对应。接下来，详细分析每个section及其相应字段的含义。

Name

节名，通常节名的字符串是存放在.shstrtab中的，sh_name是节名字符串在.shstrtab中的偏移。

Type

NULL 表示　无效节
PROGBITS 表示程序节，代码节、数据节都是这种类型
RELA 表示重定位表
NOBITS　表示该节在目标文件中没有内容，如　.bss节
STRTAB　表示该节的内容为字符串表
SYMTAB　表示该节的内容为符号表

Address

表示节被加载后的进程虚拟地址。这里暂不做过多说明。

Off

表示节偏移，即节在文件中的偏移，如果节的内容不在文件中，那么off就没有意义

Size

表示节的大小

Es(section entry size)

有些节包含了一些固定大小的项(entry)，而Es就表示这种项的大小。如果Es为0表示该节不包含固定大小的项。例如，符号表，它包含的每个符号所占的大小都是一样的。

Flg

节的标志位　表示　节在进程虚拟地址空间中的属性。

A 表示该节在进程空间中需要分配相应的空间。

E 表示该节在进程空间中可以被执行，一般都是指代码节。

W 表示该节在进程空间中可写。

Lk　Inf

表示节的链接信息。一般节的类型与链接相关，这两个成员才有意义。例如节的类型是重定位表、符号表等。

Al

表示节地址对齐。

.strtab 字符串表，用来保存普通字符串

.shstrtab 段表字符串表，用来保存节表中用到的字符串，最常见的就是节名(section name)

Symbol(符号表)

在目标文件的链接过程中，本质上是对“地址”的引用，而“地址”即是函数或变量的地址。同时，为了方便引用，函数或变量都有自己的名字，这个名字就是所以为的符号(symbol)，函数名或变量名就是符号名(symbol name)。

我们可以将符号看作是链接过程的粘合剂，整个链接过程正是基于符号才能够完成。链接过程中很关键的一部分就是符号的管理，每一个目标文件都会有一个相应符号表(symbol table)，这个表里面记录了目标文件中所用到的所有符号。每个定义的符号有一个对应的值，叫做符号值(symbol value)，对于变量和函数来说，符号值就是他们地址。

符号的分类：