paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Revisiting Neural Program Smoothing for Fuzzing

重新审视用于模糊测试的神经程序平滑
FSE Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2023匹配度 3/10 · 论文属于 ML 引导的模糊测试/神经程序平滑,虽处在 PL+ML 交叉并重视基准与可复现平台,但与用户核心方向(静态分析、LLM/Agent 改进分析验证、浮点程序分析、贝叶斯程序分析)没有直接关联,也不涉及 LLM/Agent 或静态分析。引用 10 inbox
Maria-Irina Nicolae, Max Eisele, Andreas Zeller
crossref: 2026-09-12dblp: 2026-09-12arxiv: 2026-09-12

AI 速览

一句话:对神经程序平滑模糊测试器进行迄今最大规模评估,发现其性能优势不成立,并提出改进与基准测试平台。

神经程序平滑(NPS)是一类用神经网络平滑近似目标程序、以指导测试用例生成的机器学习引导模糊测试器,此前工作声称其性能优于标准灰盒模糊测试器。本文进行了目前最广泛的 NPS 模糊测试器评估,耗费超过 11 CPU 年和 5.5 GPU 年,并与标准灰盒模糊测试器对比。结果表明,NPS 模糊测试器原先的性能主张无法成立,这一差距与已有工作在基础、实现和实验设置上的局限有关。作者首次深入分析 NPS 中机器学习和基于梯度变异各自的贡献,实现 Neuzz++,说明解决 NPS 的实际局限能提升性能,但标准灰盒模糊测试器几乎总能超越基于 NPS 的模糊测试器。基于此,论文提出面向机器学习模糊测试基准测试的新指南,并发布 MLFuzz 平台以支持可复现评估。

问题
已有神经程序平滑(NPS)模糊测试器宣称优于标准灰盒模糊测试器,但其实际效果和机器学习、梯度变异的作用缺乏严格验证。
方法
作者进行大规模可复现实验,将 NPS 模糊测试器与标准灰盒模糊测试器对比,分析 NPS 中机器学习与梯度变异的贡献,并实现改进版 Neuzz++ 及 GPU 平台 MLFuzz。
评估
通过超过 11 CPU 年和 5.5 GPU 年的实验评估 NPS 模糊测试器,发现原始性能优势不成立;Neuzz++ 虽有改进,但标准灰盒模糊测试器几乎总是更优。
原文摘要(Abstract)

Testing with randomly generated inputs (fuzzing) has gained significant traction due to its capacity to expose program vulnerabilities automatically. Fuzz testing campaigns generate large amounts of data, making them ideal for the application of machine learning (ML). Neural program smoothing, a specific family of ML-guided fuzzers, aims to use a neural network as a smooth approximation of the program target for new test case generation. In this paper, we conduct the most extensive evaluation of neural program smoothing (NPS) fuzzers against standard gray-box fuzzers (>11 CPU years and >5.5 GPU years), and make the following contributions: We find that the original performance claims for NPS fuzzers do not hold; a gap we relate to fundamental, implementation, and experimental limitations of prior works. We contribute the first in-depth analysis of the contribution of machine learning and gradient-based mutations in NPS. We implement Neuzz++, which shows that addressing the practical limitations of NPS fuzzers improves performance, but that standard gray-box fuzzers almost always surpass NPS-based fuzzers. As a consequence, we propose new guidelines targeted at benchmarking fuzzing based on machine learning, and present MLFuzz, a platform with GPU access for easy and reproducible evaluation of ML-based fuzzers. Neuzz++, MLFuzz, and all our data are public.

链接与引用

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

BibTeX
@inproceedings{NicolaeEZ23,
  title = {Revisiting Neural Program Smoothing for Fuzzing},
  author = {Maria-Irina Nicolae and Max Eisele and Andreas Zeller},
  booktitle = {FSE},
  year = {2023},
  doi = {10.1145/3611643.3616308}
}