一条指令跳过，安全启动防线崩塌

From 25M instructions to one faulty skip: fault analysis of a secure boot

我们利用 AI 代理 Claude Opus 4.8 驱动 esFirmware 和 Epoch 工具，对一款广泛部署的 ARM 路由器 SoC 的 Boot ROM 进行了故障注入分析。面对包含 RSA-PSS 签名验证和冗余编码等多重防护机制，我们成功发现了一个致命弱点：仅需跳过一条 2 字节的指令，就能将原本应被拒绝的篡改 BL2 图像强制判定为合法。整个过程从固件重定位、2500 万条指令的完整执行追踪，到利用快照技术将单次测试耗时缩短 600 倍，均由 AI 自主完成。这一案例证明，即便在严密的防御代码中，单一指令的跳过故障仍足以颠覆安全启动的裁决逻辑。