AArch64架构下C调用汇编文件的DWARF栈展开方案咨询

1. 基于AArch64标准栈帧规则手动回溯 #

AArch64架构的函数调用有固定的栈帧规范，即便没有CFI信息，也能通过这些规则推导栈帧：

• 非叶函数（调用其他函数的函数）必然会将x30（返回地址寄存器）压入栈中，叶函数可能不保存x30但栈指针sp始终保持16字节对齐
• 回溯时，先获取当前sp和x30的值，通过反汇编汇编文件估算栈帧大小（比如从sub sp, sp, #imm指令获取栈分配大小），进而计算上一级栈帧的sp和返回地址，逐步遍历整个调用栈

2. 批量为汇编文件自动生成CFI信息 #

如果允许对汇编文件进行编译处理，可借助编译器特性批量插入CFI：

• 使用gcc编译.s文件时，添加-fasynchronous-unwind-tables参数，编译器会自动为汇编函数生成DWARF CFI帧信息，无需手动修改汇编代码
• 编写简单脚本批量处理所有汇编文件，示例命令：gcc -c -fasynchronous-unwind-tables -o obj_file.o src_file.s

3. 实现自定义栈展开器 #

针对无法修改或编译的汇编文件，可开发自定义栈展开逻辑：

• 静态解析ELF文件的符号表，记录每个汇编函数的起始、结束地址
• 反汇编所有汇编函数，分析栈操作指令（如str x30, [sp, #offset]、add sp, sp, #imm），预先记录每个函数的栈帧大小、返回地址在栈中的偏移
• 运行时根据当前pc定位到对应函数，利用预存的偏移信息计算上一级栈帧的sp和返回地址，完成栈回溯

4. 基于libunwind扩展自定义展开规则 #

若使用libunwind库，可为无CFI的汇编函数注册自定义展开逻辑：

• 为每个汇编函数绑定一个自定义展开回调，在回调中手动指定栈帧恢复方式
• 示例伪代码：

unwind_addr_space_t as;
unwind_create_addr_space(&as, 0);
unwind_registry_put(as, func_start_addr, custom_unwind_handler);

在custom_unwind_handler中，根据目标函数的栈操作逻辑，设置sp和x30的恢复值

内容的提问来源于stack exchange，提问作者Chintha Siva Prasad