一、 漏洞 CVE-2024-37794 基础信息
漏洞标题
N/A
来源：AIGC 神龙大模型
漏洞描述信息
在CVC5求解器v1.1.3中执行不当的输入验证，攻击者可以通过构造的SMT2输入文件导致拒绝服务（DoS）。
来源：AIGC 神龙大模型
CVSS信息
CVSS:3.1/AV:L/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H
来源：AIGC 神龙大模型
漏洞类别
输入验证不恰当
来源：AIGC 神龙大模型
漏洞标题
N/A
来源：美国国家漏洞数据库 NVD
漏洞描述信息
Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.
来源：美国国家漏洞数据库 NVD
CVSS信息
N/A
来源：美国国家漏洞数据库 NVD
漏洞类别
N/A
来源：美国国家漏洞数据库 NVD
漏洞标题
CVC5 Solver 安全漏洞
来源：中国国家信息安全漏洞库 CNNVD
漏洞描述信息
cvc5是cvc5开源的一个工具。用于确定一阶公式模一阶理论（或这些理论的组合）的可满足性。 CVC5 Solver v1.1.3版本存在安全漏洞，该漏洞源于输入验证不当，允许攻击者通过精心设计的SMT2输入文件导致拒绝服务(DoS)。
来源：中国国家信息安全漏洞库 CNNVD
CVSS信息
N/A
来源：中国国家信息安全漏洞库 CNNVD
漏洞类别
其他
来源：中国国家信息安全漏洞库 CNNVD
二、漏洞 CVE-2024-37794 的公开POC
# POC 描述 源链接 神龙链接
三、漏洞 CVE-2024-37794 的情报信息