paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Invivo Fuzzing by Amplifying Actual Executions

In Vivo 模糊测试:通过放大实际执行
ICSE 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)2025匹配度 2/10 · 论文研究的是库模糊测试(动态程序分析),而用户的研究方向集中在静态分析、形式化验证及其与 LLM/Agent 的交叉,以及浮点/贝叶斯程序分析。该论文不涉及这些主题,也未使用 LLM/Agent,因此匹配度很低。引用 2 inbox
Octavio Galland, Marcel Böhme
crossref: 2026-09-12

AI 速览

一句话:提出 in vivo fuzzing:用宿主程序执行上下文放大真实执行,对库中目标函数做覆盖引导的函数级模糊测试,免去手写 fuzz driver。

论文关注库模糊测试中编写 fuzz driver 的瓶颈:多数驱动过于简单,无法覆盖库与宿主程序之间的复杂交互,导致安全缺陷仍可能漏检。作者提出 in vivo fuzzing 方法:直接利用使用该库的宿主程序建立的有效执行上下文,先运行宿主直到到达目标函数列表中的某个函数,再对该函数进行覆盖引导的函数级模糊测试;额度用尽后切换到下一个目标。该方式减少开发者将模糊测试接入工作流所需的手工驱动,并使 fuzzer 能探索库在真实程序中的使用路径。摘要未给出具体实验数据。

问题
库模糊测试依赖手工 fuzz driver,且简单驱动难以覆盖库与宿主程序之间的复杂交互,导致关键安全缺陷漏检。
方法
利用宿主程序建立的有效执行上下文,先运行至目标函数列表中的函数,再对其进行覆盖引导的函数级模糊测试,并逐个目标推进。
评估
摘要未报告定量实验;评估思路是借助真实宿主程序放大实际执行,并对库中目标函数进行覆盖引导模糊测试。
原文摘要(Abstract)

A major bottleneck that remains when fuzzing software libraries is the need for fuzz drivers, i.e., the glue code between the fuzzer and the library. Despite years of fuzzing, critical security flaws are still found, e.g., by manual auditing, because the fuzz drivers do not cover the complex interactions between the library and the host programs using it. In this work we propose an alternative approach to library fuzzing, which leverages a valid execution context that is set up by a given program using the library (the host), and amplify its execution. More specifically, we execute the host until a designated function from a list of target functions has been reached, and then perform coverage-guided function-level fuzzing on it. Once the fuzzing quota is exhausted, we move on to fuzzing the next target from the list. In this way we not only reduce the amount of manual work needed by a developer to incorporate fuzzing into their workflow, but we also allow the fuzzer to explore parts of the library as they are used in real-world programs that may otherwise not have been tested due to the simplicity of most fuzz drivers.

链接与引用

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

BibTeX
@inproceedings{paperbot8930,
  title = {Invivo Fuzzing by Amplifying Actual Executions},
  author = {Octavio Galland and Marcel Böhme},
  booktitle = {ICSE},
  year = {2025},
  doi = {10.1109/icse55347.2025.00172}
}