CVE-2024-37795 Denial of service in n/a
Attackers can cause a denial of service in CVC5 Solver by providing a crafted SMT-LIB input file with specific formatting errors.
- 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-37795?
CVE-2024-37795 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
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.
Weakness: CWE-125
Which versions are affected by CVE-2024-37795?
How do I fix CVE-2024-37795?
No fix has been published for CVE-2024-37795 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-37795 being exploited?
There is no known exploitation of CVE-2024-37795 in the wild and no public exploit code.
Sources
Also known as DEBIAN-CVE-2024-37795, GHSA-hvrf-34fw-qpr2, UBUNTU-CVE-2024-37795.