如何覆盖加载了 dlopen 的库中的全局符号？

Question

涉及3个组件

• main：主程序，加载loader.so
• loader.so：使用-Bsymbolic编译，覆盖puts并加载other.so
• other.so：调用puts ，不能修改

我怎样才能让other.so使用loader.so中的覆盖puts ？

请注意，我希望puts仅从loader.so开始（包括other.so ）被覆盖，主程序应该不受影响

示例代码如下

main.c

#include <stdio.h>
#include <dlfcn.h>

int main(int argc, char *argv[]){
    dlopen("./loader.so", RTLD_NOW | RTLD_GLOBAL | RTLD_DEEPBIND);
    puts("Normal");
    return 0;
}

loader.c

#include <stdio.h>
#include <dlfcn.h>

extern int puts(const char *s){
    fputs("Hooked: ", stdout);
    fputs(s, stdout);
    fputc('\n', stdout);
    return 0;
}

__attribute__((constructor))
void ctor(void) {
    puts("Something");
    void *other = dlopen("./other.so", RTLD_NOW);
}

其他。c

#include <stdio.h>

__attribute__((constructor))
void ctor(void) {
    puts("Hello!");
}

制作.sh

#!/bin/bash
gcc main.c -o main -ldl
gcc loader.c -fPIC -shared -Wl,-Bsymbolic -o loader.so
gcc other.c -fPIC -shared -o other.so

所需 output

Hooked: Something
Hooked: Hello!
Normal

实际 output

Hooked: Something
Hello!
Normal

Answer 1

在解决了这个问题之后，我有一个解决方案需要patchelf的一些外部帮助，所以我会等待接受这个解决方案，以防有不同的方法解决问题。

该解决方案通过使用修改后的puts制作新的共享 object、 shared.so ，如下所示

int puts(const char *s){
    fputs("Hooked: ", stdout);
    fputs(s, stdout);
    fputc('\n', stdout);
    return 0;
}

然后我们需要强制other.so依赖这个新的共享 object，我们可以通过使用patchelf --add-needed shared.so other.so来做到这一点

这确实涉及对other.so的修改，但它不需要从源代码重新编译（这使得这种方法更可行）。

现在，当我们加载other.so时，我们需要像这样在loader.c中指定RTLD_DEEPBIND

void *other = dlopen("./libother.so", RTLD_NOW | RTLD_GLOBAL | RTLD_DEEPBIND);

这样搜索顺序就不会从全局上下文开始，而是从库本身开始。 由于other.so没有定义puts ，所以会查找直接依赖关系，而puts会在shared.so中找到

RTLD_DEEPBIND的属性确保即使是最终的LD_PRELOAD ed 对象也能胜过。

因此，如果puts在预加载的共享 object 中被禁用，我们可以解决这个问题并从 glibc 调用真实的、未修改的puts （并且仅适用于来自other.so的调用）。

我们不需要任何patchelf或shared.so如果我们想要的只是恢复原始行为

Answer 2

尝试添加标志-Wl,--no-as-needed

gcc loader.c -fPIC -shared -Wl,-Bsymbolic -Wl,--no-as-needed -o loader.so

我成功地从time-machine的 C 库中挂钩了与时间相关的函数。