ARM Cortex-M执行cmp指令时PC异常跳转至未映射内存问题

核心问题分析 #

cmp r3, #0本身是算术比较指令，不会直接修改PC，出现PC跳转到非法地址的情况，大概率是后续指令的解码/执行异常，或者Unicorn的环境配置与目标平台不匹配导致的。以下是具体排查方向：

1. 检查Thumb模式的指令对齐与指令合法性 #

Cortex-M架构强制要求Thumb指令（v7-M）必须半字对齐（地址最低位为0），需重点确认：

• 反汇编地址140及后续的指令序列，确认cmp r3, #0之后的指令是否为合法的Thumb/Thumb-2指令，避免因无效指令被Unicorn误解码为分支指令：

  arm-none-eabi-objdump -d -mthumb your_binary.elf --start-address=0x8C --stop-address=0x98
  

• 确认地址144所在区域已被正确映射到Unicorn的内存空间，且包含有效指令。

2. 验证Unicorn的初始化配置 #

Unicorn模拟Cortex-M7时，配置错误会直接导致指令行为异常：

• 确保初始化参数为UC_ARCH_ARM + UC_MODE_THUMB + UC_MODE_MCLASS，遗漏UC_MODE_MCLASS会模拟普通ARM架构而非Cortex-M。
• 检查内存映射：确认代码段（含地址140-144）已通过uc_mem_map映射，权限设置为UC_PROT_READ | UC_PROT_EXEC，映射范围需完全覆盖指令所在地址。

3. 排查编译链接的一致性问题 #

• 对比自定义链接脚本的代码段地址、长度，与Unicorn中映射的内存地址是否完全匹配，避免因地址错位导致执行指令与反汇编预期不符。
• 检查--gc-sections是否误删关键代码：用arm-none-eabi-nm查看符号表，确认地址144处的指令对应的符号是否存在，是否被垃圾回收导致该地址为无效数据。
• 半托管功能影响：半托管依赖BKPT等调试指令，若Unicorn未配置半托管模拟逻辑，执行相关指令会触发异常，导致PC跳转到异常向量表的无效地址。

4. 单步追踪Unicorn的指令执行 #

• 设置Unicorn单步回调，打印每条指令的地址、指令码、执行后的PC值，确认cmp r3, #0执行后PC的变化轨迹，定位是否是后续指令被错误解码为分支指令。
• 提取地址140处的指令码（从ELF文件读取0x8C-0x8F字节），用arm-none-eabi-as手动汇编验证，确认该指令确实是cmp r3, #0，而非链接器修改后的非法指令。

5. 检查异常向量表配置 #

Cortex-M发生未定义指令、硬 fault 等异常时，PC会跳转到向量表对应地址：

• 确认ELF文件的向量表地址（通常为0x0开头）已被Unicorn正确映射，且向量表中的异常处理地址均为合法有效地址，避免异常触发时PC跳转到非法区域。

内容的提问来源于stack exchange，提问作者Joshua Schroijen