| Release | Version |
|---|---|
| bookworm | 1.0.3-1 |
| trixie | 1.1.2-2 |
| sid | 1.1.2-2 |
| Bug | bookworm | trixie | sid | Description |
|---|---|---|---|---|
| CVE-2024-37795 | vulnerable (no DSA) | vulnerable | vulnerable | A segmentation fault in CVC5 Solver v1.1.3 allows attackers to cause a ... |
| CVE-2024-37794 | vulnerable (no DSA) | vulnerable | vulnerable | Improper input validation in CVC5 Solver v1.1.3 allows attackers to ca ... |