Lucene search
K

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👁 27 Views

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

Related
Affected
Refs
ReporterTitlePublishedViews
Family
ATTACKERKB
CVE-2026-2644
18 Feb 202607:02
attackerkb
CNNVD
minisat 缓冲区错误漏洞
18 Feb 202600:00
cnnvd
CVE
CVE-2026-2644
18 Feb 202607:02
cve
Debian CVE
CVE-2026-2644
18 Feb 202607:02
debiancve
NVD
CVE-2026-2644
18 Feb 202607:16
nvd
OSV
DEBIAN-CVE-2026-2644
18 Feb 202607:16
osv
OSV
UBUNTU-CVE-2026-2644
18 Feb 202607:16
osv
Positive Technologies
PT-2026-20356
18 Feb 202600:00
ptsecurity
RedhatCVE
CVE-2026-2644
18 Feb 202610:32
redhatcve
SUSE CVE
SUSE CVE-2026-2644
19 Feb 202600:27
susecve
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.00013
27