在不同的动态加载的对象中以不同的方式解析符号

Question

阅读thesequestions后，我正在寻找有关如何控制符号解析顺序的更多详细信息。

在我的问题中，我有主要的可执行文件exec。 exec 动态链接到 a.so 和 c.so。 a.so 动态链接到 b.so。 b.so 调用函数foo，通常由c.so 提供，但在这种情况下也由exec 提供。 b.so 仅适用于 c.so 的 foo 实现。

情况示意图：

exec      (foo caller and provider)
   | \
a.so  |
   |  |
b.so  |   (foo caller)
   | /
c.so      (foo provider)

我只能控制a.so的编译/来源，我将a.so链接到exec和LD_PRELOAD。

我希望在exec 中调用foo 以解析为exec 的实现，并调用b.so 以解析为c.so 的实现。这种在不同对象中进行不同符号查找的事情是否可能？

Answer 1

不幸的是，没有办法在每个库级别调整符号分辨率，因此没有简单的方法来实现这一点。

如果foo实际上是在主可执行文件中实现的（不仅仅是copy-relocated），那么你无能为力，因为来自主可执行文件的符号在解析过程中获得最高优先级（除非你对最终的hacky运行时没问题- 修补你不是的 GOT）。

如果

• foo 在 c.so 中实现
• 你已经够绝望了

您可以执行以下操作：

• 在a.so中获取拦截器内部的返回地址（使用__builtin_return_address）
• 将其与 b.so 的边界匹配（可以从/proc/self/maps 获得）
• 根据结果，要么进行特殊处理（如果调用者在 b.so 中）或将调用转发到RTLD_NEXT

这当然有明显的局限性，例如如果 b.so 从另一个 d.so 调用函数然后调用 foo 则将不起作用，但在许多情况下可能就足够了。是的，我已经在实践中看到了这种方法。