Minisat is a niche SAT solver library used in formal verification and constraint-solving applications, with its disclosed vulnerabilities concentrated in memory-safety issues including improper buffer-boundary restrictions, out-of-bounds reads, and out-of-bounds writes. Live severity, exploitation activity, and exposure counts are shown alongside this summary.
The number and severity of CVEs published that impact products developed by Minisat over time
Signals from CVEs in this vendor scope (1 CVEs).
1 CVEs · Highest risk first
| CVE | Published | CVSS | Risk | KEV | Exploit |
|---|---|---|---|---|---|
CVE-2026-2644HIGH 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. | Feb 18, 2026 | 7.8 | 24 | NO | NO |
Signals from CVEs in this vendor scope (1 CVEs).
An overview of all social media posts that mention a CVE ID that affects a product developed by Minisat.
Media articles that mention a CVE ID that affects a product developed by Minisat — matched by CVE ID, not by vendor name.