Information on source package cvc5

Available versions

ReleaseVersion
bookworm1.0.3-1
trixie1.1.2-2
sid1.1.2-2

Open issues

BugbookwormtrixiesidDescription
CVE-2024-37795vulnerable (no DSA)vulnerablevulnerableA segmentation fault in CVC5 Solver v1.1.3 allows attackers to cause a ...
CVE-2024-37794vulnerable (no DSA)vulnerablevulnerableImproper input validation in CVC5 Solver v1.1.3 allows attackers to ca ...

Search for package or bug name: Reporting problems