paperbot · PL 论文追踪

全部论文 待读 收藏

P2 MITHRAS: A Dynamic Analysis Framework for the Mobile-IoT Ecosystem

MITHRAS:面向移动-IoT 生态系统的动态分析框架
FSE Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering2025匹配度 2/10 · 该论文是面向 Mobile-IoT 固件与移动伴侣应用的动态分析/仿真框架,属于程序分析与安全领域,但既不涉及 LLM/Agentic 程序,也不涉及浮点程序分析、贝叶斯程序分析或 AI↔PL 交叉方向。其关注点为固件重托管、动态插桩与 PHP 追踪,与用户当前核心研究问题匹配度很低。引用 0 inbox
Francesco Pagano, Mariano Ceccato, Alessio Merlo, Paolo Tonella
crossref: 2026-09-12

AI 速览

一句话:MITHRAS:支持 IoT 固件与移动伴侣应用通信、动态插桩和 PHP 实时追踪的动态分析框架。

固件重托管对仿真和执行设备专用固件、开展固件测试与安全评估至关重要。然而,Firmadyne、FirmAE 等现有 IoT 固件仿真方案无法模拟与外部客户端的通信,且对实时与安全测试支持有限。MITHRAS 是一个面向移动-IoT 生态的动态分析框架,支持对 IoT 设备固件进行静态插桩和完整仿真,使仿真设备能与智能手机伴侣应用等外部客户端通信;同时支持对伴侣应用代码进行动态插桩,以收集其执行细节。该框架还提供仿真设备与伴侣应用之间的无缝通信、完全集成的仿真环境,并支持 PHP 脚本执行的实时追踪。论文以演示形式展示这些能力。

问题
现有 IoT 固件仿真器难以模拟设备与外部客户端(如智能手机伴侣应用)的通信,并缺乏充分的实时与安全测试支持。
方法
MITHRAS 对 IoT 固件进行静态插桩与全仿真,对移动伴侣应用进行动态插桩,并提供无缝通信和 PHP 脚本实时追踪的集成仿真环境。
评估
论文以演示形式说明框架支持固件—伴侣应用通信与运行时追踪;摘要未报告定量评估结果。
原文摘要(Abstract)

Firmware re-hosting is crucial when developing methodologies to simulate and execute device-specific firmware, including techniques for firmware testing and security assessments. Although state-of-the-art solutions such as Firmadyne and FirmAE emulate IoT firmware, they cannot simulate communication with external clients and provide limited real-time and security testing support. In this demonstration, we introduce MITHRAS. This novel simulation framework enables static instrumentation and full emulation of IoT device firmware, allowing communication with external clients such as the companion app installed on a smartphone. MITHRAS also supports dynamic instrumentation of the code of the mobile companion app, allowing users to gather detailed information on the app's execution. MITHRAS supports seamless communication between the emulated IoT device and its companion smartphone app, providing a fully integrated emulation environment. Moreover, it offers real-time tracing of php script executions.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot9185,
  title = {MITHRAS: A Dynamic Analysis Framework for the Mobile-IoT Ecosystem},
  author = {Francesco Pagano and Mariano Ceccato and Alessio Merlo and Paolo Tonella},
  booktitle = {FSE},
  year = {2025},
  doi = {10.1145/3696630.3728597}
}