CVE-2019-7560
Orta
Açıklama
Boolector 3.0.0 sürümündeki parser/btorsmt2.c dosyasında, özel olarak hazırlanmış bir giriş dosyasının açılması, get_failed_assumptions veya btor_delete fonksiyonlarında serbest bırakıldıktan sonra kullanım (use after free) durumuna yol açar.
ÖnemOrta
CVSS5.5
İstismar olasılığı—
ÜrünBoolector
Yayın7 Şub 2019
İlk görülme7 Şub 2019
Nasıl düzeltilir
Güncelleyin
- pyboolector3.1.0 ya da sonraki bir sürüm
Etkilenen ürünler
| Ürün | Etkilenen sürümler | Düzeltildiği sürüm |
|---|---|---|
| boolector_project boolector | 3.0.0 | — |
| pyboolectorPyPI | v < 3.1.0 | 3.1.0 |
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.