← Back to CVEs

CVE-2026-2644

LOW

3.3

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.

CVE Details

CVSS v3.1 Score3.3

SeverityLOW

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

Attack VectorLOCAL

ComplexityLOW

Privileges RequiredLOW

User InteractionNONE

Published2/18/2026

Last Modified2/20/2026

Sourcenvd

Honeypot Sightings0

Affected Products

minisat:minisat

Weaknesses (CWE)

CWE-119CWE-125CWE-787

References

https://github.com/niklasso/minisat/(cna@vuldb.com)

https://github.com/niklasso/minisat/issues/55(cna@vuldb.com)

https://github.com/niklasso/minisat/issues/55#issue-3832527387(cna@vuldb.com)

https://vuldb.com/?ctiid.346406(cna@vuldb.com)

https://vuldb.com/?id.346406(cna@vuldb.com)

https://vuldb.com/?submit.752775(cna@vuldb.com)

IOC Correlations

No correlations recorded

This product uses data from the NVD API but is not endorsed or certified by the NVD.