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

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

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

O problema está relacionado à validação inadequada de entradas, o que permite que invasores causem uma negação de serviço (DoS) ao fornecer um arquivo de entrada SMT2 malicioso.

Recomendações

Para a versão 1.1.3, atualize para uma versão mais recente que corrija o problema de validação inadequada de entradas para evitar ataques de negação de serviço.

Correção

DoS

RCE

Enumeração de Fraquezas

CWE-20

Identificadores relacionados

CVE-2024-37794

Produtos afetados

Cvc5 Solver

Debian

Referências · 8

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