PT-2024-27754 · Unknown+1 · Cvc5 Solver+1

Heaven2024 · CVE-2024-37794 · Published 2024-06-17 · Updated 2024-07-03

Positive Technologies (AI Summary)

CVSS v3.1

7.5

High

Base vector

AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H

Name of the Vulnerable Software and Affected Versions CVC5 Solver version 1.1.3

Description The issue is related to improper input validation, which allows attackers to cause a Denial of Service (DoS) by providing a crafted SMT2 input file.

Recommendations For version 1.1.3, update to a newer version that addresses the improper input validation issue to prevent Denial of Service attacks.

Fix

DoS

RCE

Weakness Enumeration

CWE-20

Related Identifiers

CVE-2024-37794

Affected Products

Cvc5 Solver

Debian

References · 8

• https://security-tracker.debian.org/tracker/CVE-2024-37794 · Vendor Advisory
• https://nvd.nist.gov/vuln/detail/CVE-2024-37794 · Security Note
• https://osv.dev/vulnerability/CVE-2024-37794 · Vendor Advisory
• https://ubuntu.com/security/CVE-2024-37794 · Vendor Advisory
• https://cve.org/CVERecord?id=CVE-2024-37794 · Security Note
• https://osv.dev/vulnerability/DEBIAN-CVE-2024-37794 · Vendor Advisory
• https://osv.dev/vulnerability/UBUNTU-CVE-2024-37794 · Vendor Advisory
• https://github.com/cvc5/cvc5/issues/10813 · Note