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.

INFO

Published Date :

2024-06-17T00:00:00.000Z

Last Modified :

2024-08-02T03:57:39.827Z

Source :

mitre
AFFECTED PRODUCTS

The following products are affected by CVE-2024-37795 vulnerability.

Vendors Products
Cvc5
  • Cvc5
REFERENCES

Here, you will find a curated list of external links that provide in-depth information to CVE-2024-37795.

URL Resource
https://github.com/cvc5/cvc5/issues/10813 cve-icon cve-icon
Login to claim this CVE

CVSS Vulnerability Scoring System

Detailed values of each vector for above chart.
Attack Vector
Attack Complexity
Privileges Required
User Interaction
Scope
Confidentiality Impact
Integrity Impact
Availability Impact