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

CVE-2024-37795

High
Published: Translated: NVD NIST

Summary

Wersja 1.1.3 rozwiązania CVC5 zawiera błąd segmentacji, który pozwala atakującym na wywołanie odmowy usługi (DoS) poprzez spreparowany plik wejściowy SMT-LIB zawierający polecenie `set-logic` z określonymi błędami formatowania.

Risk Assessment

Organizacja może doświadczyć przerwy w dostępności usług związanych z rozwiązaniem CVC5, co może prowadzić do zakłóceń w działaniu aplikacji korzystających z tego narzędzia.

Recommendation

Zaleca się aktualizację do najnowszej wersji CVC5, aby usunąć tę podatność oraz monitorowanie plików wejściowych SMT-LIB w celu wykrywania potencjalnie złośliwych danych.

Related vulnerabilities

Original NVD description (English source)

A segmentation fault in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT-LIB input file containing the `set-logic` command with specific formatting errors.

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