Lucene search
+L

CVE-2026-2644 niklasso minisat DIMACS File SolverTypes.h value out-of-bounds

🗓️ 18 Feb 2026 07:02:06Reported by VulDBType 
cvelist
 cvelist
🔗 www.cve.org👁 110 Views

CVE-2026-2644 in Niklasso Minisat causes out-of-bounds read in Solver::value with index 2147483648.

Related
Affected
Refs
ReporterTitlePublishedViews
Family
attackerkb
attackerkb
CVE-2026-2644
18 Feb 202607:02
–attackerkb
cnnvd
CNNVD
Minisat buffer error vulnerability
18 Feb 202600:00
–cnnvd
cve
CVE
CVE-2026-2644
18 Feb 202607:02
–cve
debiancve
Debian CVE
CVE-2026-2644
18 Feb 202607:02
–debiancve
mend
Mend
CVE-2026-2644
18 Feb 202607:02
–mend
nvd
NVD
CVE-2026-2644
18 Feb 202607:16
–nvd
osv_cve
osv_cve
CVE-2026-2644 niklasso minisat DIMACS File SolverTypes.h value out-of-bounds
18 Feb 202607:02
–osv_cve
osv_debian
osv_debian
DEBIAN-CVE-2026-2644
18 Feb 202607:16
–osv_debian
osv_ubuntu
osv_ubuntu
UBUNTU-CVE-2026-2644
18 Feb 202607:16
–osv_ubuntu
ptsecurity
Positive Technologies
PT-2026-20356
18 Feb 202600:00
–ptsecurity
Rows per page
[
  {
    "vendor": "niklasso",
    "product": "minisat",
    "versions": [
      {
        "version": "2.0",
        "status": "affected"
      },
      {
        "version": "2.1",
        "status": "affected"
      },
      {
        "version": "2.2.0",
        "status": "affected"
      }
    ],
    "modules": [
      "DIMACS File Parser"
    ]
  }
]

Data

Build on a solid foundation with Vulners data

We provide the essential building blocks for cybersecurity solutions with comprehensive, structured, and constantly updated vulnerability and exploits data

Api

Power your application with Vulners API

The Vulners REST API offers reliable, high-performance access to vulnerability intelligence, with 99.9% SLA uptime and CDN-backed data delivery for seamless global access

App

Assess and manage vulnerabilities with Vulners tools

Built on top of Vulners' database and SDK, end-user solutions give security professionals and developers lightweight and powerful tools for vulnerability remediation

23 Feb 2026 10:17Current
CVSS 21.7
CVSS 3.13.3
CVSS 33.3
CVSS 44.8
EPSS0.00249
SSVC
110