paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Griffin : Grammar-Free DBMS Fuzzing

Griffin:无需语法的 DBMS 模糊测试
ASE Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering2022匹配度 2/10 · 该论文研究 DBMS 模糊测试中的免语法依赖方法,属于软件测试/动态分析方向,与用户关注的静态分析、LLM/Agent 与程序分析交叉、浮点程序分析或贝叶斯程序分析均无明显关联。虽然涉及程序分析邻近领域,但研究目标和问题不在该研究画像的核心范围内。引用 51 inbox
Jingzhou Fu, Jie Liang, Zhiyong Wu, Mingzhe Wang, Yu Jiang
crossref: 2026-09-12

AI 速览

一句话:提出免语法依赖的 DBMS 模糊测试思路 Griffin,旨在降低跨不同 DBMS 的模糊测试适配成本。

论文关注 DBMS 模糊测试中的语法依赖问题。由于 DBMS 会对输入进行严格校验,现有模糊测试通常借助语法生成语法和语义正确的 SQL 语句,以提高测试效率;但不同 DBMS 的复杂语法差异巨大,使模糊测试器难以适配到新的 DBMS,而大量 DBMS 仍未得到充分测试。为此,作者提出 Griffin,一种无需语法依赖的 DBMS 模糊测试方法/框架,目标是摆脱对特定 DBMS 语法的绑定,从而更易适配和测试各类 DBMS。摘要主要阐述了动机与目标,未展开 Griffin 的具体生成或变异机制,也未报告实验评估与关键结果。

问题
现有 DBMS 模糊测试依赖语法来生成合法 SQL,但不同 DBMS 语法差异大,导致模糊测试器适配成本高,且许多 DBMS 缺乏充分测试。
方法
提出 Griffin,一种免语法的 DBMS 模糊测试方法/框架,旨在不依赖特定 DBMS 语法的情况下开展模糊测试;摘要未披露其具体实现机制。
评估
摘要未给出评估设置或实验结果,仅提出免语法 DBMS 模糊测试的需求与方向。
原文摘要(Abstract)

Fuzzing is a promising approach to DBMS testing. One crucial component in DBMS fuzzing is grammar: since DBMSs enforce strict validation on inputs, a grammar improves fuzzing efficiency by generating syntactically- and semantically-correct SQL statements. However, due to the vast differences in the complex grammar of various DBMSs, it is painstaking to adapt these fuzzers to them. Considering that lots of DBMSs are not yet well tested, there is an urgent need for an effective DBMS fuzzing approach that is free from grammar dependencies.

链接与引用

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

BibTeX
@inproceedings{paperbot7288,
  title = {Griffin : Grammar-Free DBMS Fuzzing},
  author = {Jingzhou Fu and Jie Liang and Zhiyong Wu and Mingzhe Wang and Yu Jiang},
  booktitle = {ASE},
  year = {2022},
  doi = {10.1145/3551349.3560431}
}