مأزق أمان مُحقّق eBPF: بيئة تنفيذ معزولة جديدة
2025-04-15
يواجه eBPF، وهو تقنية أساسية في نواة لينكس، ثغرات أمان وتحديات تتعلق بالتعقيد في مُحقّقه. يقترح الباحثون تحولًا في النموذج: تعريف برامج BPF كتطبيقات وضع kernel تتطلب عزلًا مخصصًا. تم تصميم بيئة تنفيذ جديدة لعزل برامج BPF، مما يعزز أمان eBPF وقابلية توسّعه. تبحث هذه الدراسة في مُحقّق eBPF في لينكس v6.16، وتكشف عن خصائص الأمان، ومعضلات القدرة، ومعضلات الصحة في تحليله الكامل للمسار. تم اقتراح إطار عمل أمان هجين يجمع بين التحقق والعزل، مما يُشير إلى مستقبل أكثر أمانًا لـ eBPF.
التطوير
التحقق من البرنامج