【无标题】

本文详细介绍了Linux GCC的常用命令,包括预处理、编译、汇编和链接四个步骤,并探讨了ELF文件格式,包括其段和反汇编。同时,解释了静态链接和动态链接的区别,以及动态库的搜索路径。此外,文章还提到了调试工具如addr2line、objdump和readelf等在开发和调试过程中的作用。
摘要由CSDN通过智能技术生成

一、Linux GCC常用命令

1、简介

GCC: GCC(GNU C Compiler)是编译工具。本文所要介绍的将 C/C++语言编写的程序转换成为处理器能够执行的二进制代码的过程即由编译器完成。
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 :列出可执行文件每个部分的尺寸和总尺寸,代码段、数据段、总大小 等。
C 运行库
C 语言标准主要由两部分组成:一部分描述 C 的语法,另一部分描述 C 标准库。 C 标准库定义了一组标准头文件,每个头文件中包含一些相关的函数、变量、类 型声明和宏定义,譬如常见的 printf 函数便是一个 C 标准库函数,其原型定义 在 stdio 头文件中。 C 语言标准仅仅定义了 C 标准库函数原型,并没有提供实现。因此,C 语言编译 器通常需要一个 C 运行时库(C Run Time Libray,CRT)的支持。C 运行时库又 常简称为 C 运行库。与 C 语言类似,C++也定义了自己的标准,同时提供相关支持库,称为 C++运行时库。

2、编译过程

(1)预处理

预处理的过程主要包括以下过程:
(1) 将所有的#define 删除,并且展开所有的宏定义,并且处理所有的条件预编译指令。
(2) 处理#include 预编译指令,将被包含的文件插入到该预编译指令的位置。
(3) 删除所有注释“//”和“/* */”。
(4) 添加行号和文件标识,以便编译时产生调试用的行号及编译错误警告行号。
(5) 保留所有的#pragma 编译器指令,后续编译过程需要使用它们。
使用 gcc 进行预处理的命令如下:
$ gcc -E hello.c -o hello.i
// 将源文件 hello.c 文件预处理生成 hello.i
// GCC 的选项-E 使 GCC 在进行完预处理后即停止

(2)编译

编译过程就是对预处理完的文件进行一系列的词法分析,语法分析,语义分析及
优化后生成相应的汇编代码。
使用 gcc 进行编译的命令如下:
$ gcc -S hello.i -o hello.s
// 将预处理生成的 hello.i 文件编译生成汇编程序 hello.s
// GCC 的选项-S 使 GCC 在执行完编译后停止,生成汇编程序

(3)汇编

汇编过程调用对汇编代码进行处理,生成处理器能识别的指令,保存在后缀为.o
的目标文件中。由于每一个汇编语句几乎都对应一条处理器指令,因此,汇编相
对于编译过程比较简单,通过调用 Binutils 中的汇编器 as 根据汇编指令和处理
器指令的对照表一一翻译即可。
当程序由多个源代码文件构成时,每个文件都要先完成汇编工作,生成.o 目标
文件后,才能进入下一步的链接工作。注意:目标文件已经是最终程序的某一部
分了,但是在链接之前还不能执行。
使用 gcc 进行汇编的命令如下:
$ gcc -c hello.s -o hello.o
// 将编译生成的 hello.s 文件汇编生成目标文件 hello.o
// GCC 的选项-c 使 GCC 在执行完汇编后停止,生成目标文件
//或者直接调用 as 进行汇编
$ as -c hello.s -o hello.o //使用 Binutils 中的 as 将 hello.s 文件汇编生成目标文件
注意:hello.o 目标文件为 ELF(Executable and Linkable Format)格式的可
重定向文件。

(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 命令 查看 一个 可执 行程 序依 赖的 共享 库。 由于链接动态库和静态库的路径可能有重合,所以如果在路径中有同名的静态库文件和动
态库文件,比如 libtest.a 和 libtest.so,gcc 链接时默认优先选择动态库,会链接
libtest.so,如果要让 gcc 选择链接 libtest.a 则可以指定 gcc 选项-static,该选项会强
制使用静态库进行链接。以 Hello World 为例:
如果使用命令“gcc hello.c -o hello”则会使用动态库进行链接,生成的
ELF 可执行文件的大小(使用 Binutils 的 size 命令查看)和链接的动态库
(使用 Binutils 的 ldd 命令查看)如下所示:
$ gcc hello.c -o hello
$ size hello //使用 size 查看大小
text data bss dec hex filename
1183 552 8 1743 6cf hello
$ ldd hello //可以看出该可执行文件链接了很多其他动态库,主要是 Linux 的 glibc
动态库
linux-vdso.so.1 => (0x00007fffefd7c000)
libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007fadcdd82000)
/lib64/ld-linux-x86-64.so.2 (0x00007fadce14c000)
如 果 使 用 命 令 “ gcc -static hello.c -o hello”则 会 使 用 静 态 库 进 行 链 接 ,
生成的 ELF 可执行文件的大小(使用 Binutils 的 size 命令查看)和链接的
动态库(使用 Binutils 的 ldd 命令查看)如下所示:
$ gcc -static hello.c -o hello
$ size hello //使用 size 查看大小
text data bss dec hex filename
823726 7284 6360 837370 cc6fa hello //可以看出 text 的代码尺寸
变得极大
$ ldd hello
not a dynamic executable //说明没有链接动态库
链接器链接后生成的最终文件为 ELF 格式可执行文件,一个 ELF 可执行文件通常
被链接为不同的段,常见的段譬如.text、.data、.rodata、.bss 等段。

二、ELF文件格式

1.ELF 文件的段

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

可以使用 readelf -S 查看其各个 section 的信息如下:

readelf -S helloworld

在这里插入图片描述

2.反汇编

ELF 由于 ELF 文件无法被当做普通文本文件打开,如果希望直接查看一个 ELF 文件包 含的指令和数据,需要使用反汇编的方法。
使用 objdump -D 对其进行反汇编如下:

objdump -D helloworld

反汇编内容(一部分):

4b4621: 41 0e rex.B (bad)
4b4623: 10 83 02 4d 0e 20 adc %al,0x200e4d02(%rbx)
4b4629: 02 b3 0e 28 41 0e add 0xe41280e(%rbx),%dh
4b462f: 30 5f 0e xor %bl,0xe(%rdi)
4b4632: 28 41 0e sub %al,0xe(%rcx)
4b4635: 20 77 0a and %dh,0xa(%rdi)
4b4638: 0e (bad)
4b4639: 10 41 0e adc %al,0xe(%rcx)
4b463c: 08 46 0b or %al,0xb(%rsi)
4b463f: 00 58 00 add %bl,0x0(%rax)
4b4642: 00 00 add %al,(%rax)
4b4644: 68 92 00 00 e8 pushq $0xffffffffe8000092
4b4649: 0c fd or $0xfd,%al
4b464b: ff 19 lcall *(%rcx)

使用 objdump -S 将其反汇编并且将其 C 语言源代码混合显示出来:

gcc -o helloworld -g helloworld.c

要加上-g 选项

objdump -S helloworld

三、总结

Linux命令多而复杂,在需要的时候可以在网上查询资料,ELF文件格式也是重要内容,需要深度学习

四、参考资料

GCC编译器背后的故事
Linux GCC常用命令

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值