CVE-2024-37794 Denial of service in n/a
Attackers can cause a Denial of Service in the CVC5 Solver by providing a crafted SMT2 input file due to improper input validation.
- Exploited in the wild
- Not known
- Login needed
- Not needed
- Attackable
- Over the internet
- Victim action needed
- Not needed
- Fix
- None listed
What is CVE-2024-37794?
CVE-2024-37794 is a high-severity denial of service vulnerability in n/a, published on 17 Jun 2024. An attacker can exploit it over the internet without logging in, with no action from the victim.
Official 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.
Weakness: CWE-20
Which versions are affected by CVE-2024-37794?
How do I fix CVE-2024-37794?
No fix has been published for CVE-2024-37794 yet. Limit exposure of the affected software until one is available.
Upgrade, then put limits on request size, rate and nesting depth so one client cannot exhaust the service. More about Denial of service.
Is CVE-2024-37794 being exploited?
There is no known exploitation of CVE-2024-37794 in the wild and no public exploit code.
Sources
Also known as DEBIAN-CVE-2024-37794, GHSA-frw3-949h-qqfj, UBUNTU-CVE-2024-37794.