CVE-2026-2644

Severity CVSS v4.0:

MEDIUM

Type:

CWE-119 Buffer Errors

Publication date:

18/02/2026

Last modified:

20/02/2026

Description

A weakness has been identified in niklasso minisat up to 2.2.0. This issue affects the function Solver::value in the library core/SolverTypes.h of the component DIMACS File Parser. This manipulation of the argument variable index with the input 2147483648 causes out-of-bounds read. The attack needs to be launched locally. The exploit has been made available to the public and could be used for attacks. The project was informed of the problem early through an issue report but has not responded yet.

Impact

Vector 4.0

CVSS:4.0/AV:L/AC:L/AT:N/PR:L/UI:N/VC:N/VI:N/VA:L/SC:N/SI:N/SA:N/E:P CVSS v4.0 Severity and Metrics:

Base Score: 4.80 MEDIUM
Vector: CVSS:4.0/AV:L/AC:L/AT:N/PR:L/UI:N/VC:N/VI:N/VA:L/SC:N/SI:N/SA:N/E:P

Attack Vector (AV): Local
Attack Complexity (AC): Low
Attack Requirements (AT): None
Privileges Required (PR): Low
User Interaction (UI): None
Confidentiality (VC): None
Integrity (VI): None
Availability (VA): Low
Confidentiality (SC): None
Integrity (SI): None
Availability (SA): None
Exploit Maturity (E): POC

Base Score 4.0

4.80

Severity 4.0

MEDIUM

Vector 3.x

CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:L CVSS v3.1 Severity and Metrics:

Base Score: 3.30 LOW
Vector: CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:L

Attack Vector (AV): Local
Attack Complexity (AC): Low
Privileges Required (PR): Low
User Interaction (UI): None
Scope (S): Unchanged
Confidentiality (C): None
Integrity (I): None
Availability (A): Low

Base Score 3.x

3.30

Severity 3.x

LOW

Vector 2.0

AV:L/AC:L/Au:S/C:N/I:N/A:P CVSS v2.0 Severity and Metrics:

Base Score: 1.70 LOW
Vector: AV:L/AC:L/Au:S/C:N/I:N/A:P

Attack Vector (AV): Local
Attack Complexity (AC): Low
Authentication (Au): Single
Confidentiality (C): None
Integrity (I): None
Availability (A): Physical