gcc不是一个人在战斗，了解EFF文件格式

一、gcc不是一个人在战斗

GCC（GNU C Compiler）是编译工具。本文所要介绍的将 C/C++语言编写的程序转换成为处理器能够执行的二进制代码的过程即由编译器完成。

1、Binutils

一组二进制程序处理工具，包括：addr2line、ar、objcopy、objdump、as、ld、ldd、readelf、 size 等。这 一组工具 是开发和 调试不可 缺少的工具 ，分别简 介如下：
(1) addr2line：用 来将程序 地址转 换成其所 对应的程 序源文 件及所对 应的代 码行，也可以得到所对应的函数。该工具将帮助调试器在调试的过程中定位对应的源代码位置。
(2) as：主要用于汇编。
(3) ld：主要用于链接。
(4) ar：主要用于创建静态库。
(5) ldd：可以用于查看一个可执行程序依赖的共享库。
(6) objcopy：将一种对象文件翻译成另一种格式，譬如将.bin 转换成.elf、或
者将.elf 转换成.bin。
(7) objdump：主要的作用是反汇编。
(8) readelf：显示有关 ELF 文件的信息。
(9) size：列出可执行文件每个部分的尺寸和总尺寸，代码段、数据段、总大小等。

2、C运行库

C 语言标准主要由两部分组成：一部分描述 C 的语法，另一部分描述 C 标准库。C 标准库定义了一组标准头文件，每个头文件中包含一些相关的函数、变量、类型声明和宏定义，譬如常见的 printf 函数便是一个 C 标准库函数，其原型定义在 stdio 头文件中。
C 语言标准仅仅定义了 C 标准库函数原型，并没有提供实现。因此，C 语言编译器通常需要一个 C 运行时库（C Run Time Libray，CRT）的支持。C 运行时库又常简称为 C 运行库。与 C 语言类似，C++也定义了自己的标准，同时提供相关支持库，称为 C++运行时库。

二、gcc编译器的运行

1、准备编译程序

用vim编辑器编写一个简单的C语言程序

2、预处理

(1) 将所有的#define 删除，并且展开所有的宏定义，并且处理所有的条件预编
译指令，比如#if #ifdef #elif #else #endif 等。
(2) 处理#include 预编译指令，将被包含的文件插入到该预编译指令的位置。
(3) 删除所有注释“//”和“/* */”。
(4) 添加行号和文件标识，以便编译时产生调试用的行号及编译错误警告行号。
(5) 保留所有的#pragma 编译器指令，后续编译过程需要使用它们。
使用gcc命令gcc -E main.c -o main.i将文件处理为.i格式

3、编译

汇编过程调用对汇编代码进行处理，生成处理器能识别的指令，保存在后缀为.o的目标文件中。由于每一个汇编语句几乎都对应一条处理器指令，因此，汇编相对于编译过程比较简单，通过调用 Binutils 中的汇编器 as 根据汇编指令和处理，器指令的对照表一一翻译即可。
当程序由多个源代码文件构成时，每个文件都要先完成汇编工作，生成.o 目标文件后，才能进入下一步的链接工作。注意：目标文件已经是最终程序的某一部分了，但是在链接之前还不能执行。
将.i文件编译生成.s文件
gcc命令：gcc -S main.i -o main.s

将main.s文件汇编成.o文件，在终端窗输入gcc -c main.s -o main.o

4、链接

链接也分为静态链接和动态链接，其要点如下：
(1) 静态链接是指在编译阶段直接把静态库加入到可执行文件中去，这样可执行文件会比较大。链接器将函数的代码从其所在地（不同的目标文件或静态链接库中）拷贝到最终的可执行程序中。为创建可执行文件，链接器必须要完成的主要任务是：符号解析（把目标文件中符号的定义和引用联系起来）和重定位（把符号定义和内存地址对应起来然后修改所有对符号的引用）。
(2) 动态链接则是指链接阶段仅仅只加入一些描述信息，而程序执行时再从系统中把相应动态库加载到内存中去。
~在 Linux 系 统中，gcc 编 译链 接时 的动 态库 搜索 路径 的 顺序 通常 为：首 先从 gcc 命 令的参 数-L 指 定的 路径 寻找 ；再 从环 境变 量 LIBRARY_PATH 指 定的 路径 寻址；再 从默 认路 径/lib、/usr/lib、 /usr/local/lib 寻找 。
~在 Linux 系 统中，执 行二 进制 文件 时的 动态 库搜 索路 径的 顺序 通常 为：首 先搜 索编 译目标 代码 时指 定的 动态 库搜 索路 径；再 从环 境变 量 LD_LIBRARY_PATH 指 定的 路径 寻址；再从 配置 文件/etc/ld.so.conf 中 指定 的动 态库 搜索 路径 ；再 从默 认路 径/lib、/usr/lib寻找 。
~在 Linux 系统中，可以用ldd令查看 一个可执行程序依赖的共享库。
使用动态库链接命令gcc main.c -o main

同时可以用ldd main查看该文件链接的其他动态库
还可以输入size main查看链接动态库生成的ELF可执行文件的大小

使用gcc -static main.c -o main使用静态库链接

同样可以使用上述命令查看来链接其他的动态库和ELF可执行文件的大小。

四、分析ELF文件

1、ELF文件的段

ELF 文件格式如下图所示，位于 ELF Header 和 Section Header Table 之间的都是段（Section）。一个典型的 ELF 文件包含下面几个段：
.text：已编译程序的指令代码段。
.rodata：ro 代表 read only，即只读数据（譬如常数 const）。
.data：已初始化的 C 程序全局变量和静态局部变量。
.bss：未初始化的 C 程序全局变量和静态局部变量。
.debug：调试符号表，调试器用此段的信息帮助调试。

2、反汇编

由于 ELF 文件无法被当做普通文本文件打开，如果希望直接查看一个 ELF 文件包含的指令和数据，需要使用反汇编的方法。
使用 objdump -S 将其反汇编并且将其 C 语言源代码混合显示出来：
gcc -o hello -g hello.c //要加上-g 选项
objdump -S hello