A segmentation fault in CVC5 Solver... CVE-2024-37795
-
AV
AC
AU
C
I
A
发布：
2025-04-13
修订：
2025-04-13
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.
漏洞利用/PoC
暂无可用Exp或PoC
受影响的平台与产品
当前有0条受影响产品信息
