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