CVE-2019-7559
Orta
Açıklama
Boolector Btor2Tools'un 2019-01-15 öncesindeki sürümlerinde, btor2parser/btor2parser.c dosyasında, özel olarak hazırlanmış bir giriş dosyasının açılması pusht_bfr içerisinde sınır dışı yazmaya (out of bounds write) yol açar.
ÖnemOrta
CVSS5.5
İstismar olasılığı—
ÜrünBtor2tools
Yayın7 Şub 2019
İlk görülme7 Şub 2019
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 |
|---|---|---|
| btor2tools_project btor2tools | v ≤ 2019-01-15 | — |
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.