CVE-2026-2644 niklasso minisat DIMACS File SolverTypes.h value out-of-bounds
A local attacker can trigger an out-of-bounds read in the MiniSat DIMACS parser via a large variable index, potentially causing crashes or data exposure.
- Exploited in the wild
- Not known
- Login needed
- Any signed-in user
- Attackable
- Local or same network only
- Victim action needed
- Not needed
- Fix
- None listed
What is CVE-2026-2644?
CVE-2026-2644 is a medium-severity memory corruption vulnerability in niklasso minisat, published on 18 Feb 2026. It can only be exploited from the same machine or local network, with no action from the victim.
Official 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.
Which versions are affected by CVE-2026-2644?
It affects 1 product.
Products include Minisat Minisat.
How do I fix CVE-2026-2644?
No fix has been published for CVE-2026-2644 yet. Limit exposure of the affected software until one is available.
Upgrade to the fixed version. Memory-safe languages, compiler hardening and fuzzing prevent most new cases. More about Memory corruption.
Is CVE-2026-2644 being exploited?
It is not confirmed as exploited in the wild, but public exploit code for CVE-2026-2644 exists.
Sources
Also known as DEBIAN-CVE-2026-2644, GHSA-qfwf-756h-2p4g, UBUNTU-CVE-2026-2644.