تحليل ثغرة تجاوز سعة الأعداد الصحيحة في وحدة الأمان بلغة Move

ستقوم هذه المقالة بتحليل عميق لثغرة تجاوز السعة العددية المكتشفة حديثًا في لغة Move. توجد هذه الثغرة في وحدة التحقق من الأمان المرجعي، وقد تؤدي إلى تعطل العقد. من خلال شرح هذه المقالة، سيكتسب القارئ فهمًا أعمق للغة Move.

خلفية الثغرات

تقوم لغة Move بالتحقق من الكود قبل تنفيذ بايت كود، وتنقسم إلى 4 خطوات. تظهر هذه الثغرة في خطوة التحقق من الأمان (reference_safety).

العملية الرئيسية للتحقق من الأمان هي:

1. التعرف على الكتل الأساسية من الشفرات
2. تحليل كل كتلة أساسية
3. حالة ما قبل الدمج وما بعده
4. نقل الحالة إلى الكتل اللاحقة

المفتاح هنا هو الحفاظ على هيكل AbstractState، الذي يحتوي على locals وborrow graph لضمان أمان الإشارات.

تفاصيل الثغرة

توجد ثغرة في دالة join_. عندما يكون طول معلمات الدالة بالإضافة إلى طول المتغيرات المحلية أكبر من 256، يحدث تجاوز عددي بسبب استخدام نوع u8 للتكرار.

بشكل محدد:

• iter_locals() يعيد مُكرِر من نوع u8
• يحدث تجاوز عندما يكون طول المعامل + طول المتغير المحلي > 256
• قام المطورون بفحص عدد المتغيرات المحلية فقط، متجاهلين طول المعلمات

استغلال الثغرات

يمكن بناء كتلة أساسية حلقية، باستخدام الفائض لتغيير الحالة:

1. تعيين طول المعلمات والمتغيرات المحلية أكبر من 256
2. بعد التنفيذ الأول، تقلل طول locals الجديدة من تجاوز السعة
3. عند التنفيذ مرة أخرى، يؤدي الوصول إلى فهرس locals غير الموجود إلى حدوث panic

عرض PoC

يوفر كود PoC قابل للتكرار، يتضمن كتلة أساسية في حلقة لانهائية. من خلال تعيين المعلمات المناسبة وطول المتغيرات المحلية، يمكن أن يؤدي إلى DoS.

! اكتشفت Numen Cyber حصريا ثغرة أمنية أخرى عالية الخطورة في لغة الحركة

! اكتشفت Numen Cyber حصريا ثغرة أمنية أخرى عالية الخطورة في لغة الحركة

الاستنتاج

تظهر هذه الثغرة مرة أخرى أن:

1. لا يوجد كود آمن بشكل مطلق
2. أهمية تدقيق الشفرة
3. تتطلب بيئة تشغيل Move المزيد من الفحوصات الأمنية
4. قد يتم تخطي التحقق الثابت، والأمان في وقت التشغيل مهم بنفس القدر

بصفتنا رواد البحث في أمان لغة Move، سنواصل الغوص في القضايا الأمنية ذات الصلة ومشاركة نتائج أبحاثنا مع المجتمع.