Map-File

Map 文件——把链接布局变成可审计的内存预算

23660 字·48 分钟

嵌入式 Map-File Memory-Budget Gnu-Ld STM32F407 Build-Evidence

从同一次构建的链接脚本、Map 与 ELF 追溯 STM32F407xx 固件的 Flash/RAM 静态占用与增长来源，建立可复核的预算和运行期证据边界。

11193 字·23 分钟

把代码与数据段、启动初始化和运行时预留统一到有限存储器布局中，并用静态 Host Fake 验证区域归属、边界及重叠；其结果仅是逻辑证据，不代表真实 ELF、目标构建或硬件验证。

10188 字·21 分钟

把同一次目标链接产生的 ELF 与 map 作为互补证据，追溯输出段、符号、地址和大小，同时区分构建期布局、装载事实与运行期事实。