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.
Status
| Package | Ubuntu Release | Status |
|---|---|---|
| cvc5 | 24.10 oracular |
Needs evaluation
|
| 24.04 LTS noble |
Needs evaluation
|
|
| 22.04 LTS jammy | Not in release | |
| 20.04 LTS focal | Not in release |