Goal Reached Thanks to every supporter — we hit 100%!

Goal: 1000 CNY · Raised: 1336 CNY

100%
Buy Us a Coffee

CVE-2026-2644— niklasso minisat DIMACS File SolverTypes.h value out-of-bounds

Quick assessment

Affected
niklasso minisat
Exploitation
No confirmed in-the-wild exploitation; assess based on exposure
Recommended action
Check the vendor advisory and references for a fixed version. If immediate upgrade is impossible, restrict exposure and increase monitoring.

minisat是Niklas Sorensson个人开发者的一个音频解码器。 minisat 2.2.0及之前版本存在缓冲区错误漏洞，该漏洞源于DIMACS文件解析器组件中对参数variable index的处理不当，可能导致越界读取。

CVSS 3.3 · Low EPSS 0.22% · P13

Possible ATT&CK Techniques 1 AI

T1203 · Exploitation for Client Execution
Get alerts for future matching vulnerabilities Log in to subscribe

I. Basic Information for CVE-2026-2644

Vulnerability Information
Have questions about the vulnerability? See if Shenlong's analysis helps!
View Shenlong Deep Dive ↗

Although we use advanced large model technology, its output may still contain inaccurate or outdated information.Shenlong tries to ensure data accuracy, but please verify and judge based on the actual situation.

Vulnerability Title
niklasso minisat DIMACS File SolverTypes.h value out-of-bounds
Source: 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.
Source: 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
Source: CVE Program / CVE List V5
Vulnerability Type
跨界内存读
Source: CVE Program / CVE List V5
Vulnerability Title
minisat 缓冲区错误漏洞
Source: CNNVD (China National Vulnerability Database)
Vulnerability Description
minisat是Niklas Sorensson个人开发者的一个音频解码器。 minisat 2.2.0及之前版本存在缓冲区错误漏洞，该漏洞源于DIMACS文件解析器组件中对参数variable index的处理不当，可能导致越界读取。
Source: CNNVD (China National Vulnerability Database)
CVSS Information
N/A
Source: CNNVD (China National Vulnerability Database)
Vulnerability Type
N/A
Source: CNNVD (China National Vulnerability Database)

Affected Products

Vendor Product Affected Versions CPE Subscribe
niklasso minisat 2.0 -

II. Public POCs for CVE-2026-2644

# POC Description Source Link Shenlong Link
AI-Generated POC Premium

No public POC found.

Login to generate AI POC

III. Intelligence Information for CVE-2026-2644

请登录查看更多情报信息。

Vendor Advisories for CVE-2026-2644 (1)

IV. Related Vulnerabilities

Same weakness: CWE-125

V. Comments for CVE-2026-2644

No comments yet

Leave a comment