Linux Distros Unpatched Vulnerability : CVE-2024-37794

The Linux/Unix host has one or more packages installed that are impacted by a vulnerability without a vendor supplied patch available. - 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-37794 Note that Nessus...