Not a U.S. government website. NDD is an independent vulnerability database by Volerion and is not affiliated with or endorsed by NIST or NVD.
VOLERION
Volerion Security Research

NOT DEFERRED DATABASE

VULNERABILITIES

CVE-2024-37795 Details

UNDERGOING ENRICHMENT

The CVE is currently being enriched by the Volerion team. The enrichment process results in the association of reference link tags, CVSS, and CPE applicability statement data.

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.

Metrics

CVSS 3.x Severity and Vector Strings:

NDDVolerionCVSS-B:…Vector:This vulnerability is currently being analyzed.
CNA: CISA-ADPCVSS-B:7.5 HIGHVector:CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H

References to Advisories, Solutions, and Tools

By selecting these links, you will be leaving this site. These are references gathered from the official CVE record and are not endorsed by Volerion.

URLSource(s)Tag(s)
https://github.com/cvc5/cvc5/issues/10813 CVE
https://github.com/cvc5/cvc5/issues/10813 [email protected]

Weakness Enumeration

CWE-IDCWE NameSource
CWE-125Out-of-bounds ReadCISA-ADP

Affected Products

This vulnerability is currently being analyzed

Change History

5 change records found show changes

QUICK INFO

CVE Dictionary Entry:
CVE-2024-37795
NVD Published Date:
Jun 17, 2024
NVD Last Modified:
Jun 17, 2026
Source:
[email protected]
CVE-2024-37795 Details - Not Deferred