把Cortex-M3落到M7内核寄存器模型的触发条件、可观察状态和复查材料上，先判断问题从哪里收窄。
Cortex-M3排查时最怕只改表面现象，没有固定触发条件、现场记录和结果判断。
处理M7内核寄存器模型时先保留原始现象，再用最小复现动作确认问题是否真的被缩小。
在固件反汇编与逻辑还原的实战中，面对的是二进制级别的代码，而非高级语言源码。因此，理解 Cortex-M3/M4/M7 内核的寄存器模型与 ARM Thumb 指令集的二进制编码，是进行后续反汇编分析、逻辑还原与故障定位的基石。本节的核心任务，是建立从二进制指令到硬件动作的映射能力，并掌握在反汇编工具中快速识别关键寄存器与指令模式的方法
打开反汇编工具（如 IDA Pro 或 Ghidra），加载一个 STM32 固件（.hex 或 .elf）。在反汇编视图中，首先定位到复位向量（Reset_Handler），观察第一条指令。这通常是设置主堆栈指针（MSP）或跳转到初始化代码。记录下该指令的二进制编码（例如 0x4800），并对照 Thumb 指令集手册，确认其助记符与操作数
反汇编还原的核心，在于理解程序如何通过寄存器与指令操作硬件。Cortex-M 内核的寄存器模型（R0-R15、特殊功能寄存器）和异常向量表（VTOR）是程序执行的上下文基础。而 ARM Thumb 指令的二进制编码，则是这个上下文的“操作码”
在反汇编过程中，寄存器操作是分析数据流与控制流的关键。例如，LDR R0, [PC, #offset] 这类指令常用于从代码区加载常量或地址。理解 PC（程序计数器）在 Thumb 模式下是当前指令地址 +4，对于计算加载地址至关重要。异常向量表（VTOR）则定义了中断服务函数（ISR）的入口地址。在 STM32 启动代码中，SCB->VTOR 寄存器（地址 0xE000ED08）的配置决定了向量表的基址。反汇编时，通过查找对 0xE000ED08 的写操作，可以定位向量表重定位点，这在分析 Bootloader 或 RTOS 固件时尤其关键
在反汇编代码中，如果看到对 0xE000ED08（VTOR 寄存器）的写操作，这通常意味着系统正在执行向量表重定位。这是 Bootloader 跳转、固件升级或 RTOS 启动的标志性动作。此时，应记录下写入的值，该值即为新的向量表基址
掌握常用指令的二进制格式，可以快速识别反汇编代码中的关键操作。以下表格列出了在固件反汇编中高频出现的指令及其编码特征，用于快速判断指令类型
| 维度 | 方案A | 方案B | 判断建议 |
|---|---|---|---|
| 数据处理（立即数） | MOVS Rd, #imm8 | 0x20 - 0x27 （高4位为 0010 ） | 常用于加载小立即数，如设置函数参数或状态标志 |
| 数据处理（寄存器） | ADDS Rd, Rn, Rm | 0x18 - 0x1F （高4位为 0001 ） | 算术运算核心，分析数据流时需重点关注源和目标寄存器 |
| 加载/存储（字） | LDR Rd, [Rn, #imm5] | 0x68 - 0x6F （高4位为 0110 ） | 访问内存数据，用于还原结构体成员或全局变量 |
| 分支（条件/无条件） | B<cond> label | 0xD0 - 0xDF （高4位为 1101 ） | 控制流跳转，用于还原 if-else、循环等逻辑结构 |
| 分支（链接） | BL label | 0xF000 - 0xF7FF （高4位为 1111 ） | 函数调用指令，是还原函数调用关系图的关键 |
对象： STM32F407 固件升级程序。故障现象： 升级后系统无法启动。排查动作： 反汇编 Bootloader 代码，定位到跳转至应用程序的指令。发现一条 LDR SP, [R0, #0] 指令，其二进制编码为 0x6804（高4位 0110，符合 LDR 特征）。通过检查 R0 的值（即新向量表基址），发现该地址处的第一个字（栈顶指针）为 0xFFFFFFFF，表明 Flash 分区中应用程序的向量表已被擦除或损坏。工程判断：升级过程中 CRC 校验失败，但回滚标志未正确设置，导致系统尝试从无效分区启动
为了系统化地进行反汇编分析，需要建立一套可复用的检查清单。以下清单针对 Cortex-M 内核的固件反汇编，聚焦于关键指令与寄存器操作的验证
在反汇编中，看到 BL 指令就认为是函数调用，而忽略了它可能是用于实现位置无关代码（PIC）的跳转。在 Cortex-M 上，BL 指令的编码范围有限，对于跨分区（如从 Bootloader 跳转到 App）的跳转，通常使用 LDR PC, [R0, #4] 这类间接跳转。务必检查跳转目标的寻址方式
本节的验收可以从失败表现倒推：当可观察信号不符合预期时，先区分是Cortex-M3没有建立，还是Cortex-M3/M4/M7影响了输出。合格材料应能说明内核寄存器模型与指令集速查在什么条件下成立，并用结果材料留下结果变化，而不是只写“已经完成”。继续实操前先保留一个最小复现入口，再根据掌握核心寄存器组判断问题属于输入、处理过程还是输出结果。本节留下的复查锚点是Cortex-M3：Cortex-M3/M4/M7是否还能解释现场判断，再用内核寄存器模型与指令集速查核对命令核对到配置验收的变化。第02节的交接重点是命令核对，它决定Cortex-M3/M4/M7是短暂波动还是可复现证据。