CVE detail

CVE-2024-37794 — CVE-2024-37794

Published 2024-06-17 · Modified 2026-06-17 · Source nvd

HIGH

severity

CVSS-derived band

7.5

CVSS v3

0–10 scale

0.0047

EPSS probability

exploitation probability, 30d

38.0%

EPSS percentile

percentile vs all CVEs

NOT LISTED

CISA KEV

known exploited catalog

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.

Remediation

No vendor-published fix data in our corpus for this CVE. Check the references below or the vendor's PSIRT / security advisories page.

References

NVD entry ↗
CVE.org record ↗

cvedb.io · NVD · CISA KEV · FIRST EPSS · vendor advisories (CVE Program List v5). Informational only, no warranty — verify every remediation against the vendor advisory before acting on it. This product uses data from the NVD API but is not endorsed or certified by the NVD, CISA, FIRST.org or any vendor named. CVE® is a registered trademark of The MITRE Corporation.