该论文针对固件重宿主（firmware rehosting）技术在测试嵌入式协议栈时难以到达深层应用状态的问题展开研究。作者指出现有重宿主方法通常采用被动近似的外设行为建模，忽视了三方面关键因素：(i) 中断、MMIO 与 DMA 之间的协同调度关系；(ii) 外设内部隐含的状态转换；(iii) 多个外设之间的交互影响。为了克服这些局限，论文提出了反应式外设建模（Reactive Peripheral Modeling, RPM）抽象，将硬件外设建模为具有反应性和状态机的系统，采用事件-条件-动作（ECA）语义捕获外设行为，从而忠实刻画中断、MMIO、DMA 调度、隐式状态转换以及跨外设交互。作者在 Bluezz 系统中实现了 RPM，并针对 BLE 固件重宿主与模糊测试进行验证，在 NimBLE、Zephyr 及 Nordic SoftDevice（闭源商业栈）等代表性 BLE 协议栈上开展实验。结果表明，在 18 个测试目标上，Bluezz 的平均基本块覆盖率是之前最先进重宿主方法（state-of-the-art）的 2.6 倍以上；与既有方法大多局限于广播与扫描逻辑不同，Bluezz 能够可靠地进入已连接（connected）BLE 状态，并发现了 5 个仅在连接建立后才显现的未知漏洞。此外，作者证明 RPM 方法可泛化到运行于不同 MCU 的其他嵌入式固件。该工作的核心贡献在于提出反应式外设建模这一抽象，系统性解决了重宿主中对外设语义建模不完善的问题，提升了固件测试的深度与效率。适合固件安全研究人员、嵌入式系统测试工程师及相关方向学者阅读。

嵌入式系统的网络接口是其主要攻击面之一，但与传统通用系统不同，嵌入式系统使用专用且多样化的通信协议栈。当前针对嵌入式网络栈的安全评估方法通常依赖人工操作或物理硬件，且只关注系统的局部。固件重宿主（firmware rehosting）作为替代方案，通过对物理硬件进行通用模拟，实现对固件整体的模糊测试。然而，现有重宿主方法难以有效探索网络栈，因为网络输入格式复杂且多层，导致无法发现深层嵌套的软件错误。本文提出一种名为 Pemu 的新方法，自动检测并处理固件中使用的网络协议。Pemu 通过自动推断可用网络协议，透明地生成封装模糊测试数据的合法网络数据包，使测试输入直接深入固件逻辑的更深层次，从而对以前难以或无法测试的组件进行更深、更有针对性的逐层分析。评估表明，Pemu 一致地提升了三种现有嵌入式网络栈重宿主工具的代码覆盖率。此外，该模糊器重新发现了多个已知漏洞，并识别出五个以前未知的软件错误，充分展示了其在发现网络暴露代码中深层嵌套缺陷方面的有效性。本文的核心贡献在于自动化协议处理与重宿主集成，为嵌入式网络栈安全测试提供了新思路，适合固件安全研究者、漏洞挖掘工程师及工业控制系统安全评估人员阅读。