Out-of-Bounds Read Vulnerability in niklasso minisat DIMACS File Parser
CVE-2026-2644

4.8MEDIUM

Key Information:

Vendor

Niklasso

Status
Minisat
Vendor
CVE Published:
18 February 2026

Badges

👾 Exploit Exists🟡 Public PoC

What is CVE-2026-2644?

A vulnerability has been discovered in the niklasso minisat product, specifically within its DIMACS File Parser component. The issue arises in the Solver::value function located in the core/SolverTypes.h file, where an improper handling of the variable index can lead to an out-of-bounds read when interacting with the input value 2147483648. This vulnerability requires local access to be exploited and has been publicly disclosed. While the project maintainers were notified of the issue early on, they have yet to provide a response, increasing potential risks for users of the affected versions.

Human OS v1.0:
Ageing Is an Unpatched Zero-Day Vulnerability.

Remediate biological technical debt. Prime Ageing uses 95% high-purity SIRT6 activation to maintain genomic integrity and bolster systemic resilience.

Deploy the Patch

Affected Version(s)

minisat 2.0

minisat 2.1

minisat 2.2.0

Exploit Proof of Concept (PoC)

PoC code is written by security researchers to demonstrate the vulnerability can be exploited. PoC code is also a key component for weaponization which could lead to ransomware.

CVE-2026-2644 - Proof of Concept

References

https://vuldb.com/?id.346406
vdb-entrytechnical-description
https://vuldb.com/?ctiid.346406
signaturepermissions-required
https://vuldb.com/?submit.752775
third-party-advisory

CVSS V4

Score:
4.8
Severity:
MEDIUM
Confidentiality:
None
Integrity:
None
Availability:
Low
Attack Vector:
Local
Attack Complexity:
Low
Attack Required:
None
Privileges Required:
Undefined
User Interaction:
None

Timeline

  • 🟡

    Public PoC available

  • 👾

    Exploit known to exist

  • Vulnerability published

  • Vulnerability Reserved

Credit

Oneafter (VulDB User)
JSON
.