CVE-2026-2644— minisat 缓冲区错误漏洞
一分钟漏洞结论
影响对象
niklasso minisat
利用判断
尚无明确在野利用证据，仍需结合暴露面评估
建议动作
优先检查厂商安全公告和参考链接中的修复版本；无法立即升级时，限制受影响服务暴露并加强监测。
minisat是Niklas Sorensson个人开发者的一个音频解码器。 minisat 2.2.0及之前版本存在缓冲区错误漏洞，该漏洞源于DIMACS文件解析器组件中对参数variable index的处理不当，可能导致越界读取。
可能的 ATT&CK 技术 1 AI
T1203 · Exploitation for Client Execution
获取后续新漏洞提醒
登录后订阅
一、 漏洞 CVE-2026-2644 基础信息
漏洞信息
对漏洞内容有疑问？看看神龙的深度分析是否有帮助！
查看神龙十问 ↗
尽管我们使用了先进的大模型技术，但其输出仍可能包含不准确或过时的信息。神龙努力确保数据的准确性，但请您根据实际情况进行核实和判断。
Vulnerability Title
niklasso minisat DIMACS File SolverTypes.h value out-of-bounds
来源: CVE Program / CVE List V5
Vulnerability 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.
来源: CVE Program / CVE List V5
CVSS Information
CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:L
来源: CVE Program / CVE List V5
Vulnerability Type
跨界内存读
来源: CVE Program / CVE List V5
Vulnerability Title
minisat 缓冲区错误漏洞
来源: 中国国家信息安全漏洞库 CNNVD
Vulnerability Description
minisat是Niklas Sorensson个人开发者的一个音频解码器。 minisat 2.2.0及之前版本存在缓冲区错误漏洞，该漏洞源于DIMACS文件解析器组件中对参数variable index的处理不当，可能导致越界读取。
来源: 中国国家信息安全漏洞库 CNNVD
CVSS Information
N/A
来源: 中国国家信息安全漏洞库 CNNVD
Vulnerability Type
N/A
来源: 中国国家信息安全漏洞库 CNNVD
受影响产品
二、漏洞 CVE-2026-2644 的公开POC
| # | POC 描述 | 源链接 | 神龙链接 |
|---|
AI 生成 POC
高级
未找到公开 POC。
登录以生成 AI POC三、漏洞 CVE-2026-2644 的情报信息
请登录查看更多情报信息。
CVE-2026-2644 厂商安全公告 (1)
-
🔗 [Bug] Heap-buffer-overflow in Minisat::Solver::value · Issue #55 · niklasso/minisat 查看完整文章 exploit issue-tracking
IV. Related Vulnerabilities
V. Comments for CVE-2026-2644
暂无评论