High severity7.5NVD Advisory· Published Jun 17, 2024· Updated Apr 15, 2026
CVE-2024-37794
CVE-2024-37794
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.
Patches
0No patches discovered yet.
Vulnerability mechanics
AI mechanics synthesis has not run for this CVE yet.
References
1News mentions
0No linked articles in our index yet.