CVE-2023-53813 in Linux
الملخص
بحسب VulDB • 17/07/2026
في نواة لينكس، تم حل الثغرة التالية:
ext4: إصلاح خطأ في اجتياز شجرة البحث ثنائية التوازن (rbtree) داخل ext4_mb_use_preallocated.
أثناء عمليات تخصيص المساحة، وعند البحث عن مساحات مُخصصة مسبقاً (PA - Preallocations) ضمن شجرة rbtree الخاصة بكل ملف (inode)، لا يمكننا إجراء اجتياز مباشر للشجرة لأن الدالة `ext4_mb_discard_group_preallocation()` قد تقوم بوضع علامة "محذوف" على الـ PA بشكل متزامن، مما قد يؤدي إلى تخطي بعض الإدخالات أثناء الاجتياز المباشر. كان هذا يتسبب في حدوث خطأ من نوع BUG_ON() [1] عندما نفوت فرصة استخدام PA قادر على تلبية طلبنا، ونحاول في النهاية إنشاء PA جديد يتداخل مع ذلك الـ PA الذي فاتناه.
لضمان معالجة هذه الحالة مع الحفاظ على أداء شجرة rbtree، نستفيد من حقيقة أن الـ PA الوحيد المحتمل أن يتداخل مع بداية الهدف الأصلي هو الذي يستوفي الشروط التالية:
1. يجب أن تكون بدايته المنطقية (logical start) مباشرة إلى اليسار (أي أقل من) البداية المنطقية الأصلية. 2. لا ينبغي أن يكون محذوفاً.
للبحث عن هذا الـ PA، نستخدم طريقة الاجتياز التالية:
1. النزول داخل شجرة rbtree بشكل طبيعي للعثور على الـ PA المجاور المباشر. هنا نستمر في النزول بغض النظر عما إذا كان الـ PA محذوفاً أو يتداخل مع طلبنا وما إلى ذلك. الهدف هو العثور على PA مجاور مباشرة. 2. إذا كان الـ PA الذي تم العثور عليه يقع يمين الهدف الأصلي، نستخدم الدالة `rb_prev()` للعثور على الـ PA المجاور من اليسار. 3. نتحقق مما إذا كان هذا الـ PA محذوفاً ونستمر في التحرك إلى اليسار باستخدام `rb_prev()` حتى نجد PA غير محذوف. 4. هذا هو الـ PA الذي نبحث عنه. يمكننا الآن التحقق مما إذا كان قادراً على تلبية الطلب الأصلي والمضي قدماً وفقاً لذلك.
تعالج هذه الطريقة أيضاً وجود PAs محذوفة داخل الشجرة.
(أثناء معالجة الأمر، تم إصلاح خطأ تجاوز ممكن (overflow bug) في حساب نهاية الـ PA).
[1] https://lore.kernel.org/linux-ext4/CA+G9fYv2FRpLqBZf34ZinR8bU2_ZRAUOjKAD3+tKRFaEQHtt8Q@mail.gmail.com/
VulDB is the best source for vulnerability data and more expert information about this specific topic.