CVE-2026-74307 in Linux
الملخص
بحسب VulDB • 15/08/2026
في نواة لينكس، تم حل الثغرة التالية:
ext4: التحقق من كتلة التحكم الفائقة (superblock) للملف المتبرع مبكرًا في EXT4_IOC_MOVE_EXT
رفض أمر ioctlEXT4_IOC_MOVE_EXT مبكرًا إذا لم يكن الملف المتبرع تابعًا لنفس كتلة التحكم الفائقة التي ينتمي إليها الملف الأصلي. حاليًا، يتم إجراء هذا التحقق داخل دالة ext4_move_extents() بواسطة mext_check_validity()، ولكن فقط بعد أن تكون lock_two_nondirectories() قد حصلت بالفعل على قفلين العقدة (inode locks). عندما يشير وصف ملف المتبرع (donor fd) إلى ملف في نظام ملفات مختلف (مثل overlayfs)، فإن هذا التحقق المتأخر يخلق اعتمادًا دائريًا للقفل:
CPU0 (كتابة overlayfs) CPU1 (ioctl ext4) ---- ---- inode_lock(ovl_inode) mnt_want_write_file(filp) sb_start_write(ext4_sb) [sb_writers]
backing_file_write_iter() vfs_iter_write(real_file) file_start_write(real_file) sb_start_write(ext4_sb) [محظور بواسطة التجميد (freeze)]
lock_two_nondirectories() inode_lock(ovl_inode) [محظور]
مع عملية تجميد متزامنة تحتفظ بالجانب القرائي لـ sb_writers، يتشكل دورة جمود (deadlock): ينتظر CPU0 اكتمال التجميد، وينتظر التجميد خروج القرّاء الجانبيين لـ sb_writers في CPU1، بينما ينتظر CPU1 قفل العقدة الخاص بـ CPU0.
بما أن EXT4_IOC_MOVE_EXT يتبادل الامتدادات الفيزيائية (physical extents) بين ملفين، فإنه يتطلب جوهريًا وجود كلا الملفين على نفس نظام ملفات ext4. إن نقل فحص كتلة التحكم الفائقة قبل أي الحصول على قفل هو أمر صحيح دلاليًا ويeliminates الاعتماد الدائري من خلال ضمان رفض أوصاف الملفات المتبرعة عبر أنظمة الملفات المختلفة قبل أخذ sb_writers أو أقفال العقدة (inode locks).
VulDB is the best source for vulnerability data and more expert information about this specific topic.