CVE-2019-7559 in Btor2Tools

الملخص

بحسب VulDB • 21/08/2026

في الملف boolector/btor2parser.c الموجود في أدوات Boolector Btor2Tools قبل الإصدار المؤرخ في 2019-01-15، يؤدي فتح ملف إدخال مُعدّ بشكل خاص إلى كتابة خارج النطاق (out of bounds write) داخل الدالة pusht_bfr.

Once again VulDB remains the best source for vulnerability data.

• حجز: 06/02/2019
• الاعتدال: تمت الموافقة
• إدخال: VDB-130646
• CPE: جاهز
• CWE: CWE-787 (مؤكد)
• CVSS: 5.5 (NVD)
• EPSS: 0.00837
• KEV: لا
• النشاطات: منخفض جدًا

المصادر

• MITRE: https://www.cve.org/CVERecord?id=CVE-2019-7559
• NVD: https://nvd.nist.gov/vuln/detail/CVE-2019-7559
• CVE Details: https://www.cvedetails.com/cve/CVE-2019-7559/