Minisat Vulnerabilities
Comprehensive security vulnerability database for Minisat products
1
0
1
0
Severity Distribution
| Description | Vendor / Product | Exploit Status | |||
|---|---|---|---|---|---|
| CVE-2026-2644 | 4.8 | This vulnerability allows an attacker to read sensitive data from memory by manipulating input values in the minisat software. However, the attacker must have local access to the system to exploit this weakness, and public exploit code is available for use. | minisatminisat | Exploit Available | about 2 months agoFeb 18, 2026 |
About Minisat Security
This page tracks all publicly disclosed security vulnerabilities (CVEs) affecting Minisat products. Our database is updated in real-time from the National Vulnerability Database (NVD) and enriched with exploit information from GitHub and other security research sources.
Each CVE listing includes CVSS severity scores, exploit availability status, AI-powered vulnerability summaries, and links to official patches and security advisories.