该论文提出了一种名为 FIRMWELL 的固件重宿主框架，旨在解决 Linux 固件二进制文件在用户空间依赖项模拟不足的问题。现有方法对用户空间知识利用不充分，导致初始化过程不完整，且将所有模拟失败视为同类，无法区分系统级问题与用户空间依赖的间接影响。FIRMWELL 将固件重宿主建模为目标二进制文件及其用户空间依赖的协同模拟，先重宿主 init 例程构建环境，再启动目标（通常涉及数百个进程）。当模拟失败时，识别阻塞进程，分析错误模拟的资源，并应用针对性修复。其关键策略是通过纠正底层系统级模拟错误来解决用户空间依赖失败，同时利用程序分析进行精确资源值推断。在 14,049 个固件镜像上评估，成功重宿主 6,490 个服务，性能比现有方法（FIRMAE: 3,581, GREENHOUSE: 3,962, PANDAWAN: 810）提升 1.6-8 倍，平均重宿主时间减少 1.8-8.4 倍（12 分钟 vs 22/74/101 分钟）。应用 FIRMWELL 对 1,043 个固件镜像进行模糊测试，发现 67 个零日漏洞，其中 10 个已分配 CVE 编号。

该论文提出了 FirmCure，第一个基于大语言模型（LLM）的全系统固件重托管框架，旨在自动化和自适应地重托管 Linux 固件。现有固件重托管方法在处理定制化设备时，由于专用架构和硬件依赖配置，导致初始化及运行时障碍严重依赖专家干预，效率低下。FirmCure 通过三个核心模块解决该问题：自适应感知推理模块，通过静态分析提取固件结构依赖；反射合成模块，迭代优化配置；自主运行时干预模块，通过运行时故障诊断与监控实时修复错误。在来自 10 个厂商、5 种架构的 21 个 IoT 固件映像上评估，FirmCure 实现了 100% 的网络端口开启率和 90.5% 的服务交互性，显著优于现有基线。框架成功复现已知漏洞并发现新安全缺陷，证明其干预策略可跨异构固件泛化。该工作推动了固件安全分析中全系统重托管的自动化水平，降低了对专家知识的依赖。

该论文提出了一种名为Greenhouse的方法，用于在用户态模拟环境中重新托管基于Linux的固件二进制文件。固件重托管是嵌入式设备安全分析中的关键技术，它允许研究人员在模拟环境中运行固件，而无需实际硬件，从而便于进行动态分析、漏洞挖掘和功能测试。传统的全系统模拟方法通常需要模拟整个硬件平台，开销大且复杂度高。Greenhouse的创新之处在于专注于单一服务（single-service）的重托管，即仅提取固件中的某个关键服务（如Web服务器、网络服务等），并在用户态模拟器（如QEMU用户态模式）中直接运行该服务，而无需模拟整个操作系统或硬件。这种方法显著降低了模拟的开销和配置复杂度。论文在多种真实世界固件上进行了实验验证，展示了Greenhouse在功能正确性和性能方面的优势。虽然此处提供的摘要较为简略，但根据标题和领域背景，该工作对嵌入式安全研究社区具有重要参考价值，特别是为自动化固件分析工具的开发提供了新思路。