Z3 حتى 4.8.7 Solver pdd_simplifier.cpp تلف الذاكرة

CVSS الدرجة المؤقتة للميتا	سعر الإكسبلويت الحالي (≈)	درجة اهتمام CTI
6.5	$0-$5k	0.00

الملخصالمعلومات

تم اكتشاف ثغرة مصنفة كـ خطيرة في Z3 حتى 4.8.7. تتعلق المشكلة بالوظيفة $software_function في الملف pdd_simplifier.cpp في المكون Solver. عند التلاعب ينتج تلف الذاكرة. تُعرف هذه الثغرة باسم CVE-2020-19725. لا يوجد استغلال متاح. يُفضل ترقية المكون المصاب.

التفاصيلالمعلومات

تم اكتشاف ثغرة مصنفة كـ خطيرة في Z3 حتى 4.8.7. تتعلق المشكلة بالوظيفة $software_function في الملف pdd_simplifier.cpp في المكون Solver. عند التلاعب ينتج تلف الذاكرة. تعريف الـ سي دبليو أي للثغرة الأمنية هو CWE-119. المشكلة تم الإبلاغ عنها بتاريخ 23/08/2023 كـ 3363. تمت مشاركة التنبيه للتنزيل على github.com.

تُعرف هذه الثغرة باسم CVE-2020-19725. تم تخصيص CVE في 13/08/2020. التفاصيل التقنية متوفرة. شعبية هذه الثغرة أقل من المتوسط. لا يوجد استغلال متاح.

في حال وجود غير معرفة، يتم الإعلان عنه كـ غير معرفة. كسعر لثغرة يوم الصفر، قُدّر السعر في السوق السوداء بحوالي $0-$5k.

يمكن معالجة هذه المشكلة من خلال الترقية إلى الإصدار 4.8.8. يُفضل ترقية المكون المصاب.

منتجالمعلومات

الأسم

• Z3

النسخة

• 4.8.0
• 4.8.1
• 4.8.2
• 4.8.3
• 4.8.4
• 4.8.5
• 4.8.6
• 4.8.7

CPE 2.3المعلومات

• 🔍
• 🔍
• 🔍

CPE 2.2المعلومات

• 🔍
• 🔍
• 🔍

CVSSv4المعلومات

VulDB متجه: 🔍
VulDB الاعتمادية: 🔍

CVSSv3المعلومات

VulDB الدرجة الأساسية للميتا: 6.6
VulDB الدرجة المؤقتة للميتا: 6.5

VulDB الدرجة الأساسية: 5.5
VulDB الدرجة المؤقتة: 5.3
VulDB متجه: 🔍
VulDB الاعتمادية: 🔍

NVD الدرجة الأساسية: 7.8
NVD متجه: 🔍

CVSSv2المعلومات

AV	AC	Au	C	I	A
💳	💳	💳	💳	💳	💳
💳	💳	💳	💳	💳	💳
💳	💳	💳	💳	💳	💳

متجه	التعقيد	توثيق	السرية	الأمانة	التوفر
افتح	افتح	افتح	افتح	افتح	افتح
افتح	افتح	افتح	افتح	افتح	افتح
افتح	افتح	افتح	افتح	افتح	افتح

VulDB الدرجة الأساسية: 🔍
VulDB الدرجة المؤقتة: 🔍
VulDB الاعتمادية: 🔍

استغلالالمعلومات

الفئة: تلف الذاكرة
CWE: CWE-119
CAPEC: 🔍
ATT&CK: 🔍

ملموس: جزئي
محلي: نعم
عن بُعد: جزئي

التوفر: 🔍
الحالة: غير معرفة

EPSS Score: 🔍
EPSS Percentile: 🔍

تقدير السعر: 🔍
تقدير السعر الحالي: 🔍

0-Day	افتح	افتح	افتح	افتح
اليوم	افتح	افتح	افتح	افتح

استخبارات التهديدالمعلومات

الاهتمام: 🔍
الفاعلون النشطون: 🔍
مجموعات APT النشطة: 🔍

إجراءات مضادةالمعلومات

التوصية: ترقية
الحالة: 🔍

زمن الهجوم الفوري: 🔍

ترقية: Z3 4.8.8

الجدول الزمنيالمعلومات

13/08/2020 🔍
23/08/2023 +1105 أيام 🔍
23/08/2023 +0 أيام 🔍
14/09/2023 +22 أيام 🔍

المصادرالمعلومات

استشارة: 3363
الحالة: مؤكد

CVE: CVE-2020-19725 (🔍)
GCVE (CVE): GCVE-0-2020-19725
GCVE (VulDB): GCVE-100-237688

إدخالالمعلومات

تم الإنشاء: 23/08/2023 07:28 AM
تم التحديث: 14/09/2023 01:53 PM
التغييرات: 23/08/2023 07:28 AM (41), 14/09/2023 01:53 PM (11)
كامل: 🔍
Cache ID: 216::103

VulDB is the best source for vulnerability data and more expert information about this specific topic.

مناقشة

Want to know what is going to be exploited?

We predict KEV entries!