CVE-2026-2644

See a problem?
Please try reporting it to the source first.
Source
https://cve.org/CVERecord?id=CVE-2026-2644
Import Source
https://storage.googleapis.com/cve-osv-conversion/osv-output/CVE-2026-2644.json
JSON Data
https://api.osv.dev/v1/vulns/CVE-2026-2644
Downstream
Published
2026-02-18T07:02:06Z
Modified
2026-08-12T03:51:27Z
Severity
  • 1.9 (Low) CVSS_V4 - CVSS:4.0/AV:L/AC:L/AT:N/PR:L/UI:N/VC:N/VI:N/VA:L/SC:N/SI:N/SA:N/E:P CVSS Calculator
Summary
niklasso minisat DIMACS File SolverTypes.h value out-of-bounds
Details

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 through an issue report but has not responded yet.

Database specific 
{
    "cna_assigner": "VulDB",
    "cwe_ids": [
        "CWE-119",
        "CWE-125"
    ],
    "osv_generated_from": "https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/2xxx/CVE-2026-2644.json",
    "unresolved_ranges": [
        {
            "extracted_events": [
                {
                    "introduced": "2.1"
                },
                {
                    "last_affected": "2.1"
                }
            ],
            "source": "AFFECTED_FIELD"
        }
    ]
}
References

Affected packages

Git / github.com/niklasso/minisat

Affected ranges

Type
GIT
Repo
https://github.com/niklasso/minisat
Events
Introduced
322f7580fde5e8f43301a9e0d5b275a215084a50
Last Affected
eb01ad68b75bb3b34ff8657c37ad6a31faae0fc3
Database specific
Show details 
{
    "cpe": "cpe:2.3:a:minisat:minisat:*:*:*:*:*:*:*:*",
    "extracted_events": [
        {
            "introduced": "2.0"
        },
        {
            "last_affected": "2.0"
        },
        {
            "introduced": "2.2.0"
        },
        {
            "last_affected": "2.2.0"
        },
        {
            "introduced": "0"
        }
    ],
    "source": [
        "AFFECTED_FIELD",
        "CPE_RANGE"
    ]
}

Affected versions

2.*
2.0
2.2.0
releases/2.*
releases/2.0
releases/2.2.0

Database specific

source 
"https://storage.googleapis.com/cve-osv-conversion/osv-output/CVE-2026-2644.json"