CVE-2026-2644
niklasso minisat DIMACS File SolverTypes.h value out-of-bounds
CVSS Score
3.3
EPSS Score
0.0%
EPSS Percentile
0th
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.
| CWE | CWE-125 CWE-119 |
| Vendor | niklasso |
| Product | minisat |
| Published | Feb 18, 2026 |
| Last Updated | Feb 23, 2026 |
Stay Ahead of the Next One
Get instant alerts for niklasso minisat
Be the first to know when new low vulnerabilities affecting niklasso minisat are published — delivered to Slack, Telegram or Discord.
Get Free Alerts →
Free · No credit card · 60 sec setup
CVSS v3 Breakdown
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 Attack Vector
Attack Complexity
Privileges Required
User Interaction
Scope
Confidentiality
Integrity
Availability
Affected Versions
niklasso / minisat
2.0 2.1 2.2.0
References
vuldb.com: https://vuldb.com/?id.346406 vuldb.com: https://vuldb.com/?ctiid.346406 vuldb.com: https://vuldb.com/?submit.752775 github.com: https://github.com/niklasso/minisat/issues/55 github.com: https://github.com/niklasso/minisat/issues/55#issue-3832527387 github.com: https://github.com/niklasso/minisat/
Credits
🔍 Oneafter (VulDB User)