CVE-2019-7560
Orta
Təsvir
Boolector 3.0.0 versiyasındakı parser/btorsmt2.c faylında, xüsusi hazırlanmış giriş faylının açılması get_failed_assumptions və ya btor_delete funksiyalarında "use after free" (yaddaşdan silindikdən sonra istifadə) xətasına səbəb olur.
CiddilikOrta
CVSS5.5
İstismar ehtimalı—
MəhsulBoolector
Dərc7 fev 2019
İlk görülmə7 fev 2019
Necə düzəltmək olar
Yeniləyin
- pyboolector3.1.0 və ya daha yeni versiya
Təsirlənən məhsullar
| Məhsul | Təsirlənən versiyalar | Düzəldildiyi versiya |
|---|---|---|
| boolector_project boolector | 3.0.0 | — |
| pyboolectorPyPI | v < 3.1.0 | 3.1.0 |
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.