paperbot · PL 论文追踪

全部论文 待读 收藏

P2 RusyFuzz: Unhandled Exception Guided Fuzzing for Rust OS Kernel

RusyFuzz:面向 Rust 操作系统内核的未处理异常引导模糊测试
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 2/10 · 该论文关注 Rust 内核模糊测试与 panic 引导,属于软件测试/调试方向,与用户的静态分析、LLM/Agent 交叉、浮点程序分析及贝叶斯程序分析等核心方向基本无关;仅同属 PL/系统软件安全的大领域。引用 0 inbox
Yuwei Liu, Yanhao Wang, Minghua Wang, Lin Huang, Purui Su, Tao Wei
crossref: 2026-09-12

AI 速览

一句话:提出 RusyFuzz,以未处理异常(panic)为引导信号,针对 Rust 内核特有失败模式进行模糊测试。

Rust 的类型系统与所有权模型消除了操作系统内核中的许多传统内存安全问题,但逻辑错误(如未检查的索引、unwrap 失败等)仍会触发 panic!,导致整个系统崩溃。现有内核模糊测试器主要面向 C 语言内核并依赖 KCOV,将所有崩溃一视同仁,未能考虑 Rust 特有的失败模式。为此,作者提出 RusyFuzz,利用未处理异常作为引导信号,识别并优先探索 Rust 内核中易触发 panic 的路径,从而更有效地发现被现有工具忽略的 Rust 特有缺陷。摘要未详述具体实验设置与结果,但问题定位与工具设计针对 Rust OS 内核的 panic 崩溃场景。

问题
Rust 内核中逻辑错误仍会通过 panic! 使整个系统崩溃,而现有面向 C 内核、依赖 KCOV 的模糊测试器将所有崩溃同等对待,无法识别 Rust 特有的失败模式。
方法
提出 RusyFuzz,以未处理异常(panic)为引导信号,对 Rust 内核中的 panic 路径进行定向探索与模糊测试。
评估
以 Rust 操作系统内核为测试对象,并与主要面向 C 内核、依赖 KCOV 的现有内核模糊测试器进行对比;摘要未给出具体实验数据。
原文摘要(Abstract)

Rust’s strong type system and ownership model eliminate many traditional memory safety issues in OS kernels. However, logic errors—such as unchecked indexing and failed unwrap operations—can still cause panic!s that crash the entire system. Existing kernel fuzzers, designed primarily for C-based kernels and reliant on KCOV, treat all crashes uniformly and fail to account for Rust-specific failure modes.

链接与引用

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

BibTeX
@inproceedings{paperbot11877,
  title = {RusyFuzz: Unhandled Exception Guided Fuzzing for Rust OS Kernel},
  author = {Yuwei Liu and Yanhao Wang and Minghua Wang and Lin Huang and Purui Su and Tao Wei},
  booktitle = {ICSE},
  year = {2026},
  doi = {10.1145/3744916.3773138}
}