paperbot · PL 论文追踪

全部论文 待读 收藏

P2 CrFuzz: fuzzing multi-purpose programs through input validation

CrFuzz:通过输入验证对多用途程序进行模糊测试
FSE Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2020匹配度 2/10 · 该论文属于模糊测试(动态测试)领域,解决多用途程序受选项控制导致覆盖不佳的问题,与用户关注的核心方向(静态分析×LLM/Agent、浮点程序分析、贝叶斯程序分析)均无直接交集。虽然属于 PL/测试与修复的邻近领域,但方法上既非静态分析也不涉及 LLM,因此匹配度较低。引用 14 inbox
Suhwan Song, Chengyu Song, Yeongjin Jang, Byoungyoung Lee
crossref: 2026-09-12

AI 速览

一句话:针对多用途程序受额外选项控制、现有 fuzzer 覆盖不佳的问题,提出基于输入验证的模糊测试工具 CrFuzz。

本文关注模糊测试在一类重要软件上的适用性问题。作者观察到,当前最先进的 fuzzer 设计并不适合服务多种用途的程序,这类程序的每种用途由额外选项控制,因而现有 fuzzer 在对此类程序进行模糊测试时存在局限。基于这一观察,论文提出 CrFuzz,标题表明其核心思路是通过输入验证(input validation)来对多用途程序开展模糊测试。摘要仅陈述了问题观察与工具名称/思路,未展开具体实现机制、覆盖率引导策略、输入验证与选项控制的交互方式,也未给出实验设置、对比基线或漏洞发现数量等评估结果。

问题
当前最先进的 fuzzer 设计不适合多用途程序;这类程序的每种用途由额外选项控制,导致现有 fuzzer 对其模糊测试存在局限。
方法
提出 CrFuzz,标题表明通过输入验证(input validation)对多用途程序进行模糊测试;摘要未详述具体技术实现。
评估
摘要未给出评估方式、实验对象或结果,无法从现有信息判断其评估有效性。
原文摘要(Abstract)

Fuzz testing has been proved its effectiveness in discovering software vulnerabilities. Empowered its randomness nature along with a coverage-guiding feature, fuzzing has been identified a vast number of vulnerabilities in real-world programs. This paper begins with an observation that the design of the current state-of-the-art fuzzers is not well suited for a particular (but yet important) set of software programs. Specifically, current fuzzers have limitations in fuzzing programs serving multiple purposes, where each purpose is controlled by extra options.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot5771,
  title = {CrFuzz: fuzzing multi-purpose programs through input validation},
  author = {Suhwan Song and Chengyu Song and Yeongjin Jang and Byoungyoung Lee},
  booktitle = {FSE},
  year = {2020},
  doi = {10.1145/3368089.3409769}
}