CVE-2024-37795

2024-06-1718:15:17

Debian Security Bug Tracker

security-tracker.debian.org

cvc5 solver

segmentation fault

smt-lib input

denial of service

CVSS3

7.5

Attack Vector

NETWORK

Attack Complexity

LOW

Privileges Required

NONE

User Interaction

NONE

Scope

UNCHANGED

Confidentiality Impact

NONE

Integrity Impact

NONE

Availability Impact

HIGH

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

AI Score

6.9

Confidence

High

JSON

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.

OSVersionArchitecturePackageVersionFilename
Debian12allcvc5<= 1.0.3-1cvc5_1.0.3-1_all.deb
Debian999allcvc5<= 1.1.2-2cvc5_1.1.2-2_all.deb
Debian13allcvc5<= 1.1.2-2cvc5_1.1.2-2_all.deb