| Name | CVE-2026-2644 |
| Description | A weakness has been identified in niklasso minisat up to 2.2.0. This i ... |
| Source | CVE (at NVD; CERT, ENISA, LWN, oss-sec, fulldisc, Debian ELTS, Red Hat, Ubuntu, Gentoo, SUSE bugzilla/CVE, GitHub advisories/code/issues, web search, more) |
Vulnerable and fixed packages
The table below lists information on source packages.
| Source Package | Release | Version | Status |
|---|
| minisat2 (PTS) | bookworm, bullseye | 1:2.2.1-5 | vulnerable |
| forky, sid, trixie | 1:2.2.1-8 | vulnerable |
The information below is based on the following data on fixed versions.
| Package | Type | Release | Fixed Version | Urgency | Origin | Debian Bugs |
|---|
| minisat2 | source | (unstable) | (unfixed) | | | |
Notes
https://github.com/niklasso/minisat/issues/55