CVE-2026-2644: A weakness has been identified in niklasso minisat up to 2.2.0

Q: How do I fix CVE-2026-2644?

minisat: upgrade to newer than 2.2.0. Exact commands for each OS are on this page.

Q: Is CVE-2026-2644 being exploited?

CVE-2026-2644 is not on the CISA Known Exploited Vulnerabilities list at the time of the last update. Check again, as this can change.

Q: What does CVE-2026-2644 affect?

CVE-2026-2644 affects minisat. Severity is low (CVSS 3.3). 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 i

Q: How urgent is CVE-2026-2644?

Priority 21/100. Public exploit reference

Routine

LOW 3.3UPGRADE

CVE-2026-2644 is a low-severity flaw (CVSS 3.3) affecting minisat. Below: why it ranks where it does, which versions are affected, what to do, and the exact commands.

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

Why this priority

Public exploit reference

A fixed release or distro patch exists.

Risk facts

CVSS score	3.3 (Low)
Attack vector	Local
Attack complexity	Low
Privileges needed	Low
User interaction	None
EPSS exploit chance	0.2% (top 84%)
CISA exploited list	No
Weakness	CWE-119, CWE-125, CWE-787
Published	2026-02-18
Last modified	2026-06-17

Publisher (CNA): VulDB · Vendor: minisat

Last updated 2026-06-17 · Sources: CVE Program, NVD, CISA KEV, EPSS and vendor advisories · How we score

Am I affected?

Timeline

2026-02-18 07:16 UTCPublished CVE record published
2026-06-17 10:31 UTCUpdated Record last modified

minisat minisat UPGRADE

Affected: <= 2.2.0

Fixed in: newer than 2.2.0

Safe to downgrade to: no unaffected older release

1. Check installed version

apt-cache policy minisat || rpm -q minisat || minisat --version

2. UPGRADE to newer than 2.2.0 (Debian / Ubuntu)

sudo apt update && sudo apt install --only-upgrade minisat

2. UPGRADE (RHEL / Amazon Linux / Fedora)

sudo dnf upgrade minisat

Note

Distros often backport fixes without changing the version number. Confirm with the distro advisory or changelog.

Verify at the official source NVD · CVE Program · Report a problem with this page
Scores and fixes here are computed automatically from those and other public sources. Confirm with the vendor advisory before changing production systems.

Quick answers

How do I fix CVE-2026-2644?

minisat: upgrade to newer than 2.2.0. Exact commands for each OS are on this page.

Is CVE-2026-2644 being exploited?

CVE-2026-2644 is not on the CISA Known Exploited Vulnerabilities list at the time of the last update. Check again, as this can change.

What does CVE-2026-2644 affect?

CVE-2026-2644 affects minisat. Severity is low (CVSS 3.3). 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 i

How urgent is CVE-2026-2644?

Priority 21/100. Public exploit reference

References

← Back to latest CVEs