CVE-2024-37794

Publication date 17 June 2024

Last updated 24 July 2024


Ubuntu priority

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

Why is this CVE low priority?

CLI crash only.

Learn more about Ubuntu priority

Status

Package Ubuntu Release Status
cvc5 24.10 oracular
Needs evaluation
24.04 LTS noble
Needs evaluation
23.10 mantic Ignored end of life, was needs-triage
22.04 LTS jammy Not in release
20.04 LTS focal Not in release