Katalog CVE

CVE-2024-37795

Wysokie
Opublikowano: Przetłumaczono: NVD NIST

Streszczenie

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.

Ocena ryzyka

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.

Rekomendacja

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.

Powiązane podatności

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

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.

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