Filtered by vendor Cvc5
Subscriptions
Filtered by product Cvc5
Subscriptions
Total
2 CVE
| CVE | Vendors | Products | Updated | CVSS v3.1 |
|---|---|---|---|---|
| CVE-2024-37795 | 1 Cvc5 | 1 Cvc5 | 2024-08-02 | 7.5 High |
| 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. | ||||
| CVE-2024-37794 | 1 Cvc5 | 1 Cvc5 | 2024-08-02 | 7.5 High |
| Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file. | ||||
Page 1 of 1.