CVE catalog

CVE-2024-37794

cvc5: CVE-2024-37794

Severity: Low
Published: Jun 17, 2024, 6:15:17 PM UTC
Source: [NVD] · [CVE record]
EPSS: 0.47% · Oct 25, 2026

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

Vulnerable and fixed packages

Distribution-reported package versions and fixes. These do not depend on matching against the OpenFactory package catalog.

Distribution	Package	Release	Version	Status
Debian	cvc5	sid	`1.3.2-1`	vulnerable
Debian	cvc5	trixie	`1.1.2-2`	vulnerable
Debian	cvc5	bookworm	`1.0.3-1`	vulnerable

Fixed-version evidence

Distribution	Package	Type	Release	Fixed version	Urgency	Origin	Bugs
Debian	cvc5	source	sid	`(unfixed)`	unimportant	Not reported	[1074235]
Debian	cvc5	source	trixie	`(unfixed)`	unimportant	Not reported	[1074235]
Debian	cvc5	source	bookworm	`(unfixed)`	unimportant	Not reported	[1074235]

[Debian bug #1074235]

OpenFactory catalog packages

[Debian 12 (Bookworm)]

[cvc5]Affected
Details (2)
- 1.0.3-1 · amd64 · bookworm
  Affected
  dsa · cvc5 · debian · bookworm; dsa · cvc5 · debian · 12
- 1.0.3-1 · arm64 · bookworm
  Affected
  dsa · cvc5 · debian · bookworm; dsa · cvc5 · debian · 12
[libcvc5-1]Affected
Source package: [cvc5]
Details (2)
- 1.0.3-1 · amd64 · bookworm
  Affected
  dsa · cvc5 · debian · bookworm; dsa · cvc5 · debian · 12
- 1.0.3-1 · arm64 · bookworm
  Affected
  dsa · cvc5 · debian · bookworm; dsa · cvc5 · debian · 12
[libcvc5-dev]Affected
Source package: [cvc5]
Details (2)
- 1.0.3-1 · amd64 · bookworm
  Affected
  dsa · cvc5 · debian · bookworm; dsa · cvc5 · debian · 12
- 1.0.3-1 · arm64 · bookworm
  Affected
  dsa · cvc5 · debian · bookworm; dsa · cvc5 · debian · 12
[libcvc5parser1]Affected
Source package: [cvc5]
Details (2)
- 1.0.3-1 · amd64 · bookworm
  Affected
  dsa · cvc5 · debian · bookworm; dsa · cvc5 · debian · 12
- 1.0.3-1 · arm64 · bookworm
  Affected
  dsa · cvc5 · debian · bookworm; dsa · cvc5 · debian · 12

[Debian 13 (Trixie)]

[cvc5]Affected
Source package: [cvc5]
Details (2)
- 1.1.2-2+b3 · amd64 · trixie
  Affected
  dsa · cvc5 · debian · 13
- 1.1.2-2+b3 · arm64 · trixie
  Affected
  dsa · cvc5 · debian · 13
[libcvc5-1]Affected
Source package: [cvc5]
Details (2)
- 1.1.2-2+b3 · amd64 · trixie
  Affected
  dsa · cvc5 · debian · 13
- 1.1.2-2+b3 · arm64 · trixie
  Affected
  dsa · cvc5 · debian · 13
[libcvc5-dev]Affected
Source package: [cvc5]
Details (2)
- 1.1.2-2+b3 · amd64 · trixie
  Affected
  dsa · cvc5 · debian · 13
- 1.1.2-2+b3 · arm64 · trixie
  Affected
  dsa · cvc5 · debian · 13
[libcvc5parser1]Affected
Source package: [cvc5]
Details (2)
- 1.1.2-2+b3 · amd64 · trixie
  Affected
  dsa · cvc5 · debian · 13
- 1.1.2-2+b3 · arm64 · trixie
  Affected
  dsa · cvc5 · debian · 13
[python3-cvc5]Affected
Source package: [cvc5]
Details (2)
- 1.1.2-2+b3 · amd64 · trixie
  Affected
  dsa · cvc5 · debian · 13
- 1.1.2-2+b3 · arm64 · trixie
  Affected
  dsa · cvc5 · debian · 13

Observed: Oct 27, 2026, 3:31:47 AM UTC

References

[Debian Security Tracker] · [FIRST EPSS] · [OSV Package Vulnerability Database]