CVE-2024-37794

7.5 HIGH

Published: June 17, 2024 Modified: April 15, 2026

Description

Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.

Get an AI-powered plain-language explanation of this vulnerability and remediation steps.

0.0 Low Medium High Critical 10.0

Vector String

CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H

Patch Vendor Advisory Exploit Third Party Advisory

Source: cve@mitre.org

Source: af854a3a-2127-422b-91ae-364da2661108

2 reference(s) from NVD

CVSS v3 Score

7.5 / 10.0

EPSS (Exploit Probability)

0.2%

41th percentile

Exploitation Status

Not in CISA KEV

CWE-20