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.
Affected products
| Vendor | Product | Affected | Fixed |
|---|---|---|---|
| niklasso | minisat | 2.0, 2.1, 2.2.0 | — |
Fixed in Linux distributions
Distributions backport fixes, so the version that fixes this vulnerability differs per release — upgrade to at least the version shown. From the distributions' security trackers and advisories.
Debian
Security tracker ↗| Release | Package | Fixed in | Advisory |
|---|---|---|---|
| Debian 14 | minisat2 | No fix yet | — |
| Debian 13 | minisat2 | No fix yet | — |
| Debian 12 | minisat2 | No fix yet | — |
Ubuntu
Security tracker ↗| Release | Package | Fixed in | Advisory |
|---|---|---|---|
| Ubuntu 26.10 | minisat2 | No fix yet | — |
| Ubuntu 26.04 LTS | minisat2 | No fix yet | — |
| Ubuntu 25.10 | minisat2 | No fix yet | — |
| Ubuntu 24.04 LTS | minisat2 | No fix yet | — |
| Ubuntu 22.04 LTS | minisat2 | No fix yet | — |
Show 3 more (older releases, extended support, other products)Fewer releases
| Release | Package | Fixed in | Advisory |
|---|---|---|---|
| Ubuntu 20.04 LTS | minisat2 | No fix yet | — |
| Ubuntu 18.04 LTS | minisat2 | No fix yet | — |
| Ubuntu 16.04 LTS | minisat2 | No fix yet | — |
References
- VDB-346406 | niklasso minisat DIMACS File SolverTypes.h value out-of-bounds vdb-entry technical-description
- VDB-346406 | CTI Indicators (IOB, IOC, IOA) signature permissions-required
- Submit #752775 | niklasso minisat master-branch Heap-based Buffer Overflow third-party-advisory
- https://github.com/niklasso/minisat/issues/55 issue-tracking
- https://github.com/niklasso/minisat/issues/55#issue-3832527387 exploit issue-tracking
- https://github.com/niklasso/minisat/ product