Cvc5 vulnerabilities
We track 1 vulnerability in Cvc5 products. 1 is rated high or critical, and none are known to be exploited. The most recent was published on June 17, 2024.
1vulnerabilities
0critical
1high
0exploited
7.5average CVSS score
Latest Cvc5 vulnerabilities
- 7.5 High severity
cvc5: Out-of-bounds Read
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.