问题原因 #

你直接对静态库文件lib_mylib.a执行objcopy生成的lib_mylib.a.debug本质是归档文件（.a），而GDB的add-symbol-file命令只能处理单个目标文件（.o）或可执行文件，无法直接识别归档格式，这就是你看到"File format not recognized"错误的原因。

正确操作步骤 #

1. 拆分静态库，提取内部目标文件

静态库是多个目标文件（.o）的打包归档，先把里面的.o文件提取出来：

ar x lib_mylib.a

执行后当前目录会出现静态库中所有的.o文件（比如mylib_core.o、mylib_utils.o这类）。

2. 逐个处理目标文件，分离并剥离调试信息

对每个提取出的.o文件，执行以下两条命令：

# 把调试信息分离到单独的.debug文件
objcopy --only-keep-debug mylib_core.o mylib_core.o.debug
# 剥离原目标文件中的调试信息（缩小体积）
objcopy --strip-debug mylib_core.o

重复这个操作，处理所有从静态库中提取的.o文件。

3. 重新打包成剥离后的静态库

把处理完的.o文件重新打包成新的静态库，替换原来的版本：

ar rcs lib_mylib.a mylib_core.o mylib_utils.o ...

注意要把所有处理过的.o文件都列在命令里。

4. 在GDB中获取目标文件的加载地址

启动GDB调试你的driver程序：

gdb ./driver

接下来需要找到每个静态库目标文件在内存中的起始加载地址：

• 先找静态库中某个函数的地址，比如你要调试的my_lib_function：

  info symbols my_lib_function
  

  输出会类似：0x0000000000401500 my_lib_function in section .text of ./driver
• 然后用objdump查看该函数在对应的.o文件中的偏移：

  objdump -d mylib_core.o | grep my_lib_function
  

  输出会显示该函数在.o文件中的偏移（比如0x500）
• 计算目标文件的加载地址：函数地址 - 偏移 = 0x401500 - 0x500 = 0x401000

5. 加载单个目标文件的调试信息

回到GDB中，对每个.o.debug文件执行add-symbol-file，传入刚才计算的加载地址：

add-symbol-file mylib_core.o.debug 0x401000

输入y确认加载，这样GDB就能识别该目标文件的调试信息了。重复这个步骤加载所有静态库目标文件的调试信息。

简化技巧 #

如果静态库中的.o文件很多，可以写一个简单的shell脚本批量处理拆分、分离、重新打包的操作，比如：

#!/bin/bash
# 拆分静态库
ar x lib_mylib.a
# 批量处理每个.o文件
for obj in *.o; do
    objcopy --only-keep-debug "$obj" "$obj.debug"
    objcopy --strip-debug "$obj"
done
# 重新打包静态库
ar rcs lib_mylib.a *.o

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