paperbot · PL 论文追踪

全部论文 待读 收藏

P2 SnapFuzz: high-throughput fuzzing of network applications

SnapFuzz:网络应用的高吞吐量模糊测试
ISSTA Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis2022匹配度 2/10 · 该论文研究网络应用的高吞吐模糊测试,属于动态测试/软件安全方向,与用户关注的静态分析、LLM/Agent 辅助程序分析、浮点程序分析及贝叶斯程序分析均无直接交集。虽然涉及程序分析工具链与工程实现,但问题域和方法核心偏离研究画像。引用 64 inbox
Anastasios Andronidis, Cristian Cadar
crossref: 2026-09-12

AI 速览

一句话:提出面向网络应用的高吞吐模糊测试系统,缓解有状态协议实现吞吐低、测试脚手架复杂的问题。

模糊测试近年来受益于算力提升与算法进展,已在生产软件中发现大量关键缺陷与漏洞,但并非所有应用都能被高效模糊测试。本文聚焦有状态应用,特别是网络协议实现:它们受限于模糊测试吞吐量低,且常需开发复杂的模糊测试脚手架,包括自定义时间延迟和清理脚本。作者提出 SnapFuzz,一个面向网络应用的高吞吐模糊测试系统。摘要未给出具体方法机制与实验数据,因此无法从现有信息确认其实现细节和量化结果;其目标是在保持对网络应用有效测试的同时提升吞吐并降低脚手架复杂度。

问题
状态性应用(尤其是网络协议实现)的模糊测试吞吐量低,并且通常需要包含自定义时间延迟与清理脚本的复杂测试脚手架。
方法
提出名为 SnapFuzz 的系统,定位为面向网络应用的高吞吐模糊测试;标题与摘要未披露其具体技术方案。
评估
摘要未给出评估设置或结果;从问题背景看,评估应关注网络应用模糊测试的吞吐量与脚手架开销,但现有信息不足以确认具体数据。
原文摘要(Abstract)

In recent years, fuzz testing has benefited from increased computational power and important algorithmic advances, leading to systems that have discovered many critical bugs and vulnerabilities in production software. Despite these successes, not all applications can be fuzzed efficiently. In particular, stateful applications such as network protocol implementations are constrained by a low fuzzing throughput and the need to develop complex fuzzing harnesses that involve custom time delays and clean-up scripts.

链接与引用

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

BibTeX
@inproceedings{paperbot7410,
  title = {SnapFuzz: high-throughput fuzzing of network applications},
  author = {Anastasios Andronidis and Cristian Cadar},
  booktitle = {ISSTA},
  year = {2022},
  doi = {10.1145/3533767.3534376}
}