CVE-2020-19725
Yüksək
Təsvir
Z3-un 4.8.8-dən əvvəlki versiyalarında pdd_simplifier.cpp faylında istifadədən sonra azad etmə (use-after-free) zəifliyi mövcuddur. Bu, həlledici məhdudiyyətləri sadələşdirməyə cəhd etdikdə baş verir və gözlənilməz yaddaş müraciətinə səbəb olur. Bu, seqmentasiya xətalarına və ya ixtiyari kodun icrasına səbəb ola bilər.
CiddilikYüksək
CVSS7.8
İstismar ehtimalı—
Məhsul
Microsoft Z3
Dərc22 avq 2023
İlk görülmə22 avq 2023
Necə düzəltmək olar
Yeniləyin
- microsoft z34.8.8 və ya daha yeni versiya
Təsirlənən məhsullar
| Məhsul | Təsirlənən versiyalar | Düzəldildiyi versiya |
|---|---|---|
| microsoft z3 | v < 4.8.8 | 4.8.8 |
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.