CVE Catalog
EnglishPolski(English translation not available - showing Polish)

CVE-2024-37794

High
Published: Translated: NVD NIST

Summary

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.

Risk Assessment

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.

Recommendation

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.

Related vulnerabilities

Original NVD description (English source)

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

Vulnerability data from NVD (NIST) · CISA KEV · EPSS