paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Badger: complexity analysis with fuzzing and symbolic execution

Badger：结合模糊测试与符号执行的复杂度分析
ISSTA Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis2018匹配度 2/10 · 论文属于传统程序分析/测试中的复杂度分析，结合模糊测试与符号执行，但完全不涉及 LLM/Agent、浮点程序分析或贝叶斯程序分析等画像核心交叉方向。虽然符号执行与程序分析相关，但研究问题与用户当前追踪的 PL×AI 交叉方向距离较远。引用 64 inbox
Yannic Noller, Rody Kersten, Corina S. Păsăreanu
测试、调试与修复程序分析与抽象解释
crossref: 2026-09-12

AI 速览

一句话：提出结合模糊测试与符号执行的复杂度分析工具 Badger，发现最坏情况时间/空间复杂度异常脆弱点。

论文针对软件中平均情况与最坏情况复杂度差异所引发的潜在漏洞，提出 Badger——一种面向复杂度分析的混合测试方法。已有结合模糊测试与符号执行的混合测试在提升代码覆盖率、发现细微错误与漏洞方面表现良好，Badger 将这一思路扩展至时间/空间复杂度分析，旨在发现当最坏情况复杂度显著高于平均情况时才暴露的脆弱性。摘要主要介绍方法的动机与总体设计，未给出具体实现细节、实验设置或量化结果。

问题
论文关注当应用的最坏情况时间或空间复杂度显著高于平均情况时才会出现的漏洞，这类复杂度异常可能带来性能或资源耗尽问题。
方法
Badger 将模糊测试与符号执行结合为混合测试方法，用于复杂度分析，以高代码覆盖率为目标搜索复杂度脆弱点。
评估
摘要未报告具体评估方式、实验对象或量化结果，仅指出混合测试在覆盖率和漏洞发现上具有前景。
原文摘要（Abstract）

Hybrid testing approaches that involve fuzz testing and symbolic execution have shown promising results in achieving high code coverage, uncovering subtle errors and vulnerabilities in a variety of software applications. In this paper we describe Badger - a new hybrid approach for complexity analysis, with the goal of discovering vulnerabilities which occur when the worst-case time or space complexity of an application is significantly higher than the average case.

链接与引用

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

BibTeX 
@inproceedings{paperbot4820,
  title = {Badger: complexity analysis with fuzzing and symbolic execution},
  author = {Yannic Noller and Rody Kersten and Corina S. Păsăreanu},
  booktitle = {ISSTA},
  year = {2018},
  doi = {10.1145/3213846.3213868}
}