Minisat

Minisat

1 Schwachstelle gefunden

Hinweis: Diese Liste kann unvollständig sein. Daten werden ohne Gewähr im Ursprungsformat bereitgestellt.
7.8

CVE-2026-2644

Exploit
  • EPSS 0.02%
  • Veröffentlicht 18.02.2026 07:16:11
  • Zuletzt bearbeitet 20.02.2026 16:20:55

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 21474...