Your submission was sent successfully! Close

You have successfully unsubscribed! Close

Thank you for signing up for our newsletter!
In these regular emails you will find the latest updates about Ubuntu and upcoming events where you can meet our team.Close

CVE-2024-37794

Published: 17 June 2024

Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.

Notes

AuthorNote
Priority reason:
CLI crash only.

Priority

Low

Status

Package Release Status
cvc5
Launchpad, Ubuntu, Debian
focal Does not exist

jammy Does not exist

mantic Ignored
(end of life, was needs-triage)
noble Needs triage

upstream Needs triage