What is CVE-2024-37795?

CVE-2024-37795 is a high-severity vulnerability in N/a, classified under Out-of-bounds Read. CVSS score: 7.5/10. Published 2024-06-17.

How severe is CVE-2024-37795?

High severity. CVSS v3 base score is 7.5 out of 10.

Out-of-bounds Read in N/a

CVE-2024-37795

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.

Vulnerability class: Buffer Overflow

EPSS: 0.005 (38.5th percentile) — read the EPSS interpretation.

CVSS v3 metric

CVSS v3 base score 7.5 (High). Vector: CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H.

Affected products

N/a — versions n/a

Weakness classification (CWE)

CWE-125 — Out-of-bounds Read

References

cve@mitre.org

Frequently asked questions

What is CVE-2024-37795?: CVE-2024-37795 is a high-severity vulnerability in N/a, classified under Out-of-bounds Read. CVSS score: 7.5/10. Published 2024-06-17.
How severe is CVE-2024-37795?: High severity. CVSS v3 base score is 7.5 out of 10.