تحليل الثغرات في مترجم Solidity واستراتيجيات المواجهة

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

دور مترجم Solidity هو تحويل كود عقود الذكاء إلى كود تعليمات آلة Ethereum (EVM). على عكس ثغرات EVM نفسها، تحدث ثغرات مترجم Solidity بشكل أساسي خلال عملية الترجمة، ولن تؤثر مباشرة على شبكة Ethereum نفسها، ولكن يمكن أن تؤدي إلى عدم توافق كود EVM الناتج مع توقعات المطورين، مما يتسبب في أخطاء أثناء تشغيل عقود الذكاء، وقد يؤدي حتى إلى خسارة أصول المستخدمين.

سوف نوضح من خلال عدة حالات حقيقية الشكل المحدد لثغرات مترجم Solidity وأسبابها وأضرارها:

1. SOL-2016-9 تخزين البيانات النظيف ذو البايت العالي

توجد هذه الثغرة في إصدارات مبكر من مترجم Solidity (>=0.1.6 <0.4.4). في بعض الحالات، لم يقم المترجم بإزالة البيانات العليا بشكل صحيح بعد تجاوز العدد الصحيح، مما أدى إلى تعديل غير مقصود للمتغيرات المجاورة. قد يؤدي هذا إلى حدوث أخطاء في المنطق الأساسي مثل التحقق من الأذونات أو محاسبة الأصول.

2. SOL-2022-4 آثار جانبية للذاكرة في التجميع المضمن

توجد هذه الثغرة في إصدارات المترجم من 0.8.13 إلى 0.8.15. بسبب تنفيذ غير صحيح لاستراتيجية تحسين المترجم، قد يتم حذف تعليمات كتابة الذاكرة في التجميع المضمن بشكل خاطئ، مما يؤدي إلى عدم تناسق البيانات.

3. SOL-2022-6 AbiReencodingHeadOverflowWithStaticArrayCleanup

تؤثر هذه الثغرة على إصدارات المترجم من 0.5.8 إلى 0.8.16. عند ترميز مصفوفة من نوع calldata باستخدام abi، تم مسح بعض البيانات عن طريق الخطأ، مما أدى إلى تعديل البيانات المجاورة، مما تسبب في عدم اتساق نتائج الترميز وفك الترميز.

بالنسبة لثغرات مترجم Solidity، يُنصح المطورون وفرق الأمان باتخاذ التدابير التالية:

إلى المطورين:

• استخدم إصدار أحدث من مترجم Solidity
• تحسين حالات اختبار الوحدة، وزيادة تغطية الشفرة
• تجنب استخدام التجميع المتداخل، وترميز وفك ترميز ABI المعقدة، وغيرها من العمليات التي يسهل الخطأ فيها.

إلى موظفي الأمان:

• التركيز على المخاطر المحتملة الناتجة عن إصدار المترجم أثناء التدقيق
• إضافة التحقق من إصدار المترجم في عملية التطوير
• تقييم الأثر الفعلي لثغرات المترجم بناءً على المشروع المحدد

بعض الموارد المفيدة:

• تنبيه أمان Solidity الرسمي
• قائمة الأخطاء في مستودع GitHub الخاص بـ Solidity
• تحذير من ثغرات في مترجم صفحة كود العقد على إيثيرسكان

من خلال فهم خصائص ثغرات مترجم Solidity واتخاذ التدابير المناسبة، يمكن تقليل خطر المخاطر الأمنية الناتجة عن مشاكل المترجم في العقود الذكية بشكل فعال.