Vulnerability 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.
CVSS Score
LOW
Affected Products
| Vendor | Product | Versions |
|---|---|---|
| Minisat | Minisat | <= 2.2.0 |
Related Weaknesses (CWE)
References
- https://github.com/niklasso/minisat/ProductVendor Advisory
- https://github.com/niklasso/minisat/issues/55ExploitIssue TrackingVendor Advisory
- https://github.com/niklasso/minisat/issues/55#issue-3832527387ExploitIssue Tracking
- https://vuldb.com/?ctiid.346406Permissions RequiredVDB Entry
- https://vuldb.com/?id.346406Third Party AdvisoryVDB Entry
- https://vuldb.com/?submit.752775ExploitThird Party AdvisoryVDB Entry
FAQ
What is CVE-2026-2644?
CVE-2026-2644 is a vulnerability with a CVSS score of 3.3 (LOW). 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 o...
How severe is CVE-2026-2644?
CVE-2026-2644 has been rated LOW with a CVSS base score of 3.3/10. Review the CVSS metrics above for detailed severity breakdown.
Is there a patch for CVE-2026-2644?
Check the references section above for vendor advisories and patch information. Affected products include: Minisat Minisat.