发布日期：2024-06-17
更新日期：2024-08-22

受影响系统：

cvc5 CVC5 Solver 1.1.3

描述：

---

CVE(CAN) ID: CVE-2024-37795

cvc5是cvc5开源的一个工具，用于确定一阶公式模一阶理论（或这些理论的组合）的可满足性。
CVC5 Solver 1.1.3版本存在分段错误漏洞，攻击者可利用此漏洞通过精心设计的SMT-LIB输入文件导致拒绝服务。

<**>

建议：

---

厂商补丁：

cvc5
----
目前厂商已经发布了升级补丁以修复这个安全问题，请到厂商的主页下载：
https://github.com/cvc5/cvc5/issues/10813

浏览次数：86
严重程度：0（网友投票）