ELF 文件规范
ELF(Executable and Linking Format)是一个二进制文件规范。用于定义不同类型的对象文件(Object files)中都放了什么东西、以及都以什么样的格式去放这些东西。
现在流行的二进制可执行文件格式 (Executable File Format),主要是 Windows 下的 PE(Portable Executable)和 Linux 的 ELF(Executable and Linking Format)可执行和链接格式)。他们都是 COFF(Common Object File Format)的变种。ARM 体系中采用的也是 ELF 文件格式。
COFF 是在 Unix System V Release 3 时由 UNIX 系统实验室(UNIX System Laboratories, USL)首先提出并且使用的文件规范,后来微软公司基于 COFF 格式,制定了 PE 格式标准,并将其用于当时的 Windows NT 系统。在 System V Release 4 时,UNIX 系统实验室在 COFF 的基础上,开发和发布了 ELF 格式,作为应用程序二进制接口 (Application Binary Interface,ABI)。
此后,工具接口标准委员会(Tool Interface Standard Committee,TISC)选择了正在发展中的 ELF 标准作为工作在 32 位 INTEL 体系上不同操作系统之间可移植的二进制文件格式。可以从这里 找到详细的标准文档。如下图:
TISC 共出过两个版本(v1.1和 v1.2)的标准文档。两个版本内容上差不多,但 v1.2 版本重新组织了原本在 v1.1 版本中的内容。可读性更高。两个版本的目录如下所示:
由于 TISC 的 v1.2 比较老旧,且后续没有再更新,尤其是在 64 位出现之后,原来的 ELF v1.2 已经不再试用,因此,System V 对 ELF v1.2 进行了扩展,这个扩展就是 System V Application Binary Interface AMD64 Architecture Processor Supplement,实际了 Unix 系统与 类 Unix 系统都使用 System V 扩展的这个版本。
在 ELF 文件规范中,把系统中采用 ELF 格式的文件(规范中称为对象文件(Object File))归类为以下三种:
可重定位文件(Relocatable File ):这类文件包含代码和数据,可用来连接成可执行文件或共享对象文件(Object File),静态链接库归为此类,对应于 Linux 中的 .o ;Windows 的 .obj.可执行文件(Executable File ):这类文件包含了可以直接执行的程序,它的代表就是 ELF 可执行文件。Linux 下,他们一般没有扩展名,比如 /bin/bash;Windows 下的 .exe共享对象文件(Object File)(Shared Object File ):这种文件包含代码和数据,链接器可以使用这种文件跟其他可重定位文件的共享对象文件(Object File)链接,产生新的对象文件(Object File)。对应于Linux 中的 .so,Windows 中的 DLL
另外是动态链接器可以将几个这种共享对象文件(Object File)与可执行文件结合,作为进程镜像文件来运行。
在 Linux 系统中,还有一类文件,被称为核心转储文件(Core Dump File),当进程意外终止,系统可以将该进程地址空间的内容及终止时的一些信息转存到核心转储文件。 对应 Linux 下的 core dump。
对象文件参与程序链接(构建程序)和程序执行(运行程序)。 为了方便和高效,对象文件(Object File)格式提供文件内容的并行视图,反映了这些活动的不同需求。 下图显示了对象文件(Object File)的组织。
其中,各部分的含义都是规范定义好的!
数据表示法
对象文件(Object File)格式支持具有 8 位字节和 32 位体系结构的各种处理器。 然而,它旨在可扩展到更大(或更小)的体系结构。 因此,对象文件(Object File)用一种与机器无关的格式表示一些控制数据,从而可以识别对象文件(Object File)并以通用方式解释它们的内容。 目标处理器中的剩余数据使用目标处理器的编码,而不管创建文件的机器如何。出于可移植性的原因,ELF 不使用位字段。
对象文件格式定义的所有数据结构都遵循相关类的自然大小和对齐准则。如果需要,数据结构包含显式填充,以确保 4 字节对象的 4 字节对齐,强制结构大小为 4 的倍数,以此类推。数据从文件开始也有适当的对齐。因此,例如,包含 Elf32 Addr 成员的结构将在文件中的 4 字节边界上对齐。
字符表示法
ELF 中对于符号的字符编码也有一定的要求。当 ELF 接口文档提到字符常量时,例如’/‘或’\ n’,它们的数值应遵循 7 位 ASCII 准则。 对于先前的字符常量,单字节值分别为 47 和 10。
根据字符编码,在 0 到 127 范围之外的字符值可以占用一个或多个字节。 应用程序可以根据需要使用不同语言的不同字符集扩展来控制自己的字符集。 尽管 TIS-一致性 不限制字符集,但它们通常应遵循一些简单的指导原则:
0 到 127 之间的字符值应对应于 7 位 ASCII 代码。 也就是说,编码大于 127 的字符集应包含 7 位ASCII 码作为子集。值大于 127 的多字节字符编码应仅包含值在 0 到 127 范围之外的字节。也就是说,每个字符使用多个字节的字符集不应嵌入类似于 7 位 ASCII 字符的字节。 一个多字节,非 ASCII 字符。多字节字符应该是自我识别的。 例如,这允许在任何一对多字节字符之间插入任何多字节字符,而不改变字符的解释。
关于 ELF 文件规范这里就不多做详细介绍了,感兴趣的可以去 Linux 基金会的官方网站下载规范来看看!
ARM ELF 文件格式
ARM 体系中,所有文件均采用的 ELF 文件格式。我们可以在 ARM 的官网找到 ARM 关于 ARM ELF 文件格式的说明文档。后文参考部分的下载中是目前可以从 ARM 官网找到的所有和 ARM ELF 相关的 PDF 文档。
目前,我们可以找到的 ARM ELF 相关的文档主要有 4 个:《ARM ELF File Format》、《ELF for the ARM® Architecture》、《ARM ELF》以及 ARM 的链接器手册。其中,《ARM ELF File Format》是比较早期的文档,针对于 ARM SDT 时代的 ELF 文件,有点过时了;后者三个则是最新的介绍文档,《ELF for the ARM® Architecture》 仅仅是对 ARM ELF 取值的一些特殊说明,是在读者先了解 ELF 文件规范的基础上进行的说明。
ARM 中的各种源文件(包括汇编文件,C 语言程序及 C++ 程序等)经过 ARM 编译器编译后生成 ELF 格式的对象文件(Object File)(.o文件)。这些对象文件(Object File)和相应的 C/C++ 运行时用到的库经过 ARM 连接器处理后,生成 ELF 格式的镜像文件(image),这种 ELF 格式的映像文件是一种可执行文件,可被写入嵌入式设备的 ROM 中。
在 ARM 体系中,所有的二进制文件均被称为对象文件。其中,链接器最终生成的 ELF 格式的可执行文件又被称为镜像文件(Image file)。ARM ELF 镜像文件或者对象文件由输入节(Input Sections)、输出节(Output Sections)、域(Regions)和段(Segments)组成,每个链接阶段都有不同的镜像视图。如下图所示:
ELF object file view (linker input):ELF 对象文件视图由输入节组成。 ELF 对象文件可以是:
一个可重定位文件,包含适合与其他对象文件(Object File)链接的代码和数据,以创建可执行文件或共享对象文件。包含代码和数据的共享对象文件。
Linker view:连接器视图针对程序地址空间会有两个视图。并且这两个视图在存在重叠,位置无关和可重定位的程序片段(代码或数据)时变得不同:
程序片段的加载地址是链接器期望外部代理(例如程序加载器,动态链接器或调试器)从 ELF 文件复制片段的目标地址。 这可能不是片段执行的地址。程序片段的执行地址是目标地址,其中链接器期望片段在参与程序的执行时驻留。
如果片段与位置无关或可重定位,则其执行地址在执行期间可能会有所不同。
ELF image file view (linker output):ELF 镜像文件视图由程序段和输出节组成:
一个加载域对应于一个程序段。一个执行域包含一个或多个以下输出节: RO section.RW section.XO section.ZI section. 一个或多个执行域组成一个加载域。
When describing a memory view:
The term root region means a region that has the same load and execution addresses. 术语根区域是指具有相同加载和执行地址的区域。Load regions are equivalent to ELF segments. 加载区域等效于 ELF段。
输入节 Input section
一个输入节就是是输入对象文件中的一个独立的部分。 它包含代码,初始化数据,或着是描述未初始化或必须在镜像文件执行前设置为零的内存片段。 这些属性由 RO,RW,XO 和 ZI 等属性表示。armlink
使用这些属性将输入节分组为更大的构建块,称为输出节和域。
输出节 Output section
一个输出节就是一组输入节的组合,它们具有相同的 RO,RW,XO 或 ZI 属性,并且由链接器连续放置在存储器中。 输出节与组成它的输入节具有相同的属性。 在输出节中,输入节根据节放置规则进行排序。
域 Region
一个域最多包含四个输出节,具体取决于内容和具有不同属性的节的数量。 默认情况下,域中的输出节根据其属性进行排序。 首先是 XO 属性的输出节,然后是 RO 属性的输出节,再然后是 RW 属性的输出节,最后是 ZI 属性的输出节。 域通常会映射到物理存储设备,例如 ROM,RAM 或外围设备。 您可以使用分散加载文件来更改输出节的顺序。
程序段 Program segment
一个程序段对应于一个加载域,并且包含执行域。 程序段包含文本和数据等信息。
存在 XO( execute-only)节时的注意事项
您可以在同一执行域中混合 XO 和 非 XO 节。 但是,输出的结果是一个 RO 节。如果输入文件具有一个或多个 XO 节,则链接器将生成单独的 XO ELF 段。 在最终镜像中,除非使用分散加载文件或
--xo-base
选项另有指定,否则 XO 段紧接在 RO 段之前。
镜像的加载视图和执行视图
镜像的域在加载时放置在系统存储器映射中。 内存中域的位置可能会在执行期间发生变化。在执行镜像之前,可能必须将镜像的某些域移动到其执行地址并创建 ZI 输出节。 例如,初始化的 RW 数据可能必须从其 ROM 中的加载地址复制到 RAM 中的执行地址。镜像的内存映射具有以下不同视图:
加载视图 Load view
根据镜像加载到内存中时所处的地址,即镜像执行开始前的位置,描述每个镜像的域和节。
执行视图 Execution view
根据镜像执行期间所在的地址描述每个镜像的域和节。
下图显示了没有(XO)节的镜像的这些视图:
下图显示了具有 XO 节的镜像的加载和执行视图:
Image entry points
镜像中的入口点就是镜像中的一个位置(地址),该位置(地址)会被加载到 PC 寄存器。 它是程序执行开始的位置。 虽然镜像中可以有多个入口点,但在链接时只能指定一个入口点。并非每个 ELF 文件都必须有入口点。 不允许在单个 ELF 文件中存在多个入口点。
对于嵌入式 Cortex-M 核的程序,程序的执行是从复位向量所在的位置(地址)开始执行。复位向量会被加载到 PC 寄存器中,且复位向量的位置(地址)并不固定。 通常,复位向量指向 CMSIS Reset_Handler 函数。
有两种不同类型的入口点:
初始化入口点:镜像的初始入口点是存储在 ELF 头文件中的单个值。 对于那些需要由操作系统或引导加载程序加载到 RAM 中的程序,加载程序通过将控制转移到镜像中的初始入口点来启动镜像执行。一个镜像只能有一个初始化入口点。初始入口点可以是 ENTRY 指令设置的入口点之一,但不是必需的。ENTRY 指令指定的入口点:可以为镜像从多个可能的入口点中选择其中一个。每个镜像只能有一个入口点。您可以在汇编程序文件中使用 ENTRY 指令在对象中创建入口点。 在嵌入式系统中,该指令的典型用途是标记进入处理器异常向量(例如 RESET,IRQ 和 FIQ)的代码。该指令使用 ENTRY 关键字标记输出代码部分,该关键字指示链接器在执行未使用的部分消除时不删除该部分。对于 C/C++ 程序,C 库 中的__main
就是入口点。
如果加载程序要使用嵌入式的映像,则它必须在标头中指定一个初始入口点。 使用--entry
命令行选项选择入口点。
ARM ELF 文件实例
与标准的 ELF 文件相比,ARM ELF 的某些值比较特殊,下面以实际文件来说明一下每个部分。编译工具如下图:
编译后,会在对应目录下生成 .o 文件和 .axf 文件,为了分析 ELF 文件,我们将使用 readelf 工具。在详细解析之前,先用 Winhex 直接打开生成的 .o 文件,可以看到文件开头有 ELF 字样。表明它是一个 ELF 文件。如下:
注意:.o 不是 ARM 的可执行文件!axf 为可执行文件。以下用两种程序作对比。
一个简单的可执行 ARM ELF 文件的概念布局如下图所示。请注意,文件中各部分的实际排序可能与下图中的顺序不同,因为只有 ELF Header 在文件中具有固定位置。
注意,针对目前最新版本的 ARM ELF,上图有点过时!
ELF Header
ELF Header 描述了体系结构和操作系统等基本信息,并指出 Section Header Table 和 Program Header Table 在文件中的什么位置。实际文件中,只有 ELF Header 位置是绝对的,且只能在最开始,其他部分部分的位置顺序并不一定完全相同。
Program Header Table 在汇编和链接过程中没有用到,所以在重定位文件中可以没有;Section Header Table 中保存了所有 Section 的描述信息,Section Header Table 在加载过程中没有用到,对于可执行文件,可以没有该部分。当然,对于某些类型的文件来说,可以同时拥有 Program header table 和 Section Header Table,这样 load 完后还可以重定位。(例如:shared objects)
ELF Header 可以使用如下数据结构表示:
#define EI_NIDENT 16typedef struct {unsigned char e_ident[EI_NIDENT]; // MagicElf32_Halfe_type; // TypeElf32_Halfe_machine;// MachineElf32_Worde_version;// VersionElf32_Addre_entry; // Entry point addressElf32_Off e_phoff; // Start of program headersElf32_Off e_shoff; // Start of section headersElf32_Worde_flags; // Flags Elf32_Halfe_ehsize; // Size of this headerElf32_Halfe_phentsize; // Size of program headersElf32_Halfe_phnum; // Number of program headersElf32_Halfe_shentsize; // Size of section headersElf32_Halfe_shnum; // Number of section headersElf32_Halfe_shstrndx; // Section header string table index} Elf32_Ehdr;
下面两幅图分别显示了不同文件的 ELF Header。以上数据结构中的注释,即对应于下图中的各部分字段。
.o 文件 ELF Header 如下图所示:
.axf 文件 ELF Header 如下图所示:
下面对以上两幅图中的内容做一下详细介绍:
第 1 行 ELF Header:这是readelf
工具的显示,实际文件中不存在这个符号!直接从 Magic 开始!第 2 行 Magic:用来指名该文件是一个 ELF 对象文件(Object File),对应于 Elf32_Ehdr 数据结构中的unsigned char e_ident[EI_NIDENT];
,使用以下宏值进行索引:e_ident[EI_MAG0] ~ e_ident[EI_MAG3]
:包含了 ELF 文件的魔数,依次固定是 0x7f 和 ‘E’、‘L’、‘F’。
e_ident[EI_CLASS]
:取值如下ARM ELF 文件应包含 ELFCLASS32。
e_ident[EI_DATA]
:选择将由执行环境中的默认数据顺序控制。 在以 BE8 模式运行的 Architecture v6 处理器上,所有的指令均为小端格式。 适合在此模式下操作的可执行文件将在 e_flags 字段中设置 EF_ARM_BE8。
e_ident[EI_VERSION]
:指定 ELF头部的版本,当前必须为 1。
e_ident[7]~e_ident[15]
:是填充符,通常是 0第 3 行 Class:该值就是e_ident[EI_CLASS]
。第 4 行 Data:该值就是e_ident[EI_DATA]
。第 5 行 Version:该值就是e_ident[EI_VERSION]
第 6 行 OS/ABI:该值应该是e_ident
的扩展部分。操作系统类型,ABI 是 Application Binary Interface 的缩写。除非文件使用具有 OS 特定含义的标志(例如,使用 SHN_LOOS 通过 SHN_HIOS 的段索引),否则该字段应为零。 目前,该字段有一个特定于处理器的值,如下。第 7 行 ABI Version: 该值应该是 e_ident 的扩展部分。版本号,当前为 0 。第 8 行 Type:表示该对象文件(Object File)类型(上图中的类型省略了ET_)。目前没有特定于 ARM 的对象文件类型。ET_LOPROC
和ET_HIPROC
之间的所有值都保留给本规范的未来版本。第 9 行 Machine:机器平台类型。ARM 架构为 EM_ARM(上图中的类型省略了ET_)。第 10 行 Version:当前对象文件(Object File)的版本号。第 11 行 Entry point address:程序的虚拟地址入口点。在 ARM 中: 在可执行 ELF 文件中,e_entry 是镜像唯一入口点的虚拟地址,如果镜像没有唯一入口点,则为 0。在可重定位ELF文件中,e_entry 是被SHF_ENTRYSECT
所标记的段的入口点的偏移量,若没有入口点,则为 0。Bit[0] = 1,表示 Thumb 指令;Bit[0:1] = 00,表示ARM指令;Bit[0:1] = 10,保留;
平台标准可以指定可执行文件总是具有入口点,在这种情况下,e_entry 指定入口点,即使为零。 第 12 行 Start of program headers:程序头的起始地址,.o 文件没有 Program Headers 。第 13 行 Start of section headers:节头的起始地址。上图中的 486388 是十进制,即:表示节头是从地址偏移 0x76BF4 处开始。第 14 行 Flags:是一个与处理器相关联的标志。注意:以上部分与 ARM 早期文档是有区别的,很多值已经不同第 15 行 Size of this header:ELF 文件头的字节数。第 16 行 Size of program headers:Program Headers 大小。.o 文件大小为 0。第 17 行 Number of program headers:Program Headers 的数量(可以有多个)。第 18 行 Size of section headers:sections header 的大小第 19 行 Number of section headers:sections header 的数量。第 20 行 Section header string table index:节头部表格中与节名称字符串表相关的表项的索引。如果文件没有节名称字符串表,此参数可以为SHN_UNDEF
。
注意:实际文件中,每一部分的位置顺序并不一定完全相同,只有 ELF Header 位置是绝对的,且只能在最开始。
Section Header(节头)
节头表提供了对 ELF 文件中所有节的访问。节中包含对象文件(Object File)中的所有信息,除了:ELF 头部、程序头部表格、节头部 表格。节满足以下条件:
对象文件(Object File)中的每个节都有对应的节头部描述它,反过来,有节头部不意 味着有节。每个节占用文件中一个连续字节域(这个区域可能长度为 0)。文件中的节不能重叠,不允许一个字节存在于两个节中的情况发生。对象文件(Object File)中可能包含非活动空间(INACTIVE SPACE)。这些区域不属于任何 头部和节,其内容未指定。
ELF 头部中,e_shoff
成员给出从文件头到节头部表格的偏移字节数;e_shnum
给出表格中条目数目;e_shentsize
给出每个项目的字节数。从这些信息中可以确切地定位节的具体位置、长度。节头部表格中比较特殊的几个下标如下:
介于SHN_LORESERVE
和SHN_HIRESERVE
之间的表项不会出现在节头部表中。
.o文件 Section Header(部分)
.axf 文件 Section Header
上图中的表头可以用如下数据结构描述(对应关系见注释):
typedef struct {Elf32_Word sh_name; // nameElf32_Word sh_type; // TypeElf32_Word sh_flags; // FlgElf32_Addr sh_addr; // AddrElf32_Off sh_offset; // OffElf32_Word sh_size; // SizeElf32_Word sh_link; // LkElf32_Word sh_info; // InfElf32_Word sh_addralign; // AlElf32_Word sh_entsize;// ES} Elf32_Shdr;
sh_name:给出节名称。是节头部字符串表节(Section Header String Table Section)的索引。名字是一个 NULL 结尾的字符串。ELF 文件规定一些标准节的名字,例如.text、.data、.bss
。此外,如上图中,许多节名字都是 ARM 自己扩展的。
sh_type:为节的内容和语义进行分类。ARM ELF 只使用了其中的一部分。参见下表(部分)。
除了以上标准节类型外,ARM 架构下,还有以下特殊的类型:
sh_flags:字段定义了一个节中包含的内容是否可以修改、是否可以执行等信息。如果一个标志比特位被设置,则该位取值为1。未定义的各位都设置为 0。
ARM 中的特殊取值如下:
sh_addr:如果节将出现在进程的内存镜像中,此成员给出节的第一个字节应处的位置。否则,此字段为 0。
sh_link 和 sh_info:根据节类型的不同,sh_link 和 sh_info 的具体含义也有所不同。ARM 取值如下:
sh_addralign:节没有最小对齐要求。 但是,包含 thumb 代码的部分必须至少为 16 位对齐,并且包含 ARM 代码的部分必须至少为 32 位对齐。具有SHF_ALLOC
属性的任何节必须满足 sh_addralign >= 4。其他节可根据需要对齐。 例如,调试表通常没有对齐要求。并且输入到静态链接器的数据段可以自然对齐。
平台标准可能会限制他们可以保证的最大对齐(通常是页面大小)。
sh_entsize:某些节中包含固定大小的项目,如符号表。对于这类节,此成员给出每个表项的长度字节数。如果节中并不包含固定长度表项的表格,此成员取值为 0。
sh_size:此成员给出本节的长度(字节数)。除非节的类型是SHT_NOBITS
,否则节占用文件中的 sh_size 字节。类型为SHT_NOBITS
的节长度可能非零,不过却不占用文件中的空间。
sh_offset:此成员的取值给出节的第一个字节与文件头之间的偏移。不过,SHT_NOBITS
类型的节不占用文件的空间,因此其 sh_offset 成员给出的是其概念性的偏移。
注意:
保留给处理器体系结构的节名称一般构成为:处理器体系结构名称简写 + 节名称。且处理器名称应该与 e_machine 中使用的名称相同。例如:上图最后的 .ARM.attributes对象文件(Object File)中也可以包含多个名字相同的节。上图节名 ER_IROM1、RW_IRAM1、RW_IRAM 是由连接器的分散加载文件指定的名称。可以根据需要自行修改。
ARM 节名称是以下面列出的具有预定义含义的标准前缀之一开始的名称,或者是包含美元($)字符的名称。 在 ARM EABI 下没有其他具有特殊意义的段名称。
除了以上标准节外,ARM 架构下,还有以下特殊的节:
这里需要注意一下 Debug Sections。Debug Sections 仅在调试时使用,稍微复杂一些。ARM 可执行 ELF 文件的调试节中包含多种类型的调试信息,ELF 可执行文件的使用者(如armlink)可以通过检查可执行文件的节表来区分这些种类型的调试信息。
ARM 系列的开发工具在不同的发展时期,采用的调试信息是有区别的,后来统一采用 DWARP。目前采用的应该是 3.0 版本。具体如下:
ASD debugging tables:
These provide backwards compatibility with ARM’s Symbolic Debugger. ASD debugging information is stored in a single Section in the executable named .asd.DWARP version 1.0
When DWARF 1.0 debugging information is included by the linker in the ELF executable, the file contains the following ELF Sections, each of which has a Section Header Table entry:DWARF version 2.0
When DWARF 2.0 debugging information is included by the linker in the ELF executable, the file contains the following ELF sections, each of which has a Section Header Table entry:
关于DWARF调试标准详见:/。目前最新版本是The DWARF Debugging Standard Version 5
Program Headers(程序头)
可执行文件或者共享对象文件(Object File)的程序头部是一个结构数组,每个结构描述了一个段或者系统准备程序执行所必需的其它信息。对象文件(Object File)的"段"包含一个或者多个"节",也就是"段内容(Segment Contents)"。程序头部仅对于可执行文件和共享对象文件(Object File)有意义。
图7 Program Header
程序头可以使用如下数据结构来表示(对应关系见注释):
typedef struct {Elf32_Word p_type; // TypeElf32_Offp_offset;// OffsetElf32_Addr p_vaddr;// VirtAddrElf32_Addr p_paddr;// PhyAddrElf32_Word p_filesz;// FileSizElf32_Word p_memsz;// MemSizElf32_Word p_flags;// FlgElf32_Word p_align;// Align} Elf32_Phdr;
p_type:这个成员告诉这个数组元素描述什么样的段,或者如何解释数组元素的信息。 类型值及其含义如下图所示。p_offset:此成员给出从文件头到该段第一个字节的偏移p_vaddr:此成员给出段的第一个字节将被放到内存中的虚拟地址。p_paddr:此成员仅用于与物理地址相关的系统中。因为 System V 忽略所有应用程序的物理地址信息,此字段对与可执行文件和共享对象文件(Object File)而言,具体内容是未指定的。p_filesz:此成员给出段在文件镜像中所占的字节数。可以为 0。p_memsz: 此成员给出段在内存镜像中占用的字节数。可以为 0。p_flags:此成员给出与段相关的标志。p_align:可加载的进程段的 p_vaddr 和 p_offset 取值必须合适,相对于对页面大小的取模而言。此成员给出段在文件中和内存中如何 对齐。数值 0 和 1 表示不需要对齐。否则 p_align 应该是个 正整数,并且是 2 的幂次数,p_vaddr 和 p_offset 对 p_align 取模后应该相等。
Symbol table(符号表)
一个对象文件的符号表保存了定位和重定位所在程序的符号定义和引用所需的信息。符号表以数组的下标进行索引。0 指定表中的第一个条目,并用作未定义的符号索引。ARM 结构中,符号表与标准的 ELF 文件没有任何区别。
图12 .o文件 Symbol table(部分)
在 C 语言中,符号表保存了程序实现或使用的所有全局变量和函数,如果程序引用一个自身代码未定义的符号,则称之为未定义符号,这类引用必须在静态链接期间用其他目标模块或库解决,或在加载时通过动态链接解决。
符号表可以使用以下数据结构表示:
typedef struct {Elf32_Wordst_name; // NameElf32_Addrst_value; // ValueElf32_Wordst_size; // Sizeunsigned char st_info; //unsigned char st_other; Elf32_Halfst_shndx; // Ndx} Elf32_Sym;
st_name:该成员将对象文件(Object File)的符号字符串表中的索引保存在符号名称的字符表示中st_value:该成员给出相关联的符号的值。 根据上下文,这可能是绝对值,地址等等; 不同对象文件(Object File)类型的符号表条目对 st_value 成员的解释略有不同。 在可重定位文件中,st_value 保持其索引为 SHN_COMMON 的符号的对齐约束。在可重定位文件中,st_value 包含已定义符号的节偏移量。 也就是说,st_value 是 st_shndx 标识的部分开头的偏移量。在可执行文件和共享对象文件中,st_value 包含虚拟地址 1。 为了使这些文件的符号对动态链接器更有用,段偏移(文件解释)让位于与段号无关的虚拟地址(存储器解释)。 st_size:许多符号具有相关尺寸。 例如,数据对象的大小是对象中包含的字节数。 如果符号没有大小或未知的大小,该成员将保持0。st_info:该成员指定符号的类型和绑定属性。 值和值的列表如下面两个表格所示。 以下代码显示了如何操作这些值。
#define ELF32_ST_BIND(i) ((i)>>4)#define ELF32_ST_TYPE(i) ((i)&0xf)#define ELF32_ST_INFO(b,t) (((b)<<4)+((t)&0xf))
A symbol’s binding determines the linkage visibility and behavior.In each symbol table, all symbols with STB_LOCAL binding precede the weak and global symbols. A symbol’s type provides a general classification for the associated entity. Figure 3-17, Symbol Types, ELF32_ST_TYPEst_other:该成员目前只有 0,没有定义。st_shndx:每个符号表条目与某些部分有关"定义"; 该成员保存相关部分标题表索引。 如上图3-7和3.3.1节所述,一些段索引表示特殊含义。
The symbols in ELF object files convey specific information to the linker and loader. See section 4, ARM- and Thumb-Specific Definitions, for a description of the actual linking model used in the system.
SHN_ABS:The symbol has an absolute value that will not change because of relocation.SHN_COMMON:The symbol labels a common block that has not yet been allocated. The symbol’s value gives alignment constraints, similar to a section’s sh_addralign member. That is, the link editor will allocate the storage for the symbol at an address that is a multiple of st_value. The symbol’s size tells how many bytes are required.SHN_UNDEF:This section table index means the symbol is undefined. When the link editor combines this object file with another that defines the indicated symbol, this file’s references to the symbol will be linked to the actual definition.
As mentioned above, the symbol table entry for index 0 (STN_UNDEF) is reserved. It is shown in Figure 3-18. Figure 3-18, Symbol Table Entry: Index 0
String table(字符串表)
字符串表节包含以 NULL(ASCII 码 0)结尾的字符序列,通常称为字符串。ELF 对象文件(Object File)通常使用字符串来表示符号和节名称。对字符串的引用通常以字符串在字符 串表中的下标给出。ARM结构中,字符串表与标准的 ELF 文件没有任何区别。
axf 文件
axf 文件是 ARM 的调试文件,其格式符合上一节讲的对象文件(Object File)格式(ELF)。其中除了包含了完整的 bin 文件外,还附加了其他的调试信息。在调试的时候,这些调试信息是不必下到 RAM 中去的,真正下到 RAM 中的信息仅仅是可执行代码。下图为 axf 文件的头部。
通过直接查看完整的 axf 文件可以看出,axf 中绝大多数都是和调试相关的内容。真正的 Bin 只是其中的一小部分。Bin 的结尾处在 axf 文件中也很容易找到,再次就不在赘述。
既然前面我们说了,axf 文件就是 ELF 文件格式,那么我们可以使用 readelf 工具,具体查看一下axf文件。下图是一个 axf 文件的节表
Bin文件
bin 文件是 ARM 的可执行文件,是最纯粹的二进制机器代码。与 HEX 文件包括地址信息的不同,BIN 文件格式只包括了数据本身。在烧写或下载 HEX 文件的时候,一般都不需要用户指定地址,因为 HEX 文件内部的信息已经包括了地址。而烧写 BIN 文件的时候,用户是一定需要指定地址信息的。
ARM 的 Bin 文件就是 axf 的精华部分(掐掉ELF头,去掉 .symtab、.debug和.symtab区里的信息)。下图是笔者使用 Winhex 截取的 ARM 的 Bin 文件的开头和结尾的示意图。
hex 文件
首先,hex 文件最初由 Intel 提出。在 Intel HEX 文件中,每一行是一个 HEX 记录,由十六进制数组成的机器码或者数据常量,Intel HEX 文件经常被用于将程序或数据传输存储到 ROM、EPROM,大多数编程器和模拟器使用 Intel HEX 文件。
hex 文件全部由可打印的 ASCII 字符组成。如下图就是 ARM-MDK5.22 生成的一个hex文件(部分)
从上图不难看出,hex 文件就是一个个的十六进制的字符串。实际上,一个 Intel HEX 文件可以包含任意多的十六进制记录,每条记录有五个域,每条记录都由一个冒号":"打头。一个数据记录以一个回车和一个换行结束。其格式如下:
:CCAAAARR[DD...]ZZ
其中:
CC:本条记录中数据(dd)的字节数目AAAA:本条记录中的数据在存储区中的起始地址RR:记录类型: 00 数据记录 (data record)01 文件结束记录 (end record)02 扩展段地址记录 (paragraph record)03 扩展线性地址记录 (transfer address record) DD… :数据域。表示一个字节的数据,一个记录可能有多个数据字节,字节数目可以 查看ll域的说明ZZ:效验和域,表示记录的效验和,计算方法是将本条记录冒号开始的所有字母对所表示的十六进制数字都加起来然后模除 256 得到的余数最后求出余数的补码即是本效验字节 cc。
举例如下:
:10400000781A00203D420008034C0008D14B0008FC
10: 长度 164000: 起始地址00: 表示数据记录78 ~ 08: 数据FC:校验和
参考
Tool Interface Standard (TIS) Executable and Linking Format (ELF) Specification Version 1.2ARM® Compiler v5.06 for µVision® Version 5 armlink User GuideARM® Compiler v5.06 for µVision® Version 5 armcc User GuideARM ELF File Format ARM DUI 00101-AARM ELF Development Systems Business Unit Engineering Software GroupELF for the ARM® Architecture下载 相关文档的 PDF 文档
如果觉得《ARM 之一 ELF 文件 镜像(Image)文件 可执行文件 对象文件 详解》对你有帮助,请点赞、收藏,并留下你的观点哦!