paperbot · PL 论文追踪

全部论文 待读 收藏

P2 DISCOVER: detecting algorithmic complexity vulnerabilities

DISCOVER：检测算法复杂度漏洞
FSE Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2019匹配度 4/10 · 论文属于程序分析与抽象解释，面向算法复杂度漏洞检测，与用户关注的静态分析方法有交集；但未涉及 LLM/Agent、ML 系统、浮点程序分析或贝叶斯程序分析，也不是用 AI 改进静态分析，因此与研究方向核心匹配有限。引用 5 inbox
Payas Awadhutkar, Ganesh Ram Santhanam, Benjamin Holland, Suresh Kothari
程序分析与抽象解释安全与隐私
crossref: 2026-09-12

AI 速览

一句话：提出 DISCOVER，一种辅助人类分析者检测算法复杂度漏洞（ACV）的工具，以应对完全自动检测不可行的问题。

论文关注算法复杂度漏洞（ACV），这类漏洞可导致拒绝服务攻击，源于复杂循环终止逻辑、递归和/或资源密集型库 API 造成的资源非对称消耗。作者指出，完全自动检测 ACV 本质上是不可行的，因此需要能够辅助人类分析者的工具。DISCOVER 被定位为此类工具，用于检测 ACV。摘要未给出具体技术细节与实验评估，仅说明其目标场景是辅助人工分析。

问题
如何检测算法复杂度漏洞（ACV）；这类漏洞因复杂循环终止、递归或资源密集库 API 导致资源非对称消耗，并可被用于拒绝服务攻击。
方法
摘要主张完全自动检测 ACV 不可行，因此提出 DISCOVER 作为辅助人类分析者的检测工具；其具体技术方法未在摘要中展开。
评估
摘要未提供具体评估信息，仅说明该工具面向辅助人工分析的场景。
原文摘要（Abstract）

Algorithmic Complexity Vulnerabilities (ACV) are a class of vulnerabilities that enable Denial of Service Attacks. ACVs stem from asymmetric consumption of resources due to complex loop termination logic, recursion, and/or resource intensive library APIs. Completely automated detection of ACVs is intractable and it calls for tools that assist human analysts.

链接与引用

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

BibTeX 
@inproceedings{paperbot5084,
  title = {DISCOVER: detecting algorithmic complexity vulnerabilities},
  author = {Payas Awadhutkar and Ganesh Ram Santhanam and Benjamin Holland and Suresh Kothari},
  booktitle = {FSE},
  year = {2019},
  doi = {10.1145/3338906.3341177}
}