2026 · 预印本
面向忠实固件运行迁移的响应式外设建模
Reactive Peripheral Modeling for Faithful Firmware Rehosting
Bluezz 将外设建模为具有状态的事件—条件—动作系统，协调中断、MMIO 与 DMA，而非孤立处理各次访问；据此迁移 BLE 固件，进入已连接协议状态进行分析与模糊测试。
研究范围与局限
BLE 评测覆盖 18 个目标，并补充了有限的其他 MCU 案例。硬件规格、行为规则与用例驱动仍需准备和人工验证，智能体生成规则不消除这些工作。覆盖率与已报告崩溃不证明硬件等价或协议支持穷尽，本次未执行产物。
与本合集的关联
重建缺失的外设语义，使固件及协议行为可以在仿真中被观察。
发表与复核详情
- 发表载体
- arXiv
- 发表状态
- 预印本
- 出版／提交日期
- 2026 年 8 月 30 日
- 日期依据
- 采用 arXiv 首次提交日期，未核实另行出版的版本。
- arXiv 首次提交
- 2026 年 8 月 30 日
- arXiv
- 2608.29737
- 已复核的 arXiv 版本
- v1
按预印本审阅 arXiv v1：此前向会议投稿不等于录用。论文给出匿名评审产物链接，并说明录用后发布；入口页可访问，但未核实实现的可获取性及许可。
来源复核于
本合集仅做来源复核，未重新运行论文实验。请通过原始论文或 BibTeX 引用原作者。