把课程导论落到模块边界与接口契约的触发条件、可观察状态和复查材料上，先判断问题从哪里收窄。
当嵌入式开发者在调试现场设备崩溃、分析第三方固件安全漏洞或移植遗留代码时，最常遇到的困境是：面对一个没有源码的 .bin 或 .hex 文件，只能通过串口日志猜测程序行为，却无法精确定位到寄存器操作或指令跳转。本课程的核心目标，就是为你建立一套从“二进制盲猜”到“指令级还原”的工程方法。我们将以 Cortex-M3 Thumb-2 指令集为解剖对象，系统讲解如何通过逆向工程手段，将固件中的机器码还原为可读的程序逻辑
本节作为课程导论，首先需要明确三个关键边界：Thumb-2 指令集在 Cortex-M3 上的具体实现特性、固件逆向工程的完整流程链路，以及本课程最终交付的工程能力范围。我们将通过一个真实的固件分析场景切入，展示从拿到二进制文件到还原关键函数逻辑的全过程，并指出其中最容易出错的步骤——例如对 Thumb-2 混合宽度指令（16位与32位指令交错）的解码边界判断
某工业控制器在现场偶发死机，厂商已停止维护。你拿到的是 main.bin（128KB）和一份残缺的硬件手册。通过串口日志只能看到“WDT reset”错误，但无法确定是任务调度异常还是外设访问越界。你需要通过逆向固件，还原中断向量表、定位异常处理入口，并分析关键外设寄存器的读写序列
拿到固件后，第一步不是反汇编，而是通过 readelf -h main.bin 或 objdump -d 确认文件格式、入口地址和段布局。对于 Cortex-M3，向量表偏移（VTOR）和栈指针初始值是关键锚点
要高效逆向 Cortex-M3 固件，必须对指令集架构有清晰的“指标复盘”意识。这里我们重点复盘四个核心指标：ARM 指标复盘（ARM Architecture Reference Manual）、Thumb 指标复盘（Thumb-1 指令集）、Cortex-M3 指标复盘（处理器内核特性）以及 Thumb-2 指标复盘（混合宽度指令集）。这些指标不是理论罗列，而是逆向解码时的“对照表”
逆向主链路通常包含五个阶段：固件加载与分段 → 指令解码与反汇编 → 控制流恢复 → 数据流分析 → 函数语义还原。其中最容易出错的步骤是“指令解码边界判断”——由于 Thumb-2 允许 16 位和 32 位指令自由交错，反汇编器一旦在错误位置开始解码，后续所有指令都会偏移。例如，一个 32 位 BL 指令的低 16 位如果被当作独立指令解码，会导致整个函数逻辑崩溃
当反汇编结果中出现大量非法指令或异常跳转时，90% 的概率是指令解码边界错误。此时应检查反汇编器的起始地址是否与向量表中的复位入口一致，并确认是否强制指定了 Thumb 模式（-M force-thumb）
本课程的学习路径总览分为三个递进阶段：基础解码与工具链搭建（第 2-4 节）、控制流与数据流分析实战（第 5-7 节）、完整固件还原与验证（第 8-10 节）。每个阶段都围绕一个核心工程对象展开：第一阶段掌握 objdump、Ghidra 和 IDA Pro 的 Thumb-2 解码配置；第二阶段重点训练对 B、BL、BX 等跳转指令的跟踪能力，以及 LDR/STR 指令对内存布局的映射；第三阶段则要求能独立还原一个包含中断服务、外设初始化和任务调度的完整固件
在能力成果范围上，学完本课程后你将能够：
目标 指标复盘（即固件中与系统管理目标相关的寄存器配置与状态机），还原外设驱动逻辑指令集指标复盘 方法，快速定位异常处理函数与关键数据表很多初学者在逆向时，会直接跳入反汇编窗口逐条阅读指令，而忽略了先通过 strings 和 hexdump 扫描固件中的字符串与常量表。这些元数据往往能直接暴露函数边界和协议字段，是加速逆向的关键线索
最后，关于本课程的工程交付物：每节结束后，你将获得一个可复用的逆向检查清单（Checklist），以及一个针对特定外设（如 UART、GPIO、Timer）的指令模式库。这些资产可以直接用于实际固件分析项目，减少重复劳动
理论课第一节先搭出机制坐标：Keil MDK与GCC交叉编译链下Thumb指令生成差异分析负责说明概念入口，STM32F103启动文件反汇编与复位向量表解析负责连接协议或模型过程，Thumb指令编码格式与立即数池定位技巧负责提示安全边界和指标变化。后续阅读讲义时，可以把问题复盘卡当作对象层，把模块边界与接口契约当作条件层，把关键对象当作判断层，而不是把章节当成孤立名词。遇到新机制时先问前提是否成立，再用模块边界与接口契约和关键对象确认结论能否解释观测结果，这样后续复习会更接近真实推理。