FirmReBugger: A Benchmark Framework for Monolithic Firmware Fuzzers
تقدم هذه الورقة FirmReBugger، وهو إطار عمل مرجعي شامل يستخدم أوراكل الأخطاء (bug oracles) ومجموعة متنوعة من الأهداف الواقعية (FirmBench) لتقييم أدوات فحص البرمجيات الثابتة المتجانسة (monolithic firmware fuzzers) بشكل عادل ودقيق دون تعديل الملفات الثنائية المستهدفة، مما يثبت فعاليته من خلال دراسة إعادة إنتاج واسعة النطاق لتسعة من الأدوات الحديثة.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أن لديك صندوقاً ضخماً ومغلقاً (البرمجيات الثابتة - firmware) يتحكم في جهاز ذكي، مثل منظم حرارة أو طائرة بدون طيار. هذا الصندوق "متجانس" (monolithic)، مما يعني أن جميع تروسه ونوابضه ورافعاته ملحومة معاً في قطعة واحدة صلبة دون وجود نظام تشغيل يساعد في إدارتها.
هدفك هو العثور على نقاط الضعف (الثغرات) في هذا الصندوق قبل أن يجدها الأشرار. وللقيام بذلك، قمت بتوظيف "fuzzer" (مُدقق عشوائي) — وهو روبوت يرمي ملايين المدخلات العشوائية والفوضوية على الصندوق ليرى ما إذا كان سينكسر.
المشكلة: كيف نعرف أي روبوت هو الأفضل حقاً؟
حالياً، يحاول الباحثون تقييم هذه الروبوتات باستخدام طريقتين معيبتين:
- تغطية الكود (مقياس "السائح"): يقومون بعدّ الغرف التي زارها الروبوت داخل الصندوق. لكن الخدعة هنا هي أنه إذا وجد الروبوت ثقباً في الجدار وسقط من خلاله، فقد يهبط بالصدفة في غرفة لم يكن من المفترض أن يراها أبداً. سيبدو الروبوت وكأنه مستكشف عظيم، لكنه في الحقيقة غش عبر كسر القواعد.
- الانهيارات الفريدة (مقياس "الضجيج"): يقومون بعدّ عدد المرات التي انهار فيها الصندوق. ولكن نظرًا لأن هذه الصناديق معقدة للغاية، فإن نفس الترس المعطل قد يتسبب في انهيار الصندوق بـ 100 طريقة مختلفة اعتماداً على توقيت حدوث الضجيج. قد يبلغ الروبوت عن 100 انهيار، لكنه في الواقع وجد نفس المشكلة الواحدة 100 مرة.
بسبب ذلك، من الصعب معرفة ما إذا كان الروبوت الجديد أذكى أم أنه فقط أفضل في الغش أو إحداث الضجيج.
الحل: FirmReBugger
قام المؤلفون ببناء نظام جديد يسمى FirmReBugger. تخيل أنه حكم صارم للغاية يراقب الروبوتات وهي تلعب، لكنه لا يتدخل في اللعبة نفسها.
إليك كيف يعمل، باستخدام تشبيه إبداعي:
1. "عراف الثغرات" (خريطة الكنز)
بدلاً من التخمين فيما إذا كان الروبوت قد وجد ثغرة، ينشئ الباحثون "خريطة كنز" محددة لكل ثغرة معروفة. يسمون هذه الخرائط Ravens.
- الـ Raven هو بطاقة تعليمات بسيطة تقول: "إذا وصل الروبوت إلى هذه النقطة المحددة في الكود وَ بدا الذاكرة بهذا الشكل، فقد تم العثور على ثغرة".
- الأمر يشبه حارس أمن يعرف بالضبط شكل الشيء المسروق. إذا أحضر الروبوت غرضاً يطابق الوصف، فإن الحارس يقرع الجرس.
2. "إعادة التشغيل" (المسافر عبر الزمن)
لا يراقب الحكم الروبوت أثناء رمي المدخلات (لأن ذلك سيكون فوضوياً). بدلاً من ذلك، ينتظر حتى ينتهي الروبوت. ثم يأخذ "قائمة الرميات" الخاصة بالروبوت (البذور - seeds) ويعيد تشغيلها في محاكاة.
- خلال إعادة التشغيل هذه، يستخدم الحكم "خرائط الكنز" (Ravens) للتحقق مما حدث بالضبط.
- يمكنه التمييز بين:
- وصل (Reached): الروبوت وصل إلى الغرفة.
- فعل (Triggered): الروبوت لمس نقطة الضعف.
- اكتشف (Detected): الروبوت كسر الصندوق.
- لم يصل (Not Reached): الروبوت لم يقترب أبداً.
هذا يضمن أن الروبوت لم يغش عبر كسر الصندوق للوصول إلى الغرفة. فالحكم يعرف الحقيقة.
3. "مضمار العقبات" (FirmBench)
لاختبار الروبوتات بشكل عادل، بنى المؤلفون صالة رياضية تسمى FirmBench. تحتوي على 61 "صندوقاً" مختلفاً (برمجيات ثابتة من العالم الحقيقي) مع 313 نقطة ضعف معروفة.
- الصالة القياسية: سهلة الدخول، لا توجد بها أقفال غريبة.
- الصالة الصعبة: تحتوي على "قيم سحرية" (كلمات مرور سرية يجب تخمينها)، و"ملحقات معقدة" (أجهزة غريبة تتحدث لغة محددة فقط)، و"DMA" (نفق سري يتجاوز الباب الرئيسي).
- صالة "X": وهي النسخة الأصعب، حيث تُترك الصناديخ تماماً كما هي في العالم الحقيقي، مع كل تلك الأقفال والأنفاق المعقدة سليمة.
ماذا وجدوا؟
اختبر المؤلفون 9 من أفضل الروبوتات ضد هذه الصالة الرياضية. وإليك ما حدث:
- الغشاشون: بعض الروبوتات بدت رائعة في "الصالة القياسية" لأنها استغلت الثغرات للوصة إلى مناطق جديدة، مما ضخم درجاتها. لقد كشفهم FirmReBugger وأعطاهم درجة أقل وأكثر صدقاً.
- الكلمات السرية السحرية: العديد من الروبوتات تعثرت لأنها لم تستطع تخمين "القيم السحرية" (مثل رمز PIN). فقط الروبوتات التي تمتلك قواميس خاصة أو استراتيجيات تخمين ذكية تمكنت من تجاوزها.
- الأنفاق السرية (DMA): معظم الروبوتات كانت عمياء تجاه أنفاق "DMA". لم تستطع حقن البيانات في المسار السري، لذا فاتتها الثغرات المخفية هناك. فقط عدد قليل من الروبات المتخصصة استطاعت التنقل عبر هذا المسار.
- مضيعو الوقت: بعض الصناديق كانت تحتوي على "مؤقتات نوم" أو "حلقات انتظار" جعلت الروبوتات تنتظر لساعات. هذا أبطأ عملهم لدرجة أنهم لم يتمكنوا من العثور على الكثير من الثغرات في يوم واحد.
الخلاصة الكبرى
FirmReBugger هو طريقة جديدة وصادقة لتقييم مدققي البرمجيات الثابتة (firmware fuzzers). إنه يمنع الروبوتات من الغش باستخدام "خرائط الكنز" للتحقق مما وجدوه بالضبط. وهو يوضح لنا أنه بينما تتحسن بعض الروبوتات، إلا أنها لا تزال تعاني مع عقبات العالم الحقيقي مثل كلمات المرور السرية، والأجهزة المعقدة، والأنفاق المخفية.
لقد جعل المؤلفون "خرائط الكنز" و"الصالة الرياضية" الخاصة بهم متاحة للجميع حتى يتم اختبار الروبوتات المستقبلية بشكل عادل، مما يساعد في بناء أجهزة أكثر أماناً للمستقبل.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.