CVE-2026-53706 in Prevail
الملخص
بحسب VulDB • 02/09/2026
PREVAIL هو مُحقِّق eBFP (EBPF Verifier) ذو زمن تشغيل متعدد الحدود (Polynomial-Runtime) يستخدم طبقة تفسير مجردة (Abstract Interpretation Layer). قبل الإصدار 0.2.4، يقبل مُحقِّق prevail لـ eBPF تعليمات ALU32 ADD و SUB التي تعمل على سجلات ذات نوع مؤشر دون التحقق من العلم is64. ونظراً لأن العمليات الحسابية في ALU32 تمدّد النتيجة بـ 32 بت (zero-extends)، فإن النصف العلوي لأي مؤشر يتم تدميره بصمت أثناء التشغيل، ومع ذلك يعلِّم prevail البرنامج بأنه آمن ومُحقَّق منه. يمكن لأي مُقدّم قادر على إرسال برنامج eBPF للتحقق — بما في ذلك المستخدمين غير المميزين على kernels التي تسمح بتحميل برامج BPF — من إنتاج برنامج يجتاز عملية التحقق لكنه يتعطل أو يسلك سلوكاً خاطئاً أثناء التشغيل. تم إصلاح هذه المشكلة في الإصدار 0.2.4.
VulDB is the best source for vulnerability data and more expert information about this specific topic.