paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Understanding and Detecting Performance Bugs in Markdown Compilers

理解与检测 Markdown 编译器中的性能缺陷
ASE 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)2021匹配度 2/10 · 该论文研究 Markdown 编译器的性能缺陷与模糊测试,属于软件测试/编译器工程方向,与用户核心关注的应用静态分析、LLM/Agent 与程序分析交叉、浮点程序分析或贝叶斯程序分析均无直接关联。引用 12 inbox
Penghui Li, Yinxi Liu, Wei Meng
crossref: 2026-09-12

AI 速览

一句话:系统研究 Markdown 编译器的性能缺陷,指出上下文敏感特性的处理是主要根因,并提出模糊测试框架 MdPerfFuzz 检测未知缺陷。

Markdown 编译器被广泛用于将纯文本 Markdown 转换为格式化文本,但它们存在会导致性能下降与资源耗尽的性能缺陷,而学界对这类真实缺陷尚缺乏认识。本文首先对 Markdown 编译器中已知的性能缺陷展开系统性研究,发现编译器处理 Markdown 语言上下文敏感特性(context-sensitive features)的方式是性能缺陷的主要根因。为检测未知性能缺陷,作者实现了 MdPerfFuzz:一个采用基于语法树的变异策略的模糊测试框架,能够高效生成可触发此类缺陷的测试用例;框架还配有执行轨迹相似度算法,用于对缺陷报告去重。借助 MdPerfFuzz,作者在真实世界的 Markdown 编译器与应用中成功发现 216 个此前未知的性能缺陷。该工作表明,性能缺陷是一种常见、严重但此前被忽视的安全问题。

问题
Markdown 编译器中的性能缺陷会造成性能退化和资源耗尽,但人们对真实世界中这类缺陷的成因与分布缺乏系统认识。
方法
对已知性能缺陷进行实证研究以定位根因(上下文敏感特性处理),并实现基于语法树变异策略与执行轨迹相似度去重的模糊测试框架 MdPerfFuzz 来检测未知缺陷。
评估
将 MdPerfFuzz 应用于真实世界的 Markdown 编译器与应用,成功检测出 216 个新的性能缺陷,验证了此类缺陷的普遍性与严重性。
原文摘要(Abstract)

Markdown compilers are widely used for translating plain Markdown text into formatted text, yet they suffer from performance bugs that cause performance degradation and resource exhaustion. Currently, there is little knowledge and understanding about these performance bugs in the wild. In this work, we first conduct a comprehensive study of known performance bugs in Markdown compilers. We identify that the ways Markdown compilers handle the language’s context-sensitive features are the dominant root cause of performance bugs. To detect unknown performance bugs, we develop MdPerfFuzz, a fuzzing framework with a syntax-tree based mutation strategy to efficiently generate test cases to manifest such bugs. It equips an execution trace similarity algorithm to de-duplicate the bug reports. With MdPerfFuzz, we successfully identified 216 new performance bugs in real-world Markdown compilers and applications. Our work demonstrates that the performance bugs are a common, severe, yet previously overlooked security problem.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot6550,
  title = {Understanding and Detecting Performance Bugs in Markdown Compilers},
  author = {Penghui Li and Yinxi Liu and Wei Meng},
  booktitle = {ASE},
  year = {2021},
  doi = {10.1109/ase51524.2021.9678611}
}