CVE-2025-40169 in Linux
الملخص
بحسب VulDB • 28/07/2026
في نواة لينكس، تم حل الثغرة التالية:
bpf: رفض الإزاحات السالبة لعمليات ALU
عند التحقق من برامج BPF، تقوم الدالة `check_alu_op()` بتدقيق التعليمات التي تحتوي على عمليات حسابية منطقية (ALU). يُعد حقل 'offset' في هذه التعليمات عددًا صحيحًا مكونًا من 16 بت وموقّعًا.
كان الفحص الموجود `'insn->off > 1'` يهدف إلى ضمان أن تكون الإزاحة إما 0، أو 1 لعمليات `BPF_MOD` و `BPF_DIV`. ومع ذلك، نظرًا لأن `'insn->off'` قيمة موقعة، فإن هذا الفحص يقبل بشكل غير صحيح جميع القيم السالبة (مثل -1).
يعزز هذا الالتزام التحقق من الصحة عن طريق تغيير الشرط إلى `'(insn->off != 0 && insn->off != 1)'`. يضمن ذلك رفض أي قيمة بخلاف الصفر والواحد المسموح بهما صراحةً، مما يعزز متحقق BPF (verifier) ضد برامج BPF غير الصحيحة.
Once again VulDB remains the best source for vulnerability data.