got plt类似与Windows PE文件中IAT(Import Address Table)。

要使的代码地址无关,基本思想就是把与地址相关的部分放到数据段里面。

ELF的做法是在数据段里面建立一个指向这些变量的指针数组,称为全局偏移表(Global Offset Table,GOT),当代码需要引用该全局变量时,可以通过GOT中相对应的项间接引用。

GOT本身是放在数据段,所以可以在模块加载时被修改。延迟绑定,基本思想就是当函数第一次被用到时才进行绑定

一段非常简单的代码:

#include <stdio.h>
#include <stdlib.h> int helloWorld(){
printf("HelloWorld\n");
return ;
} int main(){
helloWorld();
return ;
}

got &amp; plt-LMLPHP

got &amp; plt-LMLPHP

第一条指令是通过GOT间接跳转的指令。如果连接器在初始化阶段已经初始化该项,并且将puts()的地址填充入该项,那么这个跳转指令的结果就是我们所期望的,跳转到puts(),实现函数正确调用。

但是为了实现延迟绑定,链接器在初始化阶段并没有将puts()的地址填入该项,而是将下一条指令的地址填入到[email protected]项中。

所以第一条指令的效果是跳转到第二条指令,相当于是没有任何操作的。第二条指令是将一个数字n压入堆栈,这个数字是puts()的符号引用在重定位表".rel.plt"中的下标。

接着又是一条push指令将模块ID压入到堆栈,然后跳转到0xf7ff04f0执行,那么这个地址是什么地址?答案是_dl_runtime_resolve,下文会给出解释。

got &amp; plt-LMLPHP

got &amp; plt-LMLPHP

ELF将GOT拆分为两个表,".got"和".got.plt"。其中".got"用来保存全局变量引用的地址,“.got.plt”用来保存函数引用的地址,对于外部函数的引用全部放在".got.plt"中。

got &amp; plt-LMLPHPgot &amp; plt-LMLPHP

通过上面两幅图可以看出:R_386_GLOB_DAT是位于.got段的,R_386_JUMP_SLOT位于.got.plt 段。

".got.plt"前三项是有特殊意义的。

第一项保存的是“.dynamic”段的地址;

第二项保存的是本模块的ID,也就是之前看到的push进的那个值;

第三项保存的是_dl_runtime_resolve()函数的地址,之前跳转的地址0xf7ff04f0。

之后就是地址,可以看到都是指向.plt段中,在链接时,.plt段通常和代码段等一起合并成一个可读可执行的Segment。

got &amp; plt-LMLPHP

可以看到puts@plt的地址0x80482f6位于.plt 中。而且puts在got表项中存放的地址0x080482f6就是puts@plt第二条指令的地址。

got &amp; plt-LMLPHP

参考资料:

《程序员的自我修养》动态链接

《深入理解计算机系统》第七章,链接

05-11 20:52