CVE-2024-37795
Yüksək
Təsvir
CVC5 Solver v1.1.3-də seqmentasiya xətası, xüsusi formatlaşdırma xətaları olan `set-logic` əmrini ehtiva edən hazırlanmış SMT-LIB giriş faylı vasitəsilə təcavüzkarlara xidmətdən imtina (DoS) yaratmağa imkan verir.
CiddilikYüksək
CVSS7.5
İstismar ehtimalı—
MəhsulCvc5
Dərc17 iyn 2024
İlk görülmə17 iyn 2024
Zəiflik növüCWE-125Sərhəddən kənar oxuma
Necə düzəltmək olar
Mənbələrdə bu zəiflik üçün düzəldilmiş versiya və ya yamaq keçidi yoxdur.
Təsirlənən məhsullar
| Məhsul | Təsirlənən versiyalar | Düzəldildiyi versiya |
|---|---|---|
| cvc5 cvc5 | 1.1.3 | — |
Versiyanızı yoxlayın
Məhsulu seçin və istifadə etdiyiniz versiyanı yazın; versiyanın təsirlənən aralıqda olub-olmadığını görün.
Intelligence 360 paketində
Attack Surface Management
Domenlərinizə bağlı aktivləri, onlarda işləyən texnologiyaları və məlum zəiflikləri bir siyahıda görün.