PT-2026-20356 · Niklasso · Minisat
CVSS v3.1
7.8
Alta
| Vetor | AV:L/AC:L/PR:L/UI:N/S:U/C:H/I:H/A:H |
Nome do Software Vulnerável e Versões Afetadas
niklasso minisat versões anteriores à 2.2.1
Descrição
Existe uma falha no niklasso minisat até a versão 2.2.0. O problema reside na função
Solver::value na biblioteca core/SolverTypes.h do componente DIMACS File Parser. A manipulação do argumento da variável index com uma entrada de 2147483648 leva a uma leitura fora dos limites. Isso requer acesso local para exploração. O exploit está disponível publicamente. Os mantenedores do projeto foram notificados, mas ainda não responderam.Recomendações
Atualize o niklasso minisat para a versão 2.2.1 ou posterior.
Exploit
Correção
Memory Corruption
Out of bounds Read
Buffer Overflow
Encontrou algum problema na descrição? Tem algo a acrescentar? Fique à vontade para nos escrever 👾
Identificadores relacionados
Produtos afetados
Minisat