Source: cvc5 X-Debbugs-CC: t...@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.