如何构建无动态依赖的动态库？适配LD_PRELOAD加载场景

可行性结论 #

完全可行，但直接使用gcc -shared -static -fPIC会失败，因为-static和-shared在GCC中是互斥参数：-static强制生成静态可执行文件，而-shared要生成共享库，二者逻辑冲突。

正确构建方案 #

核心思路是：生成位置无关代码（PIC）以满足共享库加载要求，同时静态链接所有依赖（包括标准库）。具体分两种场景实现：

1. 静态链接标准库 #

基于glibc的实现

首先确保安装了glibc静态开发包（Debian/Ubuntu系为libc6-dev-static，RHEL/CentOS系为glibc-static），然后通过直接调用链接器完成构建：

# 编译生成PIC目标文件
gcc -fPIC -c source.c -o source.o
# 静态链接C标准库并生成共享库
ld -shared -static --whole-archive -lc --no-whole-archive source.o -o preload.so

参数说明：

• --whole-archive -lc --no-whole-archive：强制静态链接整个C标准库，避免遗漏依赖符号
• 直接调用ld绕开了GCC中-shared与-static的冲突限制

基于musl libc的实现

musl libc天生适配静态链接，操作更简洁：

musl-gcc -fPIC -shared -static source.c -o preload.so

musl允许-shared与-static组合使用，直接生成无动态依赖的共享库。

2. 无标准库依赖的极简场景 #

如果代码仅实现需替换的函数（如malloc/free），且内部通过系统调用完成逻辑，可完全脱离标准库：

gcc -fPIC -shared -nostdlib source.c -o preload.so

注意：此模式下代码不能调用任何标准库函数，所有操作需通过syscall指令直接对接内核接口。

验证方式 #

构建完成后，用ldd检查依赖：

ldd preload.so

若输出not a dynamic executable或无任何依赖列表，则说明构建成功。

注意事项 #

• 静态链接glibc的共享库可能存在少量兼容性问题（如部分glibc内部动态特性无法静态化），此时musl libc是更稳定的选择
• LD_PRELOAD加载逻辑与普通共享库一致，只要符号名匹配即可替换目标程序中的对应函数

内容的提问来源于stack exchange，提问作者milck