把Ghidra导入固件落到内存与存储布局的触发条件、可观察状态和复查材料上，先判断问题从哪里收窄。
判断Ghidra导入固件是否真正工程化，要看内存与存储布局能否围绕栈堆边界、Flash分区或持久化策略不清给出可测信号，并用存储可靠性验证结果。
在完成 IDA Pro 的初步分析后，将固件导入 Ghidra 进行联合逆向是提升效率的关键一步。STM32F4 系列基于 Cortex-M4F 内核，其内存映射与中断向量表具有高度定制性。若处理器模块选择错误或内存映射配置不当，将直接导致反汇编代码错乱、函数识别失败，甚至无法正确解析外设寄存器。本节将聚焦于在 Ghidra 中为 STM32F4/Cortex-M 系列固件配置正确的处理器模块、加载 SVD 文件以及精确设定内存布局，确保分析环境与硬件实际行为一致
Ghidra 的处理器模块（Processor Module）决定了反汇编引擎如何解析指令集。对于 STM32F4，必须选择 Cortex-M4 或 Cortex-M4F（带浮点单元）。错误地选择 Cortex-M3 会导致浮点指令（如 VLDR、VSTR）被错误解码，进而破坏控制流分析
在 Ghidra 的“导入（Import）”对话框的“语言（Language）”选项卡中，展开 ARM → Cortex → 32 → little，选择 Cortex-M4F。若固件未启用浮点单元，可退而选择 Cortex-M4，但推荐始终选择 Cortex-M4F 以保持兼容性
处理器模块选择完成后，下一步是加载 SVD 文件（System View Description）。SVD 文件是 ARM 标准的 XML 格式，描述了 MCU 所有外设、寄存器及其位字段。Ghidra 通过“文件（File）” → “加载 SVD 文件（Load SVD File）”导入。加载后，Ghidra 会自动将外设寄存器地址映射为结构体，并在反汇编窗口中显示寄存器名称，极大提升可读性。例如，0x40023800 将显示为 RCC->CR 而非原始地址
务必从 ST 官网或芯片 SDK 中获取与固件版本匹配的 SVD 文件。使用不匹配的 SVD 文件会导致寄存器名称错乱，误导分析方向
Ghidra 在导入固件时，需要用户手动指定内存映射（Memory Map）。STM32F4 的典型布局为：Flash 起始地址 0x08000000，SRAM 起始地址 0x20000000。若固件是二进制（.bin）文件，Ghidra 无法自动识别其加载地址，必须手动设置。若固件是 ELF 或 HEX 格式，加载地址通常已嵌入文件头，但仍需验证
配置内存映射的核心依据是 Linker 脚本（Linker Script）。Linker 脚本定义了代码段（.text）、数据段（.data）、BSS 段（.bss）以及堆栈（Stack/Heap）的起始地址和大小。在 Ghidra 的“内存（Memory）”管理器中，应至少创建以下两个区域：
0x08000000，大小根据固件实际大小设定（例如 512KB）。属性设置为“读取（Read）”和“执行（Execute）”，不可写0x20000000，大小根据芯片型号设定（例如 128KB）。属性设置为“读取（Read）”和“写入（Write）”，可选“执行”某工业控制项目使用 STM32F407，固件为 .bin 文件。工程师在 Ghidra 中误将 Flash 基址设为 0x00000000，导致所有函数入口地址偏移，反汇编结果完全不可用。修正为 0x08000000 后，函数识别恢复正常
对于包含 Bootloader 和应用程序的固件，还需考虑 Flash 分区。例如，Bootloader 位于 0x08000000，应用程序位于 0x08010000。此时应在 Ghidra 中为每个分区创建独立的内存块，并分别设置基址和大小
验收Ghidra导入固件时，先确认Ghidra导入固件是否已经对应到真实输入、配置或数据，再用Ghidra导入固件观察结果是否稳定。如果指标对照卡或内存与存储布局变化后，处理器模块选择无法解释输出差异，就说明当前结论还不能直接复用。排错入口从关键对象开始更稳：先缩小影响范围，再决定补配置、补数据、补测试，还是把结论保留为待验证记录。下次迁移到新现场时，优先比较Ghidra导入固件和项目成果是否同源；如果Ghidra导入固件偏离，就回到处理器模块选择补一条可复查证据。第04节后续复用时，不复述整段结论，只检查项目成果、Ghidra导入固件和处理器模块选择是否仍然同向。