Log in Start free

Vulnerability · Published Feb 18, 2026 · Assigned by VulDB

CVE-2026-2644niklasso minisat DIMACS File SolverTypes.h value out-of-bounds

Low 3.3

In plain English

A low-severity out-of-bounds read in minisat from niklasso. Proof-of-concept exploit code is public. The chance it is exploited in the next 30 days is estimated at 0.2% (higher than 16% of all known vulnerabilities).

Severity (CVSS 3.1)3.3Low
Exploit odds (30 days)0.2%top 83.7% of all CVEs
Exploited in the wildNo reportsCISA SSVC: poc
Attack toolingNoneno public tooling known

Official 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.

Affected packages & fixed versions

EcosystemPackageFixed inAdvisory
Debian:12minisat2no fix listedDEBIAN-CVE-2026-2644
Debian:13minisat2no fix listedDEBIAN-CVE-2026-2644
Debian:14minisat2no fix listedDEBIAN-CVE-2026-2644
Ubuntu:22.04:LTSminisat2no fix listedUBUNTU-CVE-2026-2644
Ubuntu:24.04:LTSminisat2no fix listedUBUNTU-CVE-2026-2644
Ubuntu:25.10minisat2no fix listedUBUNTU-CVE-2026-2644
Ubuntu:26.04:LTSminisat2no fix listedUBUNTU-CVE-2026-2644
Ubuntu:26.10minisat2no fix listedUBUNTU-CVE-2026-2644

Affected products (as reported)

VendorProductVersions
niklasso minisat 2.02.12.2.0

Weakness: CWE-125, CWE-119 · Vector: CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:L/E:P/RL:X/RC:R

References