把课程导论落到模块边界与接口契约的触发条件、可观察状态和复查材料上，先判断问题从哪里收窄。
想象一个典型的工业现场：某批次基于 STM32F407 的远程终端单元（RTU）在运行 72 小时后随机死机，看门狗复位无法恢复，现场工程师只能断电重启。日志仅留下一个不完整的栈回溯——0x0800_3A2C。传统调试器（如 J-Link）在 Release 固件上只能看到汇编，无法关联源码。此时，固件逆向工程（Firmware Reverse Engineering）成为唯一可行的故障定位手段。本课程正是为解决这类“黑盒固件分析”场景而设计，核心思路是融合 IDA Pro（交互式反汇编器专业版）与 Ghidra（美国国家安全局开源逆向框架），形成一套可复现的联合逆向工作流
许多工程师习惯只依赖单一工具，但面对 STM32 固件中常见的中断向量表偏移、RTOS 任务调度、外设寄存器直接寻址等问题时，单一工具往往在反编译精度、脚本生态或交付物格式上存在短板。本节的“课程导论”将直接切入这一痛点，明确工业目标、安全审计场景，并给出双工具链的互补定位
拿到一个未知的 STM32 固件（.bin/.hex）后，不要急于反汇编。第一件事是确认芯片型号、Flash 起始地址（通常为 0x0800_0000）以及是否开启了读保护（RDP）。本课程后续将演示如何用 STM32CubeProgrammer 读取选项字节来验证保护等级
本课程不是泛泛的逆向理论课，而是围绕项目目标（项目目标）展开的实战训练。课程定位为“故障定位与安全审计双驱动”，具体解决以下三类真实问题：
strcpy）或未校验的固件升级入口课程的核心交付物是一套联合逆向交付物（Joint Reverse Engineering Deliverable），包括：带注释的反编译代码、恢复的函数调用图、外设寄存器访问记录、以及一份可追溯的故障分析报告。这些交付物将直接服务于研发团队的修复决策或安全团队的整改清单
对象：某 STM32L4 系列 IoT 终端固件。
问题：OTA 升级后设备变砖，无法再次进入 Bootloader。
痛点：厂商仅提供加密后的固件包，无源码。
本课解法：先用 Ghidra 的 Load File 功能解析固件基址，定位到 Bootloader 的入口函数；再用 IDA Pro 的 FLIRT 签名识别出 STM32 HAL 库函数，最终发现是 OTA 跳转前的向量表重映射地址计算错误
课程按“基础认知→单工具精通→联合协同→实战交付”四阶段展开，确保学员能循序渐进地掌握核心技能
在环境准备阶段，学员需要完成：安装 IDA Pro 7.7+（或试用版）、Ghidra 10.3+、STM32CubeProgrammer 以及一个用于Pro调试验证（Pro Debugging Verification）的 J-Link 或 ST-Link 调试器。课程会提供一份包含常见 STM32 系列（F1/F4/L4/H7）的固件样本库，用于后续练习
不要试图用 IDA Pro 完成所有工作。对于 STM32 固件，Ghidra 在“加载阶段”对 Cortex-M 向量表的自动分析（如识别中断服务函数入口）比 IDA Pro 更省力。正确的策略是：用 Ghidra 做初步加载和结构恢复，再将数据库导出为 .gzf 格式，由 IDA Pro 导入后做精细的示例片段分析和动态调试
项目课开篇先梳理可接手主线：STM32固件提取：从Flash读保护绕过到二进制镜像获取对应工程入口，固件加载与基址修正：IDA Pro中STM32向量表与段映射对应可运行材料，Ghidra导入固件：处理器模块选择与内存映射配置对应后续验收或风险位置。后面使用讲义、结构图、清单或示例时，可以把固件逆向工程场景与双工具链协同策略、明确固件逆向的工业目标和STM32固件逆向工程场景放在同一张交付检查线上，判断成果能否被复现和接续开发。读者不必在开头完成实现，但要知道换到新设备、新数据或新约束时要确认对象边界、输入输出和证明材料，判断项目是否已经落地。