VDB-346406 · Submit #752775 · CVE-2026-2644

niklasso minisat 直到 2.2.0 DIMACS File Parser core/SolverTypes.h Solver::value variable index 信息公开

摘要信息

分类为棘手的漏洞曾在niklasso minisat 直到 2.2.0中发现。受影响的是函数Solver::value，位于库core/SolverTypes.h，组件DIMACS File Parser。由于参数variable index 输入2147483648被操作，进而引发信息公开。该漏洞编号为CVE-2026-2644。需要在本地攻击。而且，有现成的漏洞利用。

分类为棘手的漏洞曾在niklasso minisat 直到 2.2.0中发现。受影响的是函数Solver::value，位于库core/SolverTypes.h，组件DIMACS File Parser。由于参数variable index 输入2147483648被操作，进而引发信息公开。利用 CWE 标识该问题会跳转到 CWE-125。此漏洞的脆弱性公示人身份55、所分享。请访问 github.com 下载该通告。

该漏洞编号为CVE-2026-2644。需要在本地攻击。技术细节已公开。此漏洞的受欢迎程度低于平均值。而且，有现成的漏洞利用。该漏洞利用已公开，攻击者可能会加以利用。目前，大约是 USD $0-$5k。

如果有长度，则声明为概念验证。该漏洞利用的共享下载地址为：github.com。 Nessus 提供了编号为 299391 的漏洞插件。

该安全漏洞还在其他漏洞数据库中被收录：Tenable (299391)。

产品信息

供应商

niklasso

名称

minisat

版本

网站

产品: https://github.com/niklasso/minisat/

CPE 2.3信息

CPE 2.2信息

CVSSv4信息

VulDB 向量: 🔒
VulDB 可靠性: 🔍

CNA CVSS-B Score: 🔒
CNA CVSS-BT Score: 🔒
CNA 向量: 🔒

CVSSv3信息

VulDB 元基础分数: 4.8
VulDB 元临时分数: 4.7

VulDB 基本分数: 3.3
VulDB 临时得分: 3.0
VulDB 向量: 🔒
VulDB 可靠性: 🔍

NVD 基本分数: 7.8
NVD 向量: 🔒

CNA 基本分数: 3.3
CNA 向量: 🔒

CVSSv2信息

AV	AC	Au	C	I	A
💳	💳	💳	💳	💳	💳
💳	💳	💳	💳	💳	💳
💳	💳	💳	💳	💳	💳

向量	复杂性	身份验证	保密	完整性	可用性
开锁	开锁	开锁	开锁	开锁	开锁
开锁	开锁	开锁	开锁	开锁	开锁
开锁	开锁	开锁	开锁	开锁	开锁

VulDB 基本分数: 🔒
VulDB 临时得分: 🔒
VulDB 可靠性: 🔍

利用信息

分类: 信息公开
CWE: CWE-125 / CWE-119
CAPEC: 🔒
ATT&CK: 🔒

身体的: 部分
本地: 是
远程: 否

可用性: 🔒
访问: 公共
状态: 概念验证
下载: 🔒

EPSS Score: 🔒
EPSS Percentile: 🔒

价格预测: 🔍
当前价格估算: 🔒