linux - 动态库代码 stub 的执行流程

Question

StackOverflow 上有几个标题相似的问题，但这个问题解决的是不同的问题。

我创建了一个简单的 fprintf 程序，它在文件中打印特定值。我想了解有关库代码的程序执行流程。我对动态库的分析是，每个动态库都是使用 stub 调用的， stub 存储在目标文件的 plt 部分。目标文件的简单 objdump 揭示了三个主要部分:init、plt 和 text。 plt 部分中的所有 stub 由 3/4 相似的行组成。 fprintf 的示例:

00000000004004d0 <fprintf@plt>:
  4004d0: jmpq   *0x200b42(%rip) # 601018 <_GLOBAL_OFFSET_TABLE_+0x30>
  4004d6: pushq  $0x3
  4004db: jmpq   400490 <_init+0x18>

我使用 pintool 来跟踪程序的执行。显然，第一次调用fprintf时，执行流程是4004d0,4004d6,4004db。这意味着第一条指令即跳转第一次转到下一条指令，然后下一次，相同的跳转指令导致库代码(我可以从下一条指令的 ip 识别这一点)。

1. 我的问题是目标文件中维护的_GLOBAL_OFFSET_TABLE_ 信息在哪里？我使用 readelf -a 命令读取目标文件内容，但在该目标文件中找不到感兴趣的指令指针。
2. plt 部分和 stub 方法是我们访问共享库代码的唯一途径吗？

Answer 1

I used the pintool to trace the execution of the program. Apparently, the first time fprintf is called, the execution flow is 4004d0,4004d6,4004db. This means that the first instruction i.e. jump goes to the next instruction at the first time and then the next time, the same jump instruction leads to the library code(I could identify this from the ip of the next instruction).

恭喜，您已经观察到惰性符号重定位的作用。了解更多信息 here (尤其是“惰性绑定(bind)优化”部分)。

My query is where is the _GLOBAL_OFFSET_TABLE_ information maintained in the object file ?

不是(阅读引用博客文章会显示)。