CVE-2026-2644

Katalog CVE

CVSS 7.8 · High EPSS 0,22%

Kerentanan Improper Restriction of Operations within the Bounds of a Memory Buffer pada minisat. Skor CVSS 3.1 7.8 (High) menurut NVD.

Deskripsi (NVD)

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.

Rincian

Terbit di NVD

18 Februari 2026

Terakhir diubah

17 Juni 2026

Status NVD

Analyzed

CVSS 3.1

7.8 (High), sumber NVD
CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:H/I:H/A:H · uraikan di kalkulator

Jenis kelemahan (CWE)

CWE-119: Improper Restriction of Operations within the Bounds of a Memory Buffer
CWE-125: Out-of-bounds Read
CWE-787: Out-of-bounds Write

EPSS (30 hari)

0,22% peluang dieksploitasi; lebih tinggi dari 11,0% CVE lain

Produk dan versi terdampak

> Data dari konfigurasi CPE di NVD.

Referensi dan perbaikan

• https://github.com/niklasso/minisat/ product · advisory vendor
• https://github.com/niklasso/minisat/issues/55 exploit · issue tracking · advisory vendor
• https://vuldb.com/?id.346406 advisory pihak ketiga · vdb entry
• https://vuldb.com/?submit.752775 exploit · advisory pihak ketiga · vdb entry
• https://github.com/niklasso/minisat/issues/55#issue-3832527387 exploit · issue tracking
• https://vuldb.com/?ctiid.346406 permissions required · vdb entry