{"answers":{"affected":"It affects 1 product.","exploited":"It is not confirmed as exploited in the wild, but public exploit code for CVE-2026-2644 exists.","fix":"No fix has been published for CVE-2026-2644 yet. Limit exposure of the affected software until one is available.","what":"CVE-2026-2644 is a medium-severity memory corruption vulnerability in niklasso minisat, published on 18 Feb 2026. It can only be exploited from the same machine or local network, with no action from the victim."},"fix_prompt":"Check this codebase for CVE-2026-2644 and fix it if it is affected.\n\nWhat it is: CVE-2026-2644 is a medium-severity memory corruption vulnerability in niklasso minisat, published on 18 Feb 2026. It can only be exploited from the same machine or local network, with no action from the victim.\nExploitation: It is not confirmed as exploited in the wild, but public exploit code for CVE-2026-2644 exists.\n\nAffected product: niklasso minisat. No package-level version data is available, so check the vendor advisory linked from the reference page.\n\nTask:\n1. Search the dependency manifests and lockfiles (for example package.json, package-lock.json, requirements.txt, poetry.lock, uv.lock, pom.xml, build.gradle, go.mod, Cargo.lock, Gemfile.lock) and any Dockerfiles for the affected packages, including transitive dependencies.\n2. If an affected version is in use, upgrade it to the fixed version for its release line with the project's package manager, so the lockfile is regenerated. Prefer the smallest upgrade that fixes it.\n3. If there is no fix, or the upgrade would break the build, do not guess: explain the risk and the safest workaround instead.\n4. Run the tests and summarise what changed and why.\n5. If nothing in the project is affected, say so and change nothing.\n\nReference: https://insights.sbomify.com/CVE-2026-2644/ (Markdown: https://insights.sbomify.com/CVE-2026-2644/index.md)","id":"CVE-2026-2644","markdown":"https://insights.sbomify.com/CVE-2026-2644/index.md","name":"CVE-2026-2644","record":{"aliases":["DEBIAN-CVE-2026-2644","GHSA-qfwf-756h-2p4g","UBUNTU-CVE-2026-2644"],"analysis":{"component_type":"library","fix_type":"no_fix_stated","impacts":["denial_of_service","data_read"],"network_reachable":"adjacent_or_local","non_default_config":false,"product_category":"SAT solver library","requires_auth":"low_privilege","summary":"A local attacker can trigger an out-of-bounds read in the MiniSat DIMACS parser via a large variable index, potentially causing crashes or data exposure.","user_interaction":"not_required","vuln_class":"memory_corruption"},"analysis_generated_by":"qwen3.8-flash-next","assigner":"VulDB","cpe":[{"product":"minisat","vendor":"minisat"}],"cvss":{"score":4.8,"severity":"medium","source":"cna","vector":"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","version":"4.0"},"cwes":[{"id":"CWE-125","name":"Out-of-bounds Read"},{"id":"CWE-787","name":"Out-of-bounds Write"},{"id":"CWE-119","name":"Improper Restriction of Operations within the Bounds of a Memory Buffer"}],"description":"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.","ecosystems":[],"exploits":{"exploitdb":0,"first_seen":null,"github_poc":0,"max_poc_stars":null,"metasploit":0,"nuclei":0,"refs":[],"tier":"weaponised"},"has_fix":false,"headline":"niklasso minisat DIMACS File SolverTypes.h value out-of-bounds","id":"CVE-2026-2644","indexable":true,"kev":null,"kind":"cve","links":{"ecosystem":null,"product":null,"products":[],"type":"memory_corruption","year":"2026"},"n_packages":0,"n_references":6,"next":{"headline":"Acceptance of CertificateVerify Message before ClientKeyExchange in TLS 1.2","id":"CVE-2026-2645"},"packages":[],"prev":{"headline":"ggreer the_silver_searcher search.c search_stream null pointer dereference","id":"CVE-2026-2642"},"products":["minisat"],"published":"2026-02-18","related":[],"sources":[{"class":"attribution","licence":"CVE Terms of Use (MITRE)","name":"CVE List","prefix":"CVE"},{"class":"attribution","licence":"US public information, NVD API terms","name":"NVD"},{"class":"attribution","licence":"CWE Terms of Use","name":"CWE (MITRE)"},{"class":"attribution","licence":"FIRST CVSS licence","name":"CVSS (FIRST)"}],"ssvc":{"automatable":"no","exploitation":"poc","technical_impact":"partial"},"state":"PUBLISHED","updated":"2026-02-23","vendors":["niklasso"]},"summary":"A local attacker can trigger an out-of-bounds read in the MiniSat DIMACS parser via a large variable index, potentially causing crashes or data exposure.","url":"https://insights.sbomify.com/CVE-2026-2644/"}