动态链接的问题

kdx_test

我baidu了一下，在 linux 32位系统里面，有关动态链接里 GOT表的访问，说大致为以下样式：

1. fun@plt:
   
2.         jmp *(fun@got.plt)      
   
3.         push index           
   
4.         jmp _init            
   

复制代码

至于 linux 64位系统，我也baidu了一下，似乎样式跟 上面 32位系统的是一样的，只是地址不一样（变成 0x400XXX）。

但实际上，对于 Linux 64 位系统（ubuntu17.04 64位），我自己写了一个例子测试后发现却不是这样，我的测试样式如下：
   

1. fun@plt
   
2.         jmpq   *0x20089a(%rip)            // 200fb8 <a1>, ff 25 9a 08 20 00
   
3.         xchg   %ax,%ax            // 66 90

复制代码

问题：
    我的测试有问题？


附上测试过程如下（测试环境：ubuntu 17.04 64位）：

1. //代码 a1.c
   
2. #include        <stdio.h>
   
3. 
   
4. static char arr[]        = {
   
5.                                 'w','x','y','z','4','4','4','4'
   
6.                                 };
   
7. 
   
8. void a1()
   
9. {
   
10.         printf("a1.c\n");
    
11.         printf("a1:%s\n",arr);
    
12. }
    
13. 
    
14. //代码 a2.c
    
15. #include        <stdio.h>
    
16. 
    
17. static char arr[]        = "abcd12345";
    
18. 
    
19. void a2()
    
20. {
    
21.         printf("a2.c\n");
    
22.         printf("a2:%s\n",arr);
    
23. }
    
24. 
    
25. //代码 b1.c
    
26. #include        <stdio.h>
    
27. 
    
28. void b1()
    
29. {
    
30.         char arr[]        = "ghij56789";
    
31. 
    
32.         printf("b1.c\n");
    
33.         printf("b1:%s\n", arr);
    
34. }
    
35. 
    
36. //代码 b2.c
    
37. #include        <stdio.h>
    
38. 
    
39. void b2()
    
40. {
    
41.         char arr[]        = {
    
42.                                 'k','l','m','n','2','2','2','2'
    
43.                                 };
    
44.         printf("b2.c\n");
    
45.         printf("b2:%s\n",arr);
    
46. }
    
47. 
    
48. //代码 main.c
    
49. #include        <stdio.h>
    
50. 
    
51. void a1();
    
52. void a2();
    
53. void b1();
    
54. void b2();
    
55. 
    
56. int main()
    
57. {
    
58.         a1();
    
59.         a2();
    
60.         b1();
    
61.         b2();
    
62. 
    
63.         printf("main.c\n");
    
64. 
    
65.         return 0;
    
66. }
    
67. 
    
68. //编译
    
69. gcc -g -fPIC -shared a1.c -o a1.so
    
70. gcc -g -fPIC -shared a2.c -o a2.so
    
71. gcc -g -fPIC -shared b1.c -o b1.so
    
72. gcc -g -fPIC -shared b2.c -o b2.so
    
73. gcc main.c a1.so a2.so b1.so b2.so -o main -g -Xlinker -rpath ./
    
74. 
    
75. 使用 gdb 调试
    
76. > gdb main
    
77. > b main
    
78. > r
    
79. > disass main                        
    
80.                 Dump of assembler code for function main:
    
81.                    0x0000555555554870 <+0>:        push   %rbp
    
82.                    0x0000555555554871 <+1>:        mov    %rsp,%rbp
    
83.                 => 0x0000555555554874 <+4>:        mov    $0x0,%eax
    
84.                    0x0000555555554879 <+9>:        callq  0x555555554718                //实际是 call a1
    
85.                    0x000055555555487e <+14>:        mov    $0x0,%eax
    
86.                    0x0000555555554883 <+19>:        callq  0x555555554728
    
87.                    0x0000555555554888 <+24>:        mov    $0x0,%eax
    
88.                    0x000055555555488d <+29>:        callq  0x555555554738
    
89.                    0x0000555555554892 <+34>:        mov    $0x0,%eax
    
90.                    0x0000555555554897 <+39>:        callq  0x555555554720
    
91.                    0x000055555555489c <+44>:        lea    0x91(%rip),%rdi        # 0x555555554934
    
92.                    0x00005555555548a3 <+51>:        callq  0x555555554710
    
93.                    0x00005555555548a8 <+56>:        mov    $0x0,%eax
    
94.                    0x00005555555548ad <+61>:        pop    %rbp
    
95.                    0x00005555555548ae <+62>:        retq   
    
96.                 End of assembler dump.
    
97. 
    
98.         以 call 0x555555554718 为例
    
99.                 > x/16x 0x555555554718
    
100. 
     
101.                         0x555555554718:        0x089a25ff        0x90660020        0x08aa25ff        0x90660020  
     
102.                                         .......................
     
103. 
     
104.                         转换前8个字节（小端转大端）
     
105.                         
     
106.                         ff 25 9a 08 20 00 66 90
     
107. 
     
108.                         这个就是我之前提到样式
     
109. 
     
110.                         GOT条目地址        = 当前EIP + 偏移 + sizeof（调用指令）
     
111.                                         = 0x555555554718 + 0x20089a + sizeof(调用指令)
     
112.                                         = 0x555555554718 + 0x20089a + 6
     
113.                                         = 0x555555754FB8
     
114. 
     
115.                 > x/16x 0x555555754FB8（GOT条目地址）
     
116. 
     
117.                         0x555555754fb8:        0xf7bd56c0        0x00007fff        0xf7228300        0x00007fff
     
118. 
     
119.                         转换前8个字节（小端转大端）
     
120. 
     
121.                         c0 56 bd f7 ff 7f 00 00
     
122. 
     
123.                         目标函数地址        = 0x7ffff7bd56c0
     
124. 
     
125.                 > x/16x 0x7ffff7bd56c0（目标函数）
     
126. 
     
127.                         0x7ffff7bd56c0 <a1>:        0xe5894855        0x2a3d8d48        0xe8000000        0xfffffec0
     
128.                         0x7ffff7bd56d0 <a1+16>:        0x59358d48        0x48002009        0x001c3d8d        0x00b80000
     
129.                         0x7ffff7bd56e0 <a1+32>:        0xe8000000        0xfffffeb8        0x00c35d90        0x08ec8348
     
130.                         ........
     
131. 
     
132.                         可见，call 0x555555554718 即 call a1 （函数a1()是在 共享库 a1.so中）

复制代码

因为上面的调试是可以“找到”共享库 a1.so 里面的 a1()函数的，所以上面的分析应该是没问题的。但这个与baidu到的资料有较大不同，主要是baidu的资料里面是涉及到了GOT条目的（例如：会有 push操作，将函数对应GOT索引压栈，然后又使用 GOT[2]里面的 _dl_runtime_resolve()函数等），这些似乎在我上面的例子里面没有碰到，但又能得到相应的结果，这是为何？是巧合还是baidu到的资料有问题（我说的是 linux 64位的资料）？

kdx_test

顶................................................

kdx_test

有人知道吗？