Katalog CVE

CVE-2024-37794

Wysokie
Opublikowano: Przetłumaczono: NVD NIST

Streszczenie

Nieprawidłowa walidacja danych wejściowych w CVC5 Solver w wersji 1.1.3 umożliwia atakującym spowodowanie Denial of Service (DoS) poprzez spreparowany plik wejściowy SMT2.

Ocena ryzyka

Organizacja może doświadczyć przerwy w dostępności usług, co może prowadzić do utraty zaufania klientów oraz potencjalnych strat finansowych.

Rekomendacja

Zaleca się aktualizację CVC5 Solver do najnowszej wersji, aby zminimalizować ryzyko związane z tą podatnością oraz wdrożenie mechanizmów monitorowania i ochrony przed atakami DoS.

Powiązane podatności

Oryginalny opis (angielski, źródło NVD)

Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.

Dane podatności pochodzą z NVD (NIST) · CISA KEV · EPSS