# ARM Cortex-M 固件仿真动态分析研究的大规模实证综述（扩展版）

> 将 24 项 MCU 分析工具组织为配置恢复、仿真、模糊测试及诊断阶段，并在 4,571 个筛选后的 Cortex-M 固件镜像上评估可运行且兼容流程的子集，研究恢复的配置和仿真产物为何无法支撑后续分析。

- 作者：Hongyuan Li; Ke Wang; Wei Zhou; Le Guan
- 原标题：SoK: A Large-Scale Empirical Study of Emulation-Based Dynamic Analysis Research for ARM Cortex-M Firmware (Extended Version)
- 发表载体：arXiv (extended version)
- 发表状态：预印本
- 出版／提交日期：2026 年 9 月 30 日
- 日期依据：日期指此扩展版的 arXiv 发布；另行注明作者报告的 NDSS 2027 录用，不作 2027 年已出版声明。
- arXiv 首次提交：2026 年 9 月 30 日
- arXiv：2609.38872
- 已复核的 arXiv 版本：v1
- 来源复核于：2026-10-20
- 收录于：2026-10-20
- 原始论文：<https://arxiv.org/abs/2609.38872>
- PDF：<https://arxiv.org/pdf/2609.38872v1>
- 代码：<https://github.com/IoTS-P/LargeRehostingTesting>
- BibTeX：<https://awesomerea.org/papers/citations/paper-cortexm-emulation-sok.bib>
- 目录页面：<https://awesomerea.org/zh/papers/paper-cortexm-emulation-sok/>
- 记录 JSON：<https://awesomerea.org/papers/paper-cortexm-emulation-sok/record.json>
- 英文版：[English](https://awesomerea.org/papers/paper-cortexm-emulation-sok/index.md)

## 研究范围与局限

排除需要无法取得的手册、源码或硬件上下文的工具，因此不是对全部 24 项工具的统一执行比较。指令集识别、准入阈值及抽样崩溃诊断含经验判断，结论不能直接泛化到其他架构；报告的崩溃不等于已确认漏洞。

## 与本合集的关联

补充为黑盒固件重建可执行环境时实际能力边界的证据。

## 发表与复核说明

arXiv 备注称这是 NDSS 2027 已录用论文的扩展版，手稿 DOI 仍为占位值，未填写最终会议录日期。固定框架 README 描述 20 镜像功能检查。固件不随仓库重分发，OTACap 访问受保密协议约束。未确立根代码许可证。

## 一手来源

1. <https://arxiv.org/abs/2609.38872v1>
2. <https://arxiv.org/html/2609.38872v1>
3. <https://github.com/IoTS-P/LargeRehostingTesting/blob/4950719b50c973624ba7cc4444ccacd9e23d88d3/README.md>
4. <https://api.github.com/repos/IoTS-P/LargeRehostingTesting/git/trees/c477332e0c123a6140df36f7b9298992c6c28e29>

## 关于此条目

已依据论文及一手来源复核。请通过原始论文或 BibTeX 引用原作者。
原创说明采用 MIT 许可；外部项目、论文与素材保留各自的权利和许可。