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

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

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 A segmentation fault in the software 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.

Recommendations For version 1.1.3, consider avoiding the use of the set-logic command with potentially malformed input until a fix is available. As a temporary workaround, restrict the input to validated SMT-LIB files to minimize the risk of exploitation.

Fix

DoS

Out of bounds Read

Weakness Enumeration

CWE-125

Related Identifiers

CVE-2024-37795

Affected Products

Cvc5 Solver

Debian

References · 8

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