最近在学习linux高级调试技术。下面就动态库连接这块做了一个实验
首先理解下plt是procedure linkage table,got是global offset table。got表中存放的是外部符号的地址。plt表中存放的是函数地址。下面看下实验具体情况。
源码:
#include <stdio.h>
int fun()
{ printf("hello world\n");}int main()
{ while(1){ fun(); } return 1;}在fun函数开始处设置断点。开始运行程序
首先看下fun函数的反汇编代码:
首先看下fun函数的反汇编代码:
(gdb) disassemble fun
Dump of assembler code for function fun:0x080483d4 <+0>: push %ebp0x080483d5 <+1>: mov %esp,%ebp0x080483d7 <+3>: sub $0x18,%esp0x080483da <+6>: movl $0x80484d0,(%esp)0x080483e1 <+13>: call 0x80482f0 <puts@plt>0x080483e6 <+18>: leave 0x080483e7 <+19>: ret End of assembler dump.偏移量为13的那句汇编就是调用printf。这个可以通过objdump -l 和-S选项查看
查看0x80482f0处的汇编
(gdb) disassemble 0x80482f0
Dump of assembler code for function puts@plt: 0x080482f0 <+0>: jmp *0x804a000 0x080482f6 <+6>: push $0x0 0x080482fb <+11>: jmp 0x80482e0End of assembler dump.接着再查看0x804a000中存放的内容
gdb) x/x 0x804a000
0x804a000 <puts@got.plt>: 0x080482f6可以看到就是之前的反汇编代码的下一句话,但这也是plt表中的一项
那么查看0x80482e0的反汇编,
(gdb) disassemble 0x80482e0
No function contains specified address.那么在该地址处设置断点查看。发现还是不能查看,那么采用查看内存内容的方式查看该处反汇编代码
(gdb) x/10i 0x80482e0
0x80482e0: pushl 0x8049ff8=> 0x80482e6: jmp *0x8049ffc接着查看0x8049ffc里面的内容
(gdb) x/x 0x8049ffc
0x8049ffc <_GLOBAL_OFFSET_TABLE_+8>: 0xb7ff2690发现这个got表中的一项,地址是0xb7ff2690。
接着查看0xb7ff2690地址处的反汇编代码
(gdb) x/10i 0xb7ff2690
0xb7ff2690: push %eax 0xb7ff2691: push %ecx 0xb7ff2692: push %edx 0xb7ff2693: mov 0x10(%esp),%edx 0xb7ff2697: mov 0xc(%esp),%eax 0xb7ff269b: call 0xb7fec1c0接下来会调用0xb7fec1c0地址处的代码,查看map信息会发现,这两个地址全部都是0xb7fde820 - 0xb7ff6b9f is .text in /lib/ld-linux.so.2里的代码,但是这边由于条件限制,看不到里面的函数名称,在网上可以查到是_dl_runtime_resolve函数。
当第一次运行fun函数结束后,第二次运行该函数时,我们再看下反汇编代码。
(gdb) disassemble 0x80482f0
Dump of assembler code for function puts@plt: 0x080482f0 <+0>: jmp *0x804a000 0x080482f6 <+6>: push $0x0 0x080482fb <+11>: jmp 0x80482e0这段代码没有改变,但是看下0x804a000中的地址
(gdb) x/x 0x804a000
0x804a000 <puts@got.plt>: 0xb7e866a0这和之前的地址是不一样的,之前是跳转到了0x080482f6,而这里已经实际填写上了printf的地址。
总结一下就是,如果一个动态库函数是第一次被调用,那么plt表中是不存在该函数的地址的,通过ld库中的函数,将这个地址取出来存放到got表中,那么当第二次调用该函数时,plt表中就有了这个函数的地址,直接跳转到该地址,而不再需要去取地址,也就是动态链接。