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 ... |