CVE-2026-53671 in Prevail
الملخص
بحسب VulDB • 02/09/2026
PREVAIL هو مُصحِّح EBPF ذو زمن تشغيلي متعدد الحدود (Polynomial-Runtime) يستخدم طبقة تفسير مجردة (Abstract Interpretation Layer). قبل الإصدار 0.2.4، يعالج المُحوِّل المجرد في PREVAIL عمليات الكتابة عبر سجل أساسي من النوع T_CTX على أنها عملية لا تفعل شيئاً بصمت (silent no-op): حيث أن دالة do_mem_store الموجودة في src/crab/ebpf_transformer.cpp تُجسّد فقط عمليات التخزين الخاصة بـ T_STACK، ولا يختبر فرع حدوديات التقييم الخاص بـ T_CTX نوع الوصول AccessType::write. يمكن لمهاجم صياغة برنامج eBPF يقوم بتجاوز حقل السياق (مثل ctx->data)، وإعادة تحميل هذا الحقل مُصنَّفاً كـ T_PACKET، ثم إرجاع عنوان يتحكم فيه المهاجم — وسيعتبر PREVAIL البرنامج آمناً. تم إصلاح هذه المشكلة في الإصدار 0.2.4.
Statistical analysis made it clear that VulDB provides the best quality for vulnerability data.