paperbot · PL 论文追踪

全部论文 待读 收藏

P2 MTFuzz: fuzzing with a multi-task neural network

MTFuzz:基于多任务神经网络的模糊测试
FSE Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2020匹配度 2/10 · 论文将多任务神经网络用于模糊测试变异,属于机器学习辅助的动态测试/模糊测试,而非用户关注的使用静态分析分析 ML/Agentic 程序,也不是用 LLM/Agent 改进静态分析或形式化验证,且与浮点程序分析、贝叶斯程序分析无直接交叉。引用 46 inbox
Dongdong She, Rahul Krishna, Lu Yan, Suman Jana, Baishakhi Ray
crossref: 2026-09-12

AI 速览

一句话:提出 MTFuzz,用多任务神经网络学习输入空间紧凑嵌入以指导模糊测试变异,发现 11 个新缺陷并提升边覆盖。

模糊测试常通过进化搜索生成输入以最大化代码覆盖,但容易陷入大量无效变异。近期基于机器学习的变异策略虽有前景,却受训练数据质量与多样性限制:目标程序输入空间高维稀疏,收集多样且带成功/失败标签的样本代价过高。论文提出 MTFuzz,使用多任务神经网络在多个相关覆盖预测任务上学习输入空间的紧凑嵌入;该嵌入能指导变异过程,将多数变异集中在梯度较高的嵌入区域。评估在 10 个真实程序上,与 5 个先进模糊器相比平均获得约 2 倍边覆盖,并发现 11 个此前未知的缺陷。

问题
如何克服进化式模糊测试中无效变异序列和现有 ML 变异策略训练数据质量和多样性不足的问题,以更有效地探索高维稀疏输入空间。
方法
采用多任务神经网络,在多个覆盖预测相关任务上学习输入空间的紧凑嵌入,并依据嵌入梯度高区域集中进行变异。
评估
在 10 个真实程序上与 5 个先进模糊器比较边覆盖,并报告新发现缺陷数量;平均获得约 2 倍边覆盖,发现 11 个此前未知缺陷。
原文摘要(Abstract)

Fuzzing is a widely used technique for detecting software bugs and vulnerabilities. Most popular fuzzers generate new inputs using an evolutionary search to maximize code coverage. Essentially, these fuzzers start with a set of seed inputs, mutate them to generate new inputs, and identify the promising inputs using an evolutionary fitness function for further mutation.Despite their success, evolutionary fuzzers tend to get stuck in long sequences of unproductive mutations. In recent years, machine learning (ML) based mutation strategies have reported promising results. However, the existing ML-based fuzzers are limited by the lack of quality and diversity of the training data. As the input space of the target programs is high dimensional and sparse, it is prohibitively expensive to collect many diverse samples demonstrating successful and unsuccessful mutations to train the model.In this paper, we address these issues by using a Multi-Task Neural Network that can learn a compact embedding of the input space based on diverse training samples for multiple related tasks (i.e.,predicting for different types of coverage). The compact embedding can guide the mutation process by focusing most of the mutations on the parts of the embedding where the gradient is high. MTFuzz uncovers 11 previously unseen bugs and achieves an average of 2× more edge coverage compared with 5 state-of-the-art fuzzer on 10 real-world programs

链接与引用

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

BibTeX
@inproceedings{paperbot5715,
  title = {MTFuzz: fuzzing with a multi-task neural network},
  author = {Dongdong She and Rahul Krishna and Lu Yan and Suman Jana and Baishakhi Ray},
  booktitle = {FSE},
  year = {2020},
  doi = {10.1145/3368089.3409723}
}