Bug#1074235: cvc5: CVE-2024-37794 CVE-2024-37795

[Moritz Mühlenhoff]

Source: cvc5
X-Debbugs-CC: team at security.debian.org
Severity: important
Tags: security

Hi,

The following vulnerabilities were published for cvc5.

CVE-2024-37794[0]:
| Improper input validation in CVC5 Solver v1.1.3 allows attackers to
| cause a Denial of Service (DoS) via a crafted SMT2 input file.

CVE-2024-37795[1]:
| A segmentation fault in CVC5 Solver v1.1.3 allows attackers to cause
| a Denial of Service (DoS) via a crafted SMT-LIB input file
| containing the `set-logic` command with specific formatting errors.


https://github.com/cvc5/cvc5/issues/10813

If you fix the vulnerabilities please also make sure to include the
CVE (Common Vulnerabilities & Exposures) ids in your changelog entry.

For further information see:

[0] https://security-tracker.debian.org/tracker/CVE-2024-37794
    https://www.cve.org/CVERecord?id=CVE-2024-37794
[1] https://security-tracker.debian.org/tracker/CVE-2024-37795
    https://www.cve.org/CVERecord?id=CVE-2024-37795

Please adjust the affected versions in the BTS as needed.