CVE-2026-2644
Published: 18 February 2026
Summary
CVE-2026-2644 is a low-severity Improper Restriction of Operations within the Bounds of a Memory Buffer (CWE-119) vulnerability in Minisat Minisat. Its CVSS base score is 3.3 (Low).
Operationally, exploitation aligns with the MITRE ATT&CK technique Application or System Exploitation (T1499.004); ranked at the 1.9th percentile by exploit likelihood (below the median); it is not currently listed in the CISA KEV catalog; a public proof-of-concept is referenced.
Threat & Defense at a Glance
Threat & Defense Details
Likely Mitigating ControlsAI
Per-CVE control mapping for this CVE has not run yet; the list below is derived from the weakness types (CWEs) cited in the NVD entry.
Memory protections (e.g., W^X, ASLR) make exploitation of buffer-boundary violations far harder to turn into code execution.
Ongoing control assessments and code testing (static/dynamic analysis, fuzzing) surface memory buffer restriction failures, which are then remediated before release.
Managed runtimes used by platform-independent applications (e.g., JVM, CLR) enforce memory safety, preventing most buffer overflows that require direct memory manipulation.
Detects exploitation attempts that produce memory corruption, crashes, or anomalous behavior.
MITRE ATT&CK Enterprise TechniquesAI
Why these techniques?
Out-of-bounds read in local DIMACS parser directly enables application crash/DoS via crafted input file (AV:L), matching T1499.004 Application or System Exploitation; no RCE, priv-esc, or remote vectors indicated.
NVD 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…
more
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.
Deeper analysisAI
CVE-2026-2644 is an out-of-bounds read vulnerability in niklasso minisat versions up to 2.2.0. The issue resides in the Solver::value function within the core/SolverTypes.h library file, specifically in the DIMACS File Parser component. It is triggered by manipulating the argument variable index with the input value 2147483648, leading to an out-of-bounds read. The vulnerability is associated with CWEs 119 (Improper Restriction of Operations within the Bounds of a Memory Buffer), 125 (Out-of-bounds Read), and 787 (Out-of-bounds Write), and carries a CVSS v3.1 base score of 3.3.
Exploitation requires local access with low privileges (AV:L/AC:L/PR:L), no user interaction (UI:N), and results in unchanged scope (S:U). Attackers can achieve a low-impact denial of service (A:L) with no effects on confidentiality or integrity (C:N/I:N), likely manifesting as a crash or program termination. The attack must be launched locally, and a public exploit is available.
Advisories reference the minisat GitHub repository and issue #55, where the project was informed early via an issue report but has not yet responded or issued patches. VulDB entries (ctiid.346406 and id.346406) document the vulnerability details. No mitigations or patches are currently available from the project.
An exploit has been made publicly available, increasing the risk for local users or systems processing untrusted DIMACS input files with affected minisat versions.
Details
- CWE(s)