تحليل ثغرات مترجم Solidity وإجراءات الوقاية منها

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

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

فيما يلي بعض الأمثلة الحقيقية على ثغرات مترجم Solidity:

1. SOL-2016-9 HighOrderByteCleanStorage

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

2. SOL-2022-4 تأثيرات الذاكرة الجانبية لـ InlineAssembly

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

3. SOL-2022-6 فشل إعادة ترميز ABI نتيجة تجاوز سعة رأس المصفوفة الثابتة

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

بالنسبة لثغرات مترجم Solidity، إليك النصائح الأمنية التالية:

للمطورين:

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

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

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

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

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

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