CVE-2024-37795
Yüksek
Açıklama
CVC5 Solver v1.1.3 sürümündeki bir segmentation fault, saldırganların belirli biçimlendirme hataları içeren `set-logic` komutuna sahip özel olarak hazırlanmış bir SMT-LIB giriş dosyası aracılığıyla Hizmet Reddi (DoS) durumuna yol açmasına olanak tanır.
ÖnemYüksek
CVSS7.5
İstismar olasılığı—
ÜrünCvc5
Yayın17 Haz 2024
İlk görülme17 Haz 2024
Zayıflık türüCWE-125Sınır dışı okuma
Nasıl düzeltilir
Kaynaklarda bu zafiyet için düzeltilmiş sürüm ya da yama bağlantısı yok.
Etkilenen ürünler
| Ürün | Etkilenen sürümler | Düzeltildiği sürüm |
|---|---|---|
| cvc5 cvc5 | 1.1.3 | — |
Sürümünüzü kontrol edin
Ürünü seçin ve kullandığınız sürümü yazın; sürümün etkilenen aralıkta olup olmadığını görün.
Intelligence 360 paketinde
Attack Surface Management
Alan adlarınıza bağlı varlıkları, bu varlıklarda çalışan teknolojileri ve bilinen zafiyetleri tek listede görün.