paperbot · PL 论文追踪

全部论文 待读 收藏

P2 TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break

TreeLine 与 SlackLine:基于语法的性能模糊测试(Coffee Break)
ISSTA Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis2023匹配度 2/10 · 该论文属于程序测试/模糊测试方向,关注基于上下文无关文法的性能缺陷发现,与用户核心方向(LLM 与静态分析/形式化验证、浮点程序分析、贝叶斯程序分析)没有直接交集,也非 LLM/Agent 作为工具的研究。仅在 PL/软件工程工具实现层面有微弱关联。引用 0 inbox
Ziyad Alsaeed, Michal Young
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:提出两种基于上下文无关文法的性能模糊测试器 TreeLine 和 SlackLine,可在数分钟内从有效输入中发现性能问题。

传统模糊测试常需长时间运行,以寻找触发安全漏洞的(多为无效的)输入,而较少关注合法输入引发的性能缺陷。本文提出 TreeLine 与 SlackLine,两种面向上下文无关文法描述的结构化文本程序的基于语法的模糊器,目标是在有效输入空间中快速发现性能问题。二者使用相同的文法规范与插桩执行后端,前端搜索策略分别为 Monte Carlo Tree Search 与推导树拼接。分离关注点便于研究者替换或扩展前端搜索与后端执行。作者强调其能在数分钟而非数小时内发现性能问题,但摘要未报告具体基准与定量结果。

问题
如何针对由丰富结构化文本驱动的程序,在合法输入空间内快速发现性能问题,而非长时间寻找无效输入触发的安全漏洞。
方法
提出 TreeLine 与 SlackLine 两个基于语法的模糊器,共享文法规范与插桩执行后端,前端分别使用 Monte Carlo Tree Search 和推导树拼接搜索有效输入。
评估
评估目标是在数分钟内而非数小时内发现性能问题,并复用公共插桩执行后端;摘要未提供具体实验基准与定量数据。
原文摘要(Abstract)

TreeLine and SlackLine are grammar-based fuzzers for quickly finding performance problems in programs driven by richly structured text that can be described by context-free grammar. In contrast to long fuzzing campaigns to find (mostly invalid) inputs that trigger security vulnerabilities, TreeLine and SlackLine are designed to search for performance problems in the space of valid inputs in minutes rather than hours. The TreeLine and SlackLine front-ends differ in search strategy (Monte Carlo Tree Search or derivation tree splicing, respectively) but accept the same grammar specifications and rely on a common back-end for instrumented execution. Separation of concerns should facilitate use by other researchers who wish to explore alternatives and extensions of either the front or back ends.

链接与引用

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

BibTeX
@inproceedings{AlsaeedY23a,
  title = {TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break},
  author = {Ziyad Alsaeed and Michal Young},
  booktitle = {ISSTA},
  year = {2023},
  doi = {10.1145/3597926.3604925}
}