linux - dlsym 如何从剥离的二进制库中成功导入函数？

Question

dlsym 可以从剥离的二进制文件中导入函数，这很奇怪。

谁能告诉我为什么/如何？

=== FILE: a.c ===
int a1() { return 1; }
int a2() { return 2; }
=== end of a.c ===

=== FILE: b.c ===
#include <stdio.h>
#include <dlfcn.h>
#include <stdlib.h>

typedef int (*fint)();

fint dlsym_fint(void *handle, char *name)
{
    fint x = (fint)dlsym(handle, name);
    char *err = NULL;
    if ((err = dlerror()) != NULL) {
        printf("dlsym: %s\n", err);
        exit(1);
    }
    return x;
}

int main()
{
    void *dl = dlopen("a.so", RTLD_NOW);
    fint a = NULL;
    a = dlsym_fint(dl, "a1");
    printf("%p: %d\n", a, a());
    a = dlsym_fint(dl, "a2");
    printf("%p: %d\n", a, a());
    return 0;
}
=== end of b.c ===

$ gcc -shared -fPIC -o a.so a.c
$ nm a.so
...
00000000000004ec T a1
00000000000004f7 T a2
...

$ strip a.so
$ nm a.so
nm: a.so: no symbols

$ gcc -o b b.c -ldl

$ ./b
0x2aaaaaac74ec: 1
0x2aaaaaac74f7: 2

Answer 1

试试readelf -s a.so。之后动态符号仍然存在strip。

（或者只是切换到nm -D a.so。）

Answer 2

strip删除调试符号表，而不是动态链接器使用的动态符号表。要同时删除这些符号，请使用-fvisibility=hidden和符号可见性函数/变量属性来选择要公开的函数。