PT-2024-27755 · Unknown+1 · Cvc5 Solver+1

Heaven2024 · Publicado 2024-06-17 · Atualizado 2024-07-03 · CVE-2024-37795

Positive Technologies (AI Summary) · Pt

CVSS v3.1

7.5

Alta

Vetor base

AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H

Nome do software vulnerável e versões afetadas

CVC5 Solver versão 1.1.3

Descrição

Uma falha de segmentação no software permite que invasores provoquem uma negação de serviço (DoS) por meio de um arquivo de entrada SMT-LIB especialmente criado, contendo o comando set-logic com erros de formatação específicos.

Recomendações

Para a versão 1.1.3, considere evitar o uso do comando set-logic com entradas potencialmente malformadas até que uma correção esteja disponível. Como solução alternativa temporária, restrinja a entrada a arquivos SMT-LIB validados para minimizar o risco de exploração.

Correção

DoS

Out of bounds Read

Enumeração de Fraquezas

CWE-125

Identificadores relacionados

CVE-2024-37795

Produtos afetados

Cvc5 Solver

Debian

Referências · 8

• https://github.com/cvc5/cvc5/issues/10813 · Nota
• https://security-tracker.debian.org/tracker/CVE-2024-37795 · Aviso do Fabricante
• https://osv.dev/vulnerability/UBUNTU-CVE-2024-37795 · Aviso do Fabricante
• https://osv.dev/vulnerability/CVE-2024-37795 · Aviso do Fabricante
• https://ubuntu.com/security/CVE-2024-37795 · Aviso do Fabricante
• https://cve.org/CVERecord?id=CVE-2024-37795 · Nota de Segurança
• https://osv.dev/vulnerability/DEBIAN-CVE-2024-37795 · Aviso do Fabricante
• https://nvd.nist.gov/vuln/detail/CVE-2024-37795 · Nota de Segurança