We describe techniques based on symbolic execution for finding software vulnerabilities that are due to algorithmic complexity. Such vulnerabilities allow an attacker to mount denial‐of‐service attacks to deny service to benign users or to otherwise disable a software system.

中文翻译：

---

使用符号执行的复杂性漏洞分析

我们描述了基于符号执行的技术，用于查找由于算法复杂性而导致的软件漏洞。此类漏洞使攻击者可以发起拒绝服务攻击，以拒绝对良性用户提供服务或以其他方式禁用软件系统。