Map 文件——把链接布局变成可审计的内存预算 23660 字·48 分钟 嵌入式 Map-File Memory-Budget Gnu-Ld STM32F407 Build-Evidence 从同一次构建的链接脚本、Map 与 ELF 追溯 STM32F407xx 固件的 Flash/RAM 静态占用与增长来源,建立可复核的预算和运行期证据边界。