PT-2019-18646

CVE-2019-7559

تاريخ النشر

2019-02-07

تاريخ التحديث

2019-02-08

CVSS 3.1

5.5

متوسطة

المقاييسAV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H

Name of the Vulnerable Software and Affected Versions Boolector Btor2Tools versions prior to 2019-01-15

Description The issue arises when opening a specially crafted input file, leading to an out of bounds write in pusht bfr.

Recommendations For versions prior to 2019-01-15, update to a version released after 2019-01-15 to resolve the issue.

قابلية الاستغلال

استغلال

إصلاح

التأثيرات

الباحثون

المورّدون

المنتجات المتأثرة

تصنيف نقاط الضعف

المعرّفات ذات الصلة

وجدت خطأً في الوصف؟ لديك ما تضيفه؟ لا تتردد في مراسلتنا 👾