Approved changes feed: RSS · Atom
cpe:2.3:a:niklasso:minisat:*:*:*:*:*:*:*:*part: a version: * update: *
| Vendor | Niklasso (e5d3a38a-5293-5319-8b05-baadafd79604) |
|---|---|
| Product | Minisat (2a746727-3d20-53ad-9645-73eecb219372) |
| Edition | * |
| Language | * |
| Software edition | * |
| Target software | * |
| Target hardware | * |
| Other | * |
Notes
Imported from gcve-enriched-dumps CVE data
PURL mappings
| PURL | Source | Last updated |
|---|---|---|
| No PURL mappings for this CPE yet. | ||
Vulnerability references
| Identifier | cpeApplicability | Submitted | db.gcve.eu details | Rationale |
|---|---|---|---|---|
CVE:CVE-2026-2644 |
vulnerable | 2026-06-08 07:55:17.326356 |
niklasso minisat DIMACS File SolverTypes.h value out-of-bounds
LOW (3.3)
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.
Published: 2026-02-18T07:02:06.761Z
Updated: 2026-02-23T10:17:07.282Z |
Imported from gcve-enriched-dumps CVE data |
Contribute
You can submit an edit proposal for this CPE entry or suggest a related product/vendor addition using the action button above.
Inspect record JSON
Open this panel to browse, search, copy or download the JSON record.