动态符号链接的细节

前言

Linux 支持动态链接库,不仅节省了磁盘、内存空间,而且可以提高程序运行效率。不过引入动态链接库也可能会带来很多问题,例如动态链接库的调试升级更新和潜在的安全威胁[1], [2]。这里主要讨论符号的动态链接过程,即程序在执行过程中,对其中包含的一些未确定地址的符号进行重定位的过程[1], [2]

本篇主要参考资料[3][8],前者侧重实践,后者侧重原理,把两者结合起来就方便理解程序的动态链接过程了。另外,动态链接库的创建、使用以及调用动态链接库的部分参考了资料[1], [2]

下面先来看看几个基本概念,接着就介绍动态链接库的创建、隐式和显示调用,最后介绍符号的动态链接细节。

基本概念

ELF

ELF 是 Linux 支持的一种程序文件格式,本身包含重定位、执行、共享(动态链接库)三种类型(man elf)。

代码:

  1. /* test.c */
  2. #include <stdio.h>
  3. int global = 0;
  4. int main()
  5. {
  6. char local = 'A';
  7. printf("local = %c, global = %d\n", local, global);
  8. return 0;
  9. }

演示:

通过 -c 生成可重定位文件 test.o,这里不会进行链接:

  1. $ gcc -c test.c
  2. $ file test.o
  3. test.o: ELF 32-bit LSB relocatable, Intel 80386, version 1 (SYSV), not stripped

链接后才可以执行:

  1. $ gcc -o test test.o
  2. $ file test
  3. test: ELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), dynamically linked (uses shared libs), not stripped

也可链接成动态链接库,不过一般不会把 main 函数链接成动态链接库,后面再介绍:

  1. $ gcc -fpic -shared -Wl,-soname,libtest.so.0 -o libtest.so.0.0 test.o
  2. $ file libtest.so.0.0
  3. libtest.so.0.0: ELF 32-bit LSB shared object, Intel 80386, version 1 (SYSV), not stripped

虽然 ELF 文件本身就支持三种不同的类型,不过它有一个统一的结构。这个结构是:

  1. 文件头部(ELF Header)
  2. 程序头部表(Program Header Table)
  3. 节区1(Section1)
  4. 节区2(Section2)
  5. 节区3(Section3)
  6. ...
  7. 节区头部表(Section Header Table)

无论是文件头部、程序头部表、节区头部表,还是节区,它们都对应着 C 语言里头的一些结构体(elf.h 中定义)。文件头部主要描述 ELF 文件的类型,大小,运行平台,以及和程序头部表和节区头部表相关的信息。节区头部表则用于可重定位文件,以便描述各个节区的信息,这些信息包括节区的名字、类型、大小等。程序头部表则用于描述可执行文件或者动态链接库,以便系统加载和执行它们。而节区主要存放各种特定类型的信息,比如程序的正文区(代码)、数据区(初始化和未初始化的数据)、调试信息、以及用于动态链接的一些节区,比如解释器(.interp)节区将指定程序动态装载 / 链接器 ld-linux.so 的位置,而过程链接表(plt)、全局偏移表(got)、重定位表则用于辅助动态链接过程。

符号

对于可执行文件除了编译器引入的一些符号外,主要就是用户自定义的全局变量,函数等,而对于可重定位文件仅仅包含用户自定义的一些符号。

  • 生成可重定位文件

    1. $ gcc -c test.c
    2. $ nm test.o
    3. 00000000 B global
    4. 00000000 T main
    5. U printf

    上面包含全局变量、自定义函数以及动态链接库中的函数,但不包含局部变量,而且发现这三个符号的地址都没有确定。

    注: nm 命令可用来查看 ELF 文件的符号表信息。

  • 生成可执行文件

  1. $ gcc -o test test.o
  2. $ nm test | egrep "main$| printf|global$"
  3. 080495a0 B global
  4. 08048354 T main
  5. U printf@@GLIBC_2.0
  6. 经链接,`global` `main` 的地址都已经确定了,但是 `printf` 却还没,因为它是动态链接库 `glibc` 中定义函数,需要动态链接,而不是这里的“静态”链接。

重定位:是将符号引用与符号定义进行链接的过程

从上面的演示可以看出,重定位文件 test.o 中的符号地址都是没有确定的,而经过静态链接(gcc 默认调用 ld 进行链接)以后有两个符号地址已经确定了,这样一个确定符号地址的过程实际上就是链接的实质。链接过后,对符号的引用变成了对地址(定义符号时确定该地址)的引用,这样程序运行时就可通过访问内存地址而访问特定的数据。

我们也注意到符号 printf 在可重定位文件和可执行文件中的地址都没有确定,这意味着该符号是一个外部符号,可能定义在动态链接库中,在程序运行时需要通过动态链接器(ld-linux.so)进行重定位,即动态链接。

通过这个演示可以看出 printf 确实在 glibc 中有定义。

  1. $ nm -D /lib/`uname -m`-linux-gnu/libc.so.6 | grep "\ printf$"
  2. 0000000000053840 T printf

除了 nm 以外,还可以用 readelf -s 查看 .dynsym 表或者用 objdump -tT 查看。

需要提到的是,用 nm 命令不带 -D 参数的话,在较新的系统上已经没有办法查看 libc.so 的符号表了,因为 nm 默认打印常规符号表(在 .symtab.strtab 节区中),但是,在打包时为了减少系统大小,这些符号已经被 strip 掉了,只保留了动态符号(在 .dynsym.dynstr 中)以便动态链接器在执行程序时寻址这些外部用到的符号。而常规符号除了动态符号以外,还包含有一些静态符号,比如说本地函数,这个信息主要是调试器会用,对于正常部署的系统,一般会用 strip 工具删除掉。

关于 nmreadelf -s 的详细比较,可参考:nm vs “readelf -s”

动态链接

动态链接就是在程序运行时对符号进行重定位,确定符号对应的内存地址的过程。

Linux 下符号的动态链接默认采用Lazy Mode方式,也就是说在程序运行过程中用到该符号时才去解析它的地址。这样一种符号解析方式有一个好处:只解析那些用到的符号,而对那些不用的符号则永远不用解析,从而提高程序的执行效率。

不过这种默认是可以通过设置 LD_BIND_NOW 为非空来打破的(下面会通过实例来分析这个变量的作用),也就是说如果设置了这个变量,动态链接器将在程序加载后和符号被使用之前就对这些符号的地址进行解析。

动态链接库

上面提到重定位的过程就是对符号引用和符号地址进行链接的过程,而动态链接过程涉及到的符号引用和符号定义分别对应可执行文件和动态链接库,在可执行文件中可能引用了某些动态链接库中定义的符号,这类符号通常是函数。

为了让动态链接器能够进行符号的重定位,必须把动态链接库的相关信息写入到可执行文件当中,这些信息是什么呢?

  1. $ readelf -d test | grep NEEDED
  2. 0x00000001 (NEEDED) Shared library: [libc.so.6]

ELF 文件有一个特别的节区: .dynamic,它存放了和动态链接相关的很多信息,例如动态链接器通过它找到该文件使用的动态链接库。不过,该信息并未包含动态链接库 libc.so.6 的绝对路径,那动态链接器去哪里查找相应的库呢?

通过 LD_LIBRARY_PATH 参数,它类似 Shell 解释器中用于查找可执行文件的 PATH 环境变量,也是通过冒号分开指定了各个存放库函数的路径。该变量实际上也可以通过 /etc/ld.so.conf 文件来指定,一行对应一个路径名。为了提高查找和加载动态链接库的效率,系统启动后会通过 ldconfig 工具创建一个库的缓存 /etc/ld.so.cache 。如果用户通过 /etc/ld.so.conf 加入了新的库搜索路径或者是把新库加到某个原有的库目录下,最好是执行一下 ldconfig 以便刷新缓存。

需要补充的是,因为动态链接库本身还可能引用其他的库,那么一个可执行文件的动态符号链接过程可能涉及到多个库,通过 readelf -d 可以打印出该文件直接依赖的库,而通过 ldd 命令则可以打印出所有依赖或者间接依赖的库。

  1. $ ldd test
  2. linux-gate.so.1 => (0xffffe000)
  3. libc.so.6 => /lib/libc.so.6 (0xb7da2000)
  4. /lib/ld-linux.so.2 (0xb7efc000)

libc.so.6 通过 readelf -d 就可以看到的,是直接依赖的库;而 linux-gate.so.1 在文件系统中并没有对应的库文件,它是一个虚拟的动态链接库,对应进程内存映像的内核部分,更多细节请参考资料[11]; 而 /lib/ld-linux.so.2 正好是动态链接器,系统需要用它来进行符号重定位。那 ldd 是怎么知道 /lib/ld-linux.so 就是该文件的动态链接器呢?

那是因为 ELF 文件通过专门的节区指定了动态链接器,这个节区就是 .interp

  1. $ readelf -x .interp test
  2. Hex dump of section '.interp':
  3. 0x08048114 2f6c6962 2f6c642d 6c696e75 782e736f /lib/ld-linux.so
  4. 0x08048124 2e3200 .2.

可以看到这个节区刚好有字符串 /lib/ld-linux.so.2,即 ld-linux.so 的绝对路径。

我们发现,与 libc.so 不同的是,ld-linux.so 的路径是绝对路径,而 libc.so 仅仅包含了文件名。原因是:程序被执行时,ld-linux.so 将最先被装载到内存中,没有其他程序知道去哪里查找 ld-linux.so,所以它的路径必须是绝对的;当 ld-linux.so 被装载以后,由它来去装载可执行文件和相关的共享库,它将根据 PATH 变量和 LD_LIBRARY_PATH 变量去磁盘上查找它们,因此可执行文件和共享库都可以不指定绝对路径。

下面着重介绍动态链接器本身。

动态链接器(dynamic linker/loader)

Linux 下 elf 文件的动态链接器是 ld-linux.so,即 /lib/ld-linux.so.2 。从名字来看和静态链接器 ldgcc 默认使用的链接器,见参考资料[10])类似。通过 man ld-linux 可以获取与动态链接器相关的资料,包括各种相关的环境变量和文件都有详细的说明。

对于环境变量,除了上面提到过的 LD_LIBRARY_PATHLD_BIND_NOW 变量外,还有其他几个重要参数,比如 LD_PRELOAD 用于指定预装载一些库,以便替换其他库中的函数,从而做一些安全方面的处理 [6][9][12],而环境变量 LD_DEBUG 可以用来进行动态链接的相关调试。

对于文件,除了上面提到的 ld.so.confld.so.cache 外,还有一个文件 /etc/ld.so.preload 用于指定需要预装载的库。

从上一小节中发现有一个专门的节区 .interp 存放有动态链接器,但是这个节区为什么叫做 .interpinterpeter呢?因为当 Shell 解释器或者其他父进程通过exec启动我们的程序时,系统会先为ld-linux创建内存映像,然后把控制权交给ld-linux,之后ld-linux负责为可执行程序提供运行环境,负责解释程序的运行,因此ld-linux也叫做dynamic loader(或intepreter`)(关于程序的加载过程请参考资料 [13]

那么在 exec ()之后和程序指令运行之前的过程是怎样的呢? ld-linux.so 主要为程序本身创建了内存映像(以下内容摘自资料 [8]),大体过程如下:

  • 将可执行文件的内存段添加到进程映像中;
  • 把共享目标内存段添加到进程映像中;
  • 为可执行文件和它的共享目标(动态链接库)执行重定位操作;
  • 关闭用来读入可执行文件的文件描述符,如果动态链接程序收到过这样的文件描述符的话;
  • 将控制转交给程序,使得程序好像从 exec() 直接得到控制

关于第 1 步,在 ELF 文件的文件头中就指定了该文件的入口地址,程序的代码和数据部分会相继 map 到对应的内存中。而关于可执行文件本身的路径,如果指定了 PATH 环境变量,ld-linux 会到 PATH 指定的相关目录下查找。

  1. $ readelf -h test | grep Entry
  2. Entry point address: 0x80482b0

对于第 2 步,上一节提到的 .dynamic 节区指定了可执行文件依赖的库名,ld-linux (在这里叫做动态装载器或程序解释器比较合适)再从 LD_LIBRARY_PATH 指定的路径中找到相关的库文件或者直接从 /etc/ld.so.cache 库缓冲中加载相关库到内存中。(关于进程的内存映像,推荐参考资料 [14]

对于第 3 步,在前面已提到,如果设置了 LD_BIND_NOW 环境变量,这个动作就会在此时发生,否则将会采用 lazy mode 方式,即当某个符号被使用时才会进行符号的重定位。不过无论在什么时候发生这个动作,重定位的过程大体是一样的(在后面将主要介绍该过程)。

对于第 4 步,这个主要是释放文件描述符。

对于第 5 步,动态链接器把程序控制权交还给程序。

现在关心的主要是第 3 步,即如何进行符号的重定位?下面来探求这个过程。期间会逐步讨论到和动态链接密切相关的三个数据结构,它们分别是 ELF 文件的过程链接表、全局偏移表和重定位表,这三个表都是 ELF 文件的节区。

过程链接表(plt)

从上面的演示发现,还有一个 printf 符号的地址没有确定,它应该在动态链接库 libc.so 中定义,需要进行动态链接。这里假设采用 lazy mode 方式,即执行到 printf 所在位置时才去解析该符号的地址。

假设当前已经执行到了 printf 所在位置,即 call printf,我们通过 objdump 反编译 test 程序的正文段看看。

  1. $ objdump -d -s -j .text test | grep printf
  2. 804837c: e8 1f ff ff ff call 80482a0 <printf@plt>

发现,该地址指向了 plt (即过程链接表)即地址 80482a0 处。下面查看该地址处的内容。

  1. $ objdump -D test | grep "80482a0" | grep -v call
  2. 080482a0 <printf@plt>:
  3. 80482a0: ff 25 8c 95 04 08 jmp *0x804958c

发现 80482a0 地址对应的是一条跳转指令,跳转到 0x804958c 地址指向的地址。到底 0x804958c 地址本身在什么地方呢?我们能否从 .dynamic 节区(该节区存放了和动态链接相关的数据)获取相关的信息呢?

  1. $ readelf -d test
  2. Dynamic section at offset 0x4ac contains 20 entries:
  3. Tag Type Name/Value
  4. 0x00000001 (NEEDED) Shared library: [libc.so.6]
  5. 0x0000000c (INIT) 0x8048258
  6. 0x0000000d (FINI) 0x8048454
  7. 0x00000004 (HASH) 0x8048148
  8. 0x00000005 (STRTAB) 0x80481c0
  9. 0x00000006 (SYMTAB) 0x8048170
  10. 0x0000000a (STRSZ) 76 (bytes)
  11. 0x0000000b (SYMENT) 16 (bytes)
  12. 0x00000015 (DEBUG) 0x0
  13. 0x00000003 (PLTGOT) 0x8049578
  14. 0x00000002 (PLTRELSZ) 24 (bytes)
  15. 0x00000014 (PLTREL) REL
  16. 0x00000017 (JMPREL) 0x8048240
  17. 0x00000011 (REL) 0x8048238
  18. 0x00000012 (RELSZ) 8 (bytes)
  19. 0x00000013 (RELENT) 8 (bytes)
  20. 0x6ffffffe (VERNEED) 0x8048218
  21. 0x6fffffff (VERNEEDNUM) 1
  22. 0x6ffffff0 (VERSYM) 0x804820c
  23. 0x00000000 (NULL) 0x0

发现 0x8049578 地址和 0x804958c 地址比较近,通过资料 [8] 查到前者正好是 .got.plt (即过程链接表)对应的全局偏移表的入口地址。难道 0x804958c 正好位于 .got.plt 节区中?

全局偏移表(got)

现在进入全局偏移表看看,

  1. $ readelf -x .got.plt test
  2. Hex dump of section '.got.plt':
  3. 0x08049578 ac940408 00000000 00000000 86820408 ................
  4. 0x08049588 96820408 a6820408 ........

从上述结果可以看出 0x804958c 地址(即 0x08049588+4)处存放的是 a6820408,考虑到我的实验平台是 i386,字节顺序是 little-endian 的,所以实际数值应该是 080482a6,也就是说 *0x804958c的值是080482a6,这个地址刚好是过程链接表的最后一项call 80482a0printf@plt80482a0地址往后偏移6 个字节,容易猜到该地址应该就是jmp` 指令的后一条地址。

  1. $ objdump -d -d -s -j .plt test | grep "080482a0 <printf@plt>:" -A 3
  2. 080482a0 <printf@plt>:
  3. 80482a0: ff 25 8c 95 04 08 jmp *0x804958c
  4. 80482a6: 68 10 00 00 00 push $0x10
  5. 80482ab: e9 c0 ff ff ff jmp 8048270 <_init+0x18>

80482a6 地址恰巧是一条 push 指令,随后是一条 jmp 指令(暂且不管 push 指令入栈的内容有什么意义),执行完 push 指令之后,就会跳转到 8048270 地址处,下面看看 8048270 地址处到底有哪些指令。

  1. $ objdump -d -d -s -j .plt test | grep -v "jmp 8048270 <_init+0x18>" | grep "08048270" -A 2
  2. 08048270 <__gmon_start__@plt-0x10>:
  3. 8048270: ff 35 7c 95 04 08 pushl 0x804957c
  4. 8048276: ff 25 80 95 04 08 jmp *0x8049580

同样是一条入栈指令跟着一条跳转指令。不过这两个地址 0x804957c0x8049580 是连续的,而且都很熟悉,刚好都在 .got.plt 表里头(从上面我们已经知道 .got.plt 的入口是 0x08049578)。这样的话,我们得确认这两个地址到底有什么内容。

  1. $ readelf -x .got.plt test
  2. Hex dump of section '.got.plt':
  3. 0x08049578 ac940408 00000000 00000000 86820408 ................
  4. 0x08049588 96820408 a6820408 ........

不过,遗憾的是通过 readelf 查看到的这两个地址信息都是 0,它们到底是什么呢?

现在只能求助参考资料 [8],该资料的“3.8.5 过程链接表”部分在介绍过程链接表和全局偏移表相互合作解析符号的过程中的三步涉及到了这两个地址和前面没有说明的 push $ 0x10 指令。

  • 在程序第一次创建内存映像时,动态链接器为全局偏移表的第二(0x804957c)和第三项(0x8049580)设置特殊值。
  • 原步骤 5。在跳转到 08048270 <__gmon_start__@plt-0x10>,即过程链接表的第一项之前,有一条压入栈指令,即push $0x10,0x10是相对于重定位表起始地址的一个偏移地址,这个偏移地址到底有什么用呢?它应该是提供给动态链接器的什么信息吧?后面再说明。
  • 原步骤 6。跳转到过程链接表的第一项之后,压入了全局偏移表中的第二项(即 0x804957c 处),“为动态链接器提供了识别信息的机会”(具体是什么呢?后面会简单提到,但这个并不是很重要),然后跳转到全局偏移表的第三项(0x8049580,这一项比较重要),把控制权交给动态链接器。

从这三步发现程序运行时地址 0x8049580 处存放的应该是动态链接器的入口地址,而重定位表 0x10 位置处和 0x804957c 处应该为动态链接器提供了解析符号需要的某些信息。

在继续之前先总结一下过程链接表和全局偏移表。上面的操作过程仅仅从“局部”看过了这两个表,但是并没有宏观地看里头的内容。下面将宏观的分析一下, 对于过程链接表:

  1. $ objdump -d -d -s -j .plt test
  2. 08048270 <__gmon_start__@plt-0x10>:
  3. 8048270: ff 35 7c 95 04 08 pushl 0x804957c
  4. 8048276: ff 25 80 95 04 08 jmp *0x8049580
  5. 804827c: 00 00 add %al,(%eax)
  6. ...
  7. 08048280 <__gmon_start__@plt>:
  8. 8048280: ff 25 84 95 04 08 jmp *0x8049584
  9. 8048286: 68 00 00 00 00 push $0x0
  10. 804828b: e9 e0 ff ff ff jmp 8048270 <_init+0x18>
  11. 08048290 <__libc_start_main@plt>:
  12. 8048290: ff 25 88 95 04 08 jmp *0x8049588
  13. 8048296: 68 08 00 00 00 push $0x8
  14. 804829b: e9 d0 ff ff ff jmp 8048270 <_init+0x18>
  15. 080482a0 <printf@plt>:
  16. 80482a0: ff 25 8c 95 04 08 jmp *0x804958c
  17. 80482a6: 68 10 00 00 00 push $0x10
  18. 80482ab: e9 c0 ff ff ff jmp 8048270 <_init+0x18>

除了该表中的第一项外,其他各项实际上是类似的。而最后一项 080482a0 <printf@plt> 和第一项我们都分析过,因此不难理解其他几项的作用。过程链接表没有办法单独工作,因为它和全局偏移表是关联的,所以在说明它的作用之前,先从总体上来看一下全局偏移表。

  1. $ readelf -x .got.plt test
  2. Hex dump of section '.got.plt':
  3. 0x08049578 ac940408 00000000 00000000 86820408 ................
  4. 0x08049588 96820408 a6820408 ........

比较全局偏移表中 0x08049584 处开始的数据和过程链接表第二项开始的连续三项中 push 指定所在的地址,不难发现,它们是对应的。而 0x0804958cpush 0x10 对应的地址我们刚才提到过(下一节会进一步分析),其他几项的作用类似,都是跳回到过程链接表的 push 指令处,随后就跳转到过程链接表的第一项,以便解析相应的符号(实际上过程链接表的第一个表项是进入动态链接器,而之前的连续两个指令则传送了需要解析的符号等信息)。另外 0x080495780x08049580 处分别存放有传递给动态链接库的相关信息和动态链接器本身的入口地址。但是还有一个地址 0x08049578,这个地址刚好是 .dynamic 的入口地址,该节区存放了和动态链接过程相关的信息,资料 [8] 提到这个表项实际上保留给动态链接器自己使用的,以便在不依赖其他程序的情况下对自己进行初始化,所以下面将不再关注该表项。

  1. $ objdump -D test | grep 080494ac
  2. 080494ac <_DYNAMIC>:

重定位表

这里主要接着上面的 push 0x10 指令来分析。通过资料 [8] 发现重定位表包含如何修改其他节区的信息,以便动态链接器对某些节区内的符号地址进行重定位(修改为新的地址)。那到底重定位表项提供了什么样的信息呢?

  • 每一个重定位项有三部分内容,我们重点关注前两部分。
  • 第一部分是 r_offset,这里考虑的是可执行文件,因此根据资料发现,它的取值是被重定位影响(可以说改变或修改)到的存储单元的虚拟地址。
  • 第二部分是 r_info,此成员给出要进行重定位的符号表索引(重定位表项引用到的符号表),以及将实施的重定位类型(如何进行符号的重定位)。(Type)。

先来看看重定位表的具体内容,

  1. $ readelf -r test
  2. Relocation section '.rel.dyn' at offset 0x238 contains 1 entries:
  3. Offset Info Type Sym.Value Sym. Name
  4. 08049574 00000106 R_386_GLOB_DAT 00000000 __gmon_start__
  5. Relocation section '.rel.plt' at offset 0x240 contains 3 entries:
  6. Offset Info Type Sym.Value Sym. Name
  7. 08049584 00000107 R_386_JUMP_SLOT 00000000 __gmon_start__
  8. 08049588 00000207 R_386_JUMP_SLOT 00000000 __libc_start_main
  9. 0804958c 00000407 R_386_JUMP_SLOT 00000000 printf

仅仅关注和过程链接表相关的 .rel.plt 部分,0x10 刚好是 1*16+0*1,即 16 字节,作为重定位表的偏移,刚好对应该表的第三行。发现这个结果中竟然包含了和 printf 符号相关的各种信息。不过重定位表中没有直接指定符号 printf,而是根据 r_info 部分从动态符号表中计算出来的,注意观察上述结果中的 Info 一列的 1,2,4 和下面结果的 Num 列的对应关系。

  1. $ readelf -s test | grep ".dynsym" -A 6
  2. Symbol table '.dynsym' contains 5 entries:
  3. Num: Value Size Type Bind Vis Ndx Name
  4. 0: 00000000 0 NOTYPE LOCAL DEFAULT UND
  5. 1: 00000000 0 NOTYPE WEAK DEFAULT UND __gmon_start__
  6. 2: 00000000 410 FUNC GLOBAL DEFAULT UND __libc_start_main@GLIBC_2.0 (2)
  7. 3: 08048474 4 OBJECT GLOBAL DEFAULT 14 _IO_stdin_used
  8. 4: 00000000 57 FUNC GLOBAL DEFAULT UND printf@GLIBC_2.0 (2)

也就是说在执行过程链接表中的第一项的跳转指令(jmp *0x8049580)调用动态链接器以后,动态链接器因为有了 push 0x10,从而可以通过该重定位表项中的 r_info 找到对应符号(printf)在符号表(.dynsym)中的相关信息。

除此之外,符号表中还有 Offsetr_offset以及Type这两个重要信息,前者表示该重定位操作后可能影响的地址0804958c,这个地址刚好是got表项的最后一项,原来存放的是push 0x10指令的地址。这意味着,该地址处的内容将被修改,而如何修改呢?根据Type类型R_386_JUMP_SLOT`,通过资料 [8] 查找到该类型对应的说明如下(原资料有误,下面做了修改):链接编辑器创建这种重定位类型主要是为了支持动态链接。其偏移地址成员给出过程链接表项的位置。动态链接器修改全局偏移表项的内容,把控制传输给指定符号的地址。

这说明,动态链接器将根据该类型对全局偏移表中的最有一项,即 0804958c 地址处的内容进行修改,修改为符号的实际地址,即 printf 函数在动态链接库的内存映像中的地址。

到这里,动态链接的宏观过程似乎已经了然于心,不过一些细节还是不太清楚。

下面先介绍动态链接库的创建,隐式调用和显示调用,接着进一步澄清上面还不太清楚的细节,即全局偏移表中第二项到底传递给了动态链接器什么信息?第三项是否就是动态链接器的地址?并讨论通过设置 LD_BIND_NOW 而不采用默认的 lazy mode 进行动态链接和采用 lazy mode 动态链接的区别?

动态链接库的创建和调用

在介绍动态符号链接的更多细节之前,先来了解一下动态链接库的创建和两种使用方法,进而引出符号解析的后台细节。

创建动态链接库

首先来创建一个简单动态链接库。

代码:

  1. /* myprintf.c */
  2. #include <stdio.h>
  3. int myprintf(char *str)
  4. {
  5. printf("%s\n", str);
  6. return 0;
  7. }
  1. /* myprintf.h */
  2. #ifndef _MYPRINTF_H
  3. #define _MYPRINTF_H
  4. int myprintf(char *);
  5. #endif

演示:

  1. $ gcc -c myprintf.c
  2. $ gcc -shared -Wl,-soname,libmyprintf.so.0 -o libmyprintf.so.0.0 myprintf.o
  3. $ ln -sf libmyprintf.so.0.0 libmyprintf.so.0
  4. $ ln -fs libmyprintf.so.0 libmyprintf.so
  5. $ ls
  6. libmyprintf.so libmyprintf.so.0 libmyprintf.so.0.0 myprintf.c myprintf.h myprintf.o

得到三个文件 libmyprintf.solibmyprintf.so.0libmyprintf.so.0.0,这些库暂且存放在当前目录下。这里有一个问题值得关注,那就是为什么要创建两个符号链接呢?答案是为了在不影响兼容性的前提下升级库 [5]

隐式使用该库

现在写一段代码来使用该库,调用其中的 myprintf 函数,这里是隐式使用该库:在代码中并没有直接使用该库,而是通过调用 myprintf 隐式地使用了该库,在编译引用该库的可执行文件时需要通过 -l 参数指定该库的名字。

  1. /* test.c */
  2. #include <stdio.h>
  3. #include <myprintf.h>
  4. int main()
  5. {
  6. myprintf("Hello World");
  7. return 0;
  8. }

编译:

  1. $ gcc -o test test.c -lmyprintf -L./ -I./

直接运行 test,提示找不到该库,因为库的默认搜索路径里头没有包含当前目录:

  1. $ ./test
  2. ./test: error while loading shared libraries: libmyprintf.so: cannot open shared object file: No such file or directory

如果指定库的搜索路径,则可以运行:

  1. $ LD_LIBRARY_PATH=$PWD ./test
  2. Hello World

显式使用库

LD_LIBRARY_PATH 环境变量使得库可以放到某些指定的路径下面,而无须在调用程序中显式的指定该库的绝对路径,这样避免了把程序限制在某些绝对路径下,方便库的移动。

虽然显式调用有不便,但是能够避免隐式调用搜索路径的时间消耗,提高效率,除此之外,显式调用为我们提供了一组函数调用,让符号的重定位过程一览无遗。

  1. /* test1.c */
  2. #include <dlfcn.h> /* dlopen, dlsym, dlerror */
  3. #include <stdlib.h> /* exit */
  4. #include <stdio.h> /* printf */
  5. #define LIB_SO_NAME "./libmyprintf.so"
  6. #define FUNC_NAME "myprintf"
  7. typedef int (*func)(char *);
  8. int main(void)
  9. {
  10. void *h;
  11. char *e;
  12. func f;
  13. h = dlopen(LIB_SO_NAME, RTLD_LAZY);
  14. if ( !h ) {
  15. printf("failed load libary: %s\n", LIB_SO_NAME);
  16. exit(-1);
  17. }
  18. f = dlsym(h, FUNC_NAME);
  19. e = dlerror();
  20. if (e != NULL) {
  21. printf("search %s error: %s\n", FUNC_NAME, LIB_SO_NAME);
  22. exit(-1);
  23. }
  24. f("Hello World");
  25. exit(0);
  26. }

演示:

  1. $ gcc -o test1 test1.c -ldl

这种情况下,无须包含头文件。从这个代码中很容易看出符号重定位的过程:

  • 首先通过 dlopen 找到依赖库,并加载到内存中,再返回该库的 handle,通过 dlopen 我们可以指定 RTLD_LAZY 采用 lazy mode 动态链接模式,如果采用 RTLD_NOW 则和隐式调用时设置 LD_BIN_NOW 类似。
  • 找到该库以后就是对某个符号进行重定位,这里是确定 myprintf 函数的地址。
  • 找到函数地址以后就可以直接调用该函数了。

关于 dlopendlsym 等后台工作细节建议参考资料 [15]

隐式调用的动态符号链接过程和上面类似。下面通过一些实例来确定之前没有明确的两个内容:即全局偏移表中的第二项和第三项,并进一步讨论lazy mode和非lazy mode的区别。

动态链接过程

因为通过 ELF 文件,我们就可以确定全局偏移表的位置,因此为了确定全局偏移表位置的第三项和第四项的内容,有两种办法:

  • 通过 gdb 调试。
  • 直接在函数内部打印。

因为资料[3]详细介绍了第一种方法,这里试着通过第二种方法来确定这两个地址的值。

  1. /**
  2. * got.c -- get the relative content of the got(global offset table) of an elf file
  3. */
  4. #include <stdio.h>
  5. #define GOT 0x8049614
  6. int main(int argc, char *argv[])
  7. {
  8. long got2, got3;
  9. long old_addr, new_addr;
  10. got2=*(long *)(GOT+4);
  11. got3=*(long *)(GOT+8);
  12. old_addr=*(long *)(GOT+24);
  13. printf("Hello World\n");
  14. new_addr=*(long *)(GOT+24);
  15. printf("got2: 0x%0x, got3: 0x%0x, old_addr: 0x%0x, new_addr: 0x%0x\n",
  16. got2, got3, old_addr, new_addr);
  17. return 0;
  18. }

在写好上面的代码后就需要确定全局偏移表的地址,然后把该地址设置为代码中的宏 GOT

  1. $ make got
  2. $ readelf -d got | grep PLTGOT
  3. 0x00000003 (PLTGOT) 0x8049614

:这里假设大家用的都是 i386 的系统,如果要在 X86_64 位系统上要编译生成 i386 上的可执行文件,需要给 gcc 传递一个 -m32 参数,例如:

  1. $ gcc -m32 -o got got.c

把地址 0x8049614 替换到上述代码中,然后重新编译运行,查看结果。

  1. $ make got
  2. $ Hello World
  3. got2: 0xb7f376d8, got3: 0xb7f2ef10, old_addr: 0x80482da, new_addr: 0xb7e19a20
  4. $ ./got
  5. Hello World
  6. got2: 0xb7f1e6d8, got3: 0xb7f15f10, old_addr: 0x80482da, new_addr: 0xb7e00a20

通过两次运行,发现全局偏移表中的这两项是变化的,并且 printf 的地址对应的 new_addr 也是变化的,说明 libcld-linux 这两个库启动以后对应的虚拟地址并不确定。因此,无法直接跟踪到那个地址处的内容,还得借助调试工具,以便确认它们。

下面重新编译 got,加上 -g 参数以便调试,并通过调试确认 got2got3,以及调用 printf 前后 printf 地址的重定位情况。

  1. $ gcc -g -o got got.c
  2. $ gdb -q ./got
  3. (gdb) l
  4. 5 #include <stdio.h>
  5. 6
  6. 7 #define GOT 0x8049614
  7. 8
  8. 9 int main(int argc, char *argv[])
  9. 10 {
  10. 11 long got2, got3;
  11. 12 long old_addr, new_addr;
  12. 13
  13. 14 got2=*(long *)(GOT+4);
  14. (gdb) l
  15. 15 got3=*(long *)(GOT+8);
  16. 16 old_addr=*(long *)(GOT+24);
  17. 17
  18. 18 printf("Hello World\n");
  19. 19
  20. 20 new_addr=*(long *)(GOT+24);
  21. 21
  22. 22 printf("got2: 0x%0x, got3: 0x%0x, old_addr: 0x%0x, new_addr: 0x%0x\n",
  23. 23 got2, got3, old_addr, new_addr);
  24. 24

在第一个 printf 处设置一个断点:

  1. (gdb) break 18
  2. Breakpoint 1 at 0x80483c3: file got.c, line 18.

在第二个 printf 处设置一个断点:

  1. (gdb) break 22
  2. Breakpoint 2 at 0x80483dd: file got.c, line 22.

运行到第一个 printf 之前会停止:

  1. (gdb) r
  2. Starting program: /mnt/hda8/Temp/c/program/got
  3. Breakpoint 1, main () at got.c:18
  4. 18 printf("Hello World\n");

查看执行 printf 之前的全局偏移表内容:

  1. (gdb) x/8x 0x8049614
  2. 0x8049614 <_GLOBAL_OFFSET_TABLE_>: 0x08049548 0xb7f3c6d8 0xb7f33f10 0x080482aa
  3. 0x8049624 <_GLOBAL_OFFSET_TABLE_+16>: 0xb7ddbd20 0x080482ca 0x080482da 0x00000000

查看 GOT 表项的最有一项,发现刚好是 PLT 表中 push 指令的地址:

  1. (gdb) disassemble 0x080482da
  2. Dump of assembler code for function puts@plt:
  3. 0x080482d4 <puts@plt+0>: jmp *0x804962c
  4. 0x080482da <puts@plt+6>: push $0x18
  5. 0x080482df <puts@plt+11>: jmp 0x8048294 <_init+24>

说明此时还没有进行进行符号的重定位,不过发现并非 printf,而是 puts(1)

接着查看 GOT 第三项的内容,刚好是 dl-linux 对应的代码:

  1. (gdb) disassemble 0xb7f33f10
  2. Dump of assembler code for function _dl_runtime_resolve:
  3. 0xb7f33f10 <_dl_runtime_resolve+0>: push %eax
  4. 0xb7f33f11 <_dl_runtime_resolve+1>: push %ecx
  5. 0xb7f33f12 <_dl_runtime_resolve+2>: push %edx

可通过 nm /lib/ld-linux.so.2 | grep _dl_runtime_resolve 进行确认。

然后查看 GOT 表第二项处的内容,看不出什么特别的信息,反编译时提示无法反编译:

  1. (gdb) x/8x 0xb7f3c6d8
  2. 0xb7f3c6d8: 0x00000000 0xb7f39c3d 0x08049548 0xb7f3c9b8
  3. 0xb7f3c6e8: 0x00000000 0xb7f3c6d8 0x00000000 0xb7f3c9a4

*(0xb7f33f10) 指向的代码处设置一个断点,确认它是否被执行:

  1. (gdb) break *(0xb7f33f10)
  2. break *(0xb7f33f10)
  3. Breakpoint 3 at 0xb7f3cf10
  4. (gdb) c
  5. Continuing.
  6. Breakpoint 3, 0xb7f3cf10 in _dl_runtime_resolve () from /lib/ld-linux.so.2

继续运行,直到第二次调用 printf

  1. (gdb) c
  2. Continuing.
  3. Hello World
  4. Breakpoint 2, main () at got.c:22
  5. 22 printf("got2: 0x%0x, got3: 0x%0x, old_addr: 0x%0x, new_addr: 0x%0x\n",

再次查看 GOT 表项,发现 GOT 表的最后一项的值应该被修改:

  1. (gdb) x/8x 0x8049614
  2. 0x8049614 <_GLOBAL_OFFSET_TABLE_>: 0x08049548 0xb7f3c6d8 0xb7f33f10 0x080482aa
  3. 0x8049624 <_GLOBAL_OFFSET_TABLE_+16>: 0xb7ddbd20 0x080482ca 0xb7e1ea20 0x00000000

查看 GOT 表最后一项,发现变成了 puts 函数的代码,说明进行了符号 puts 的重定位(2):

  1. (gdb) disassemble 0xb7e1ea20
  2. Dump of assembler code for function puts:
  3. 0xb7e1ea20 <puts+0>: push %ebp
  4. 0xb7e1ea21 <puts+1>: mov %esp,%ebp
  5. 0xb7e1ea23 <puts+3>: sub $0x1c,%esp

通过演示发现一个问题(1)(2),即本来调用的是 printf,为什么会进行 puts 的重定位呢?通过 gcc -S 参数编译生成汇编代码后发现,gccprintf 替换成了 puts,因此不难理解程序运行过程为什么对 puts 进行了重定位。

从演示中不难发现,当符号被使用到时才进行重定位。因为通过调试发现在执行 printf 之后,GOT 表项的最后一项才被修改为 printf (确切的说是 puts)的地址。这就是所谓的 lazy mode 动态符号链接方式。

除此之外,我们容易发现 GOT 表第三项确实是 ld-linux.so 中的某个函数地址,并且发现在执行 printf 语句之前,先进入了 ld-linux.so_dl_runtime_resolve 函数,而且在它返回之后,GOT 表的最后一项才变为 printfputs)的地址。

本来打算通过第一个断点确认第二次调用 printf 时不再需要进行动态符号链接的,不过因为 gcc 把第一个替换成了 puts,所以这里没有办法继续调试。如果想确认这个,你可以通过写两个一样的 printf 语句看看。实际上第一次链接以后,GOT 表的第三项已经修改了,当下次再进入过程链接表,并执行 jmp *(全局偏移表中某一个地址) 指令时,*(全局偏移表中某一个地址) 已经被修改为了对应符号的实际地址,这样 jmp 语句会自动跳转到符号的地址处运行,执行具体的函数代码,因此无须再进行重定位。

到现在 GOT 表中只剩下第二项还没有被确认,通过资料 [3] 我们发现,该项指向一个 link_map 类型的数据,是一个鉴别信息,具体作用对我们来说并不是很重要,如果想了解,请参考资料 [16]

下面通过设置 LD_BIND_NOW 再运行一下 got 程序并查看结果,比较它与默认的动态链接方式(lazy mode)的异同。

  • 设置 LD_BIND_NOW 环境变量的运行结果

    1. $ LD_BIND_NOW=1 ./got
    2. Hello World
    3. got2: 0x0, got3: 0x0, old_addr: 0xb7e61a20, new_addr: 0xb7e61a20
  • 默认情况下的运行结果

    1. $ ./got
    2. Hello World
    3. got2: 0xb7f806d8, got3: 0xb7f77f10, old_addr: 0x80482da, new_addr: 0xb7e62a20

通过比较容易发现,在非 lazy mode (设置 LD_BIND_NOW 后)下,程序运行之前符号的地址就已经被确定,即调用 printf 之前 GOT 表的最后一项已经被确定为了 printf 函数对应的地址,即 0xb7e61a20,因此在程序运行之后,GOT 表的第二项和第三项就保持为 0,因为此时不再需要它们进行符号的重定位了。通过这样一个比较,就更容易理解 lazy mode 的特点了:在用到的时候才解析。

到这里,符号动态链接的细节基本上就已经清楚了。

参考资料