基于GnuEFI开发UEFI程序时sprintf导致控制流损坏问题排查

问题根源 #

你的崩溃是动态链接的格式化I/O函数重定位失败导致的：

• 调用sprintf(text, "foo")时，编译器会优化为直接字符串拷贝，无需触发完整的格式化逻辑，因此可以正常执行；
• 使用%d等格式化参数时，必须调用libc内部的格式化解析和转换函数（如__vfprintf_internal），这些函数依赖共享对象的动态链接机制；
• 你当前的objcopy命令漏掉了PLT/GOT相关段（.plt、.got、.got.plt），这些段是共享对象处理动态函数跳转和地址重定位的核心。缺失这些段会导致动态链接器无法正确解析函数地址，最终让控制流错误跳转到.data段的无效数据上，触发非法 opcode 异常。

修复方案 #

方案1：修改objcopy命令，补充必要段 #

更新objcopy命令，添加.plt、.got、.got.plt段，确保动态重定位所需的结构被保留：

objcopy -j .text -j .sdata -j .data -j .dynamic -j .dynsym -j .rel -j .rela -j .reloc -j .plt -j .got -j .got.plt --target=efi-app-x86_64 in.so out.efi

执行后可以用readelf -S out.efi验证这些段是否已包含在生成的EFI文件中。

方案2：改用静态链接（推荐） #

UEFI环境对动态链接的支持有限，GnuEFI开发更建议使用静态链接避免重定位问题。修改链接参数，添加-static并使用静态链接脚本：

# 示例链接命令，需根据你的实际编译文件调整
ld -static -nostdlib -znocombreloc -T elf_x86_64_efi.lds crt0-efi-x86_64.o your_program.o -lefi -lgnuefi -o your_program.efi

静态链接生成的文件可直接作为EFI应用运行，无需再通过objcopy转换。

方案3：调整编译器优化级别 #

调试阶段可添加-O0或-O1编译参数，排除过度优化导致的异常行为，帮助定位问题。

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