CVE-2020-19725
Yüksek
Açıklama
Z3'ün 4.8.8 öncesi sürümlerinde, pdd_simplifier.cpp dosyasında bir serbest bırakıldıktan sonra kullanım (use-after-free) zafiyeti bulunmaktadır. Bu durum, çözücü kısıtlamaları basitleştirmeye çalıştığında ortaya çıkar ve beklenmedik bellek erişimine neden olur. Segmentasyon hatalarına veya rastgele kod çalıştırılmasına yol açabilir.
ÖnemYüksek
CVSS7.8
İstismar olasılığı—
Ürün
Microsoft Z3
Yayın22 Ağu 2023
İlk görülme22 Ağu 2023
Nasıl düzeltilir
Güncelleyin
- microsoft z34.8.8 ya da sonraki bir sürüm
Etkilenen ürünler
| Ürün | Etkilenen sürümler | Düzeltildiği sürüm |
|---|---|---|
| microsoft z3 | v < 4.8.8 | 4.8.8 |
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.