Vulnerability Information
Although we use advanced large model technology, its output may still contain inaccurate or outdated information.Shenlong tries to ensure data accuracy, but please verify and judge based on the actual situation.
Vulnerability Title
N/A
Vulnerability Description
A segmentation fault in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT-LIB input file containing the `set-logic` command with specific formatting errors.
CVSS Information
N/A
Vulnerability Type
N/A
Vulnerability Title
CVC5 Solver 安全漏洞
Vulnerability Description
cvc5是cvc5开源的一个工具。用于确定一阶公式模一阶理论（或这些理论的组合）的可满足性。 CVC5 Solver v1.1.3版本存在安全漏洞，该漏洞源于分段错误，允许攻击者通过精心设计的SMT-LIB输入文件导致拒绝服务(DoS)。
CVSS Information
N/A
Vulnerability Type
N/A