CVE-2024-37795

2024-06-1718:15:17

[email protected]

web.nvd.nist.gov

cve-2024-37795

segmentation fault

cvc5 solver

denial of service

smt-lib input

6.9 Medium

AI Score

Confidence

High

0.0004 Low

EPSS

Percentile

9.1%

JSON

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.

References

github.com/cvc5/cvc5/issues/10813