无源码情况下如何从二进制/目标文件提取函数栈使用信息？

可行方案概述 #

即便没有源代码，也可以通过调试信息解析、反汇编分析结合工具，近似获取栈使用数据，定位高栈占用函数并识别无界栈分配（如VLA），虽无法完全复刻-fstack-usage的精准度，但足以满足问题排查需求。

具体实现方法 #

1. 基于DWARF调试信息的直接解析 #

如果二进制或静态库编译时带有-g参数（包含DWARF调试信息），可以直接提取栈相关数据：

• 使用readelf或objdump解析栈帧信息：
  • 执行objdump --dwarf=frames <目标文件>，查看每个函数的固定栈帧大小，这部分对应最小栈使用量。
  • 查找DW_AT_frame_base属性，结合局部变量的偏移量，累加计算固定栈占用的准确值。
• 识别动态栈分配：DWARF中会标记可变长度数组（VLA）的变量类型，也可通过查找函数内是否存在alloca调用或动态调整栈指针的指令，判断是否存在无界栈分配。

2. 无调试信息时的反汇编分析 #

若目标文件无调试信息，只能通过反汇编指令追踪栈操作：

• 提取函数汇编代码：objdump -d <目标文件> | grep -A 30 "<函数名>"
• 计算固定栈占用：查看函数开头的栈调整指令，比如sub rsp, 0x200，这里的立即数就是固定分配的栈大小（最小栈使用量）。
• 识别动态栈分配：
  • 查找以寄存器作为偏移的栈调整指令，比如sub rsp, rbx，说明存在依赖运行时参数的动态分配（如VLA、alloca），此时最大栈使用量无界。
  • 追踪函数内的alloca调用痕迹，这类调用会直接动态调整栈指针。

3. 自动化工具辅助分析 #

• 部分开源工具（如stackusage）可通过分析汇编和调试信息，生成近似-fstack-usage格式的报告，自动统计每个函数的最小栈使用量、是否存在动态分配。
• 借助GDB调试：在函数断点处查看rsp与rbp的差值，计算当前栈使用量；针对动态分配场景，可通过不同测试输入跟踪栈变化，估算最大可能占用上限。

近似-fstack-usage的输出格式 #

可手动整理或通过脚本解析工具输出，示例格式：

func_a:	1024	1024	static
func_b:	256	-	dynamic
func_c:	512	2048	static

• 第一列：函数名
• 第二列：最小栈使用量（固定分配部分）
• 第三列：最大栈使用量（固定+动态分配上限，无界则用-）
• 第四列：分配类型（static为固定分配，dynamic为存在VLA/alloca）

注意事项 #

• 无调试信息时，计算的栈大小包含寄存器保存区等额外开销，为近似值。
• 动态栈分配的最大使用量无法精确计算，只能标记为无界或通过测试用例估算上限。
• 静态库中的函数可能被链接器优化（如内联），需确保分析的是最终二进制中的实际函数实现。

内容的提问来源于stack exchange，提问作者dash-o