CVE-2026-2644
CVE-2026-2644 is a low-severity vulnerability in Minisat with a CVSS 3.x base score of 3.3. It is not currently listed as actively exploited by CISA, and its EPSS exploit-prediction score is low. The underlying weakness is classified as CWE-787.
Key facts
- Severity: Low (CVSS 3.x base score 3.3)
- CVSS v2: 1.7
- CVSS v4: 1.9
- EPSS exploit prediction: 0% (13th percentile)
- Actively exploited: Not listed in CISA KEV
- EU (EUVD) id: EUVD-2026-7650
- Weakness: CWE-787
- Affected product: Minisat
- Published:
- Last modified:
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.
Frequently asked questions
- What is CVE-2026-2644?
- 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.
- How severe is CVE-2026-2644?
- CVE-2026-2644 has a CVSS 3.x base score of 3.3, rated low severity. It is exploitable over local access with low attack complexity, requires low privileges and no user interaction. Impact on confidentiality is none, integrity none, and availability low.
- Is CVE-2026-2644 being actively exploited?
- It is not currently listed in CISA's KEV catalog. Its EPSS exploit-prediction score is 0% (13th percentile), an estimate of the probability of exploitation in the next 30 days.
- What products are affected by CVE-2026-2644?
- CVE-2026-2644 affects Minisat. See the affected-products list for the exact vulnerable versions.
- How do I fix CVE-2026-2644?
- Review the linked vendor and NVD advisories for patched versions and mitigations, then upgrade or apply the recommended workaround.
- Does CVE-2026-2644 have an EU (EUVD) identifier?
- Yes. CVE-2026-2644 is tracked in the ENISA EU Vulnerability Database (EUVD) as EUVD-2026-7650.
- When was CVE-2026-2644 published?
- CVE-2026-2644 was published on 2026-02-18 and last updated on 2026-06-17.
References
- https://github.com/niklasso/minisat/
- https://github.com/niklasso/minisat/issues/55
- https://github.com/niklasso/minisat/issues/55#issue-3832527387
- https://vuldb.com/?ctiid.346406
- https://vuldb.com/?id.346406
- https://vuldb.com/?submit.752775
Affected products (1)
- cpe:2.3:a:minisat:minisat:*:*:*:*:*:*:*:*
Other CWE-787 (Out-of-bounds Write) vulnerabilities
- CVE-2026-42369 — Critical (CVSS 10.0): GV-VMS V20 is a Video Monitoring Software used to gather the feeds of many surveillance cameras and manage other…
- CVE-2026-4746 — Critical (CVSS 10.0): Out-of-bounds Write vulnerability in timeplus-io proton (base/poco/Foundation/src modules). This vulnerability is…
- CVE-2025-43300 — Critical (CVSS 10.0): An out-of-bounds write issue was addressed with improved bounds checking. This issue is fixed in iOS 15.8.5 and iPadOS…
- CVE-2025-24201 — Critical (CVSS 10.0): An out-of-bounds write issue was addressed with improved checks to prevent unauthorized actions. This issue is fixed in…
- CVE-2024-42479 — Critical (CVSS 10.0): llama.cpp provides LLM inference in C/C++. The unsafe `data` pointer member in the `rpc_tensor` structure can cause…
- CVE-2024-39791 — Critical (CVSS 10.0): Stack-based buffer overflow vulnerabilities affecting Vonets industrial wifi bridge relays and wifi bridge…