paperbot · PL 论文追踪

全部论文 待读 收藏

P2 GrayC: Greybox Fuzzing of Compilers and Analysers for C

GrayC：面向 C 的编译器和分析器的灰盒模糊测试
ISSTA Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis2023匹配度 3/10 · 论文属于编译器/代码分析器灰盒模糊测试，与静态分析和形式化验证工具测试有间接关联（如 Frama-C），但不涉及 LLM/Agent、浮点程序分析或贝叶斯程序分析等用户核心交叉方向。引用 60 inbox
Karine Even-Mendoza, Arindam Sharma, Alastair F. Donaldson, Cristian Cadar
测试、调试与修复
crossref: 2026-09-12

AI 速览

一句话：提出 GrayC，用灰盒模糊测试提升对 C 编译器和代码分析器的缺陷发现能力。

编译器与代码分析器的模糊测试已在 LLVM、GCC、Frama-C 等框架中发现并修复大量缺陷。然而，现有方法大多采用黑盒策略；随着这些工具不断成熟，它们对传统黑盒 fuzzer 逐渐产生免疫，继续发现新缺陷变得困难。本文提出 GrayC，面向 C 编译器和分析器采用灰盒模糊测试，利用被测程序内部反馈信息指导测试输入生成与变异，以突破黑盒 fuzzing 的局限。摘要未报告具体实验数字，但论文的核心贡献在于将灰盒 fuzzing 引入 C 编译器与分析器测试场景，旨在提升缺陷发现效率。

问题
现有针对编译器和代码分析器的模糊测试多采用黑盒方法，随着 LLVM、GCC、Frama-C 等工具成熟，黑盒 fuzzer 越来越难以发现新缺陷。
方法
GrayC 采用灰盒模糊测试，面向 C 编译器和分析器，利用被测程序的内部反馈来指导测试输入的生成与变异。
评估
给出的摘要未详述实验设置与结果；仅从摘要可知其动机基于 LLVM、GCC、Frama-C 等框架中模糊测试发现缺陷的背景。
原文摘要（Abstract）

Fuzzing of compilers and code analysers has led to a large number of bugs being found and fixed in widely-used frameworks such as LLVM, GCC and Frama-C. Most such fuzzing techniques have taken a blackbox approach, with compilers and code analysers starting to become relatively immune to such fuzzers.

链接与引用

DOI 原文 · PDF（开放获取） ·

BibTeX 
@inproceedings{paperbot8068,
  title = {GrayC: Greybox Fuzzing of Compilers and Analysers for C},
  author = {Karine Even-Mendoza and Arindam Sharma and Alastair F. Donaldson and Cristian Cadar},
  booktitle = {ISSTA},
  year = {2023},
  doi = {10.1145/3597926.3598130}
}