paperbot · PL 论文追踪

全部论文 待读 收藏

P2 IDBFuzz: Web Storage DataBase Fuzzing with Controllable Semantics

IDBFuzz:具有可控语义的 Web 存储数据库模糊测试
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 1/10 · 该论文研究的是 IndexedDB 的模糊测试,属于动态测试/模糊测试方向,与用户关注的静态分析、LLM 与程序分析交叉、浮点程序分析、贝叶斯程序分析等方向均无直接关联。引用 0 inbox
Jingyi Chen, Jinfu Chen, Saihua Cai, Shengran Wang
crossref: 2026-09-12

AI 速览

一句话:首个面向 IndexedDB API 的模糊测试方法,通过 IR 种子生成与全局数据库快照实现语义可控的高质量测试用例生成。

浏览器 API 模糊测试虽已取得长足进展,但针对 Web 存储技术的系统性测试方法仍然缺失。IndexedDB 是现代浏览器中最流行的 NoSQL 数据库,其异步事件驱动特性和严格的阶段分离给 API 模糊测试带来了独特挑战:现有浏览器模糊测试技术难以生成嵌套的事件流与调用,严重影响语义正确性,且往往依赖 try-catch 块抑制异常,引入可观的性能开销。本文提出 IDBFuzz,这是首个为 IndexedDB API 量身定制的模糊测试方法,能够有效捕获 IndexedDB 固有的执行上下文与事件语义,并处理大型持久化对象。作者设计了一种基于中间表示(IR)的种子生成器,将分层 IR 骨架与输入对象生成解耦;借助全局数据库快照,IDBFuzz 可以生成语义可控的种子,从而高效产出显著提升覆盖率的高质量测试用例。

问题
浏览器 API 模糊测试缺乏针对 Web 存储技术的系统化方法,IndexedDB 的异步事件驱动与严格阶段分离导致嵌套事件流和调用难以生成、语义正确性受损,且现有技术依赖 try-catch 抑制异常带来性能开销。
方法
提出 IDBFuzz,通过捕获 IndexedDB 的执行上下文与事件语义、支持大型持久对象,并采用基于 IR 的种子生成器将分层 IR 骨架与输入对象生成解耦,结合全局数据库快照生成语义可控的种子。
评估
通过生成语义可控的高质量测试用例进行模糊测试评估,结果表明其显著提升了代码覆盖率。
原文摘要(Abstract)

Despite great progress in fuzzing browser APIs, systematic approaches for testing web storage techniques remain absent. IndexedDB, the most popular NoSql database in modern browsers, brings unique challenges for fuzzing its API due to its asynchronous event-driven feature and strict phase separation. Current browser fuzzing techniques frequently struggle to generate nested event flows and invocations, which significantly impacts semantic correctness. Moreover, they often rely heavily on the try-catch block to suppress exceptions, which introduces substantial performance overhead. We propose IDBFuzz, the first fuzzing approach tailored for the IndexedDB API, which effectively tackles the challenge of capturing the execution context and event semantics inherent to IndexedDB, as well as handling large persistent objects. We design a seed generator based on intermediate representation (IR) that decouples layered IR skeletons from input object generation. With the aid of a global database snapshot, IDBFuzz can generate semantically controllable seeds, enabling the efficient production of high-quality test cases that significantly improve coverage.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot9533,
  title = {IDBFuzz: Web Storage DataBase Fuzzing with Controllable Semantics},
  author = {Jingyi Chen and Jinfu Chen and Saihua Cai and Shengran Wang},
  booktitle = {ASE},
  year = {2025},
  doi = {10.1109/ase63991.2025.00346}
}