Debian/cvc5: high 7.5
Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.
Action: No fix published. Pin and monitor.
Affected
| introduced | fixed | last affected |
|---|---|---|
| 0 | - | - |
Fixed versions
No fixed version in the source.
Sources
- osv: DEBIAN-CVE-2024-37794#Debian:13/cvc5
- https://security-tracker.debian.org/tracker/CVE-2024-37794
published · modified · JSON