🛡️ CVE-2026-2644
🟢 CVSS 3.3 — Low ⚠️ Exploit Public CWE-119 NVD
3.3
CVSS Score
0 Low4 Medium7 High9 Critical10

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.

Details

Severity LOW
CVSS Score 3.3
CVSS Vector CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:L
CWE CWE-119
Public Exploit ⚠️ Yes
Source NVD
Published 2026-02-18
Updated 2026-06-02
Modified 2026-04-29
Fix URL N/A

Affected Packages

Software From version Fixed in
minisat — 2.2.0

References

Product, Vendor Advisory https://github.com/niklasso/minisat/
Exploit, Issue Tracking, Vendor Advisory https://github.com/niklasso/minisat/issues/55
Permissions Required, VDB Entry https://vuldb.com/?ctiid.346406
Third Party Advisory, VDB Entry https://vuldb.com/?id.346406
Exploit, Third Party Advisory, VDB Entry https://vuldb.com/?submit.752775

Similar Threats

Vulnerability Monitoring

Stay informed about vulnerabilities in your stack

BotEraser monitors your WordPress installation and notifies you when software you use appears in our vulnerability database.

Set Up Free Alerts →

No credit card required  ·  Results in minutes

ⓘ Data Notice: The information presented above has been compiled from publicly available internet sources. Boteraser aggregates this data solely for informational purposes and does not independently classify, evaluate, or endorse any findings about the vulnerabilities listed. The accuracy and completeness of this information is the sole responsibility of the original publishers. Boteraser and its operators accept no liability for any decisions made based on this data.