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