{"id":"UBUNTU-CVE-2026-2644","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.","modified":"2026-05-20T16:24:49.839089429Z","published":"2026-02-18T07:16:00Z","upstream":["CVE-2026-2644"],"references":[{"type":"REPORT","url":"https://ubuntu.com/security/CVE-2026-2644"},{"type":"REPORT","url":"https://www.cve.org/CVERecord?id=CVE-2026-2644"},{"type":"REPORT","url":"https://github.com/niklasso/minisat/issues/55"},{"type":"REPORT","url":"https://github.com/niklasso/minisat/"},{"type":"REPORT","url":"https://github.com/niklasso/minisat/issues/55#issue-3832527387"},{"type":"REPORT","url":"https://vuldb.com/?ctiid.346406"},{"type":"REPORT","url":"https://vuldb.com/?id.346406"},{"type":"REPORT","url":"https://vuldb.com/?submit.752775"}],"affected":[{"package":{"name":"minisat2","ecosystem":"Ubuntu:16.04:LTS","purl":"pkg:deb/ubuntu/minisat2?arch=source&distro=xenial"},"ranges":[{"type":"ECOSYSTEM","events":[{"introduced":"0"}]}],"versions":["1:2.2.1-5"],"ecosystem_specific":{"binaries":[{"binary_name":"minisat","binary_version":"1:2.2.1-5"},{"binary_version":"1:2.2.1-5","binary_name":"minisat2"}]},"database_specific":{"source":"https://github.com/canonical/ubuntu-security-notices/blob/main/osv/cve/2026/UBUNTU-CVE-2026-2644.json"}},{"package":{"name":"minisat2","ecosystem":"Ubuntu:18.04:LTS","purl":"pkg:deb/ubuntu/minisat2?arch=source&distro=bionic"},"ranges":[{"type":"ECOSYSTEM","events":[{"introduced":"0"}]}],"versions":["1:2.2.1-5","1:2.2.1-5build1"],"ecosystem_specific":{"binaries":[{"binary_version":"1:2.2.1-5build1","binary_name":"minisat"},{"binary_version":"1:2.2.1-5build1","binary_name":"minisat2"}]},"database_specific":{"source":"https://github.com/canonical/ubuntu-security-notices/blob/main/osv/cve/2026/UBUNTU-CVE-2026-2644.json"}},{"package":{"name":"minisat2","ecosystem":"Ubuntu:20.04:LTS","purl":"pkg:deb/ubuntu/minisat2?arch=source&distro=focal"},"ranges":[{"type":"ECOSYSTEM","events":[{"introduced":"0"}]}],"versions":["1:2.2.1-5build1","1:2.2.1-5build2"],"ecosystem_specific":{"binaries":[{"binary_name":"minisat","binary_version":"1:2.2.1-5build2"},{"binary_name":"minisat2","binary_version":"1:2.2.1-5build2"}]},"database_specific":{"source":"https://github.com/canonical/ubuntu-security-notices/blob/main/osv/cve/2026/UBUNTU-CVE-2026-2644.json"}},{"package":{"name":"minisat2","ecosystem":"Ubuntu:22.04:LTS","purl":"pkg:deb/ubuntu/minisat2?arch=source&distro=jammy"},"ranges":[{"type":"ECOSYSTEM","events":[{"introduced":"0"}]}],"versions":["1:2.2.1-5build2"],"ecosystem_specific":{"binaries":[{"binary_name":"minisat","binary_version":"1:2.2.1-5build2"},{"binary_version":"1:2.2.1-5build2","binary_name":"minisat2"}]},"database_specific":{"source":"https://github.com/canonical/ubuntu-security-notices/blob/main/osv/cve/2026/UBUNTU-CVE-2026-2644.json"}},{"package":{"name":"minisat2","ecosystem":"Ubuntu:24.04:LTS","purl":"pkg:deb/ubuntu/minisat2?arch=source&distro=noble"},"ranges":[{"type":"ECOSYSTEM","events":[{"introduced":"0"}]}],"versions":["1:2.2.1-5build2","1:2.2.1-6","1:2.2.1-7","1:2.2.1-8","1:2.2.1-8build1"],"ecosystem_specific":{"binaries":[{"binary_version":"1:2.2.1-8build1","binary_name":"minisat"}]},"database_specific":{"source":"https://github.com/canonical/ubuntu-security-notices/blob/main/osv/cve/2026/UBUNTU-CVE-2026-2644.json"}},{"package":{"name":"minisat2","ecosystem":"Ubuntu:25.10","purl":"pkg:deb/ubuntu/minisat2?arch=source&distro=questing"},"ranges":[{"type":"ECOSYSTEM","events":[{"introduced":"0"}]}],"versions":["1:2.2.1-8build1"],"ecosystem_specific":{"binaries":[{"binary_name":"minisat","binary_version":"1:2.2.1-8build1"}]},"database_specific":{"source":"https://github.com/canonical/ubuntu-security-notices/blob/main/osv/cve/2026/UBUNTU-CVE-2026-2644.json"}},{"package":{"name":"minisat2","ecosystem":"Ubuntu:26.04:LTS","purl":"pkg:deb/ubuntu/minisat2?arch=source&distro=resolute"},"ranges":[{"type":"ECOSYSTEM","events":[{"introduced":"0"}]}],"versions":["1:2.2.1-8build1","1:2.2.1-8build2"],"ecosystem_specific":{"binaries":[{"binary_version":"1:2.2.1-8build2","binary_name":"minisat"}]},"database_specific":{"source":"https://github.com/canonical/ubuntu-security-notices/blob/main/osv/cve/2026/UBUNTU-CVE-2026-2644.json"}}],"schema_version":"1.7.5","severity":[{"type":"CVSS_V3","score":"CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:L"},{"type":"CVSS_V3","score":"CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:H/I:H/A:H"},{"type":"CVSS_V4","score":"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"},{"type":"Ubuntu","score":"medium"}]}