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

Back Back to CVE browser

HIGH

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

Published Jun 17, 2024

7.5

HIGH

CVSS 3.1

EPSS 0.47%

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.

Affected products

Vendor Cvc5 Product Cvc5 Default
n/a
- Version
  1.1.3
  Status
  affected
  Constraints
  -

Default status is the baseline for the product, each version can override it (e.g. patched versions marked unaffected).

Vendor

Product

Default status

Versions

Cvc5

n/a

Version	Status	Constraints
1.1.3	affected	-

Remediation

No remediation recorded yet.

Metrics

0.47% 0.00467

Estimated probability of exploitation in the wild in the next 30 days (FIRST EPSS). As of Oct 2, 2026.

EPSS probability 0.00467

Score over time

2024–2026

EPSS v3
EPSS v4
EPSS v5

Percentile over time

EPSS v3
EPSS v4
EPSS v5

Table of values (5 key points)

Flat stretches are collapsed; showing up to 120 newest points.

Date	Score	Percentile	Model
Oct 2, 2026	0.47% (0.00467)	38.22th	v5 (v2026.06.15)
Jun 15, 2026	0.47% (0.00467)	36.63th	v5 (v2026.06.15)
Mar 17, 2025	0.27% (0.00274)	48.82th	v4 (v2025.03.14)
Dec 12, 2024	0.04% (0.00043)	10.81th	v3 (v2023.03.01)
Jun 18, 2024	0.04% (0.00043)	9.00th	v3 (v2023.03.01)