CVE-2026-2644 | niklasso minisat up to 2.2.0 DIMACS File Parser core/SolverTypes.h Solver::value variable index out-of-bounds (Issue 55)

A vulnerability has been found in niklasso minisat up to 2.2.0 and classified as problematic. 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.

This vulnerability is registered as CVE-2026-2644. The attack needs to be launched locally. Furthermore, an exploit is available.

The project was informed of the problem early through an issue report but has not responded yet.