ستخدم أدوات تدقيق العقود الذكية لتحديد الثغرات الأمنية في العقود الذكية . يمكن استخدام هذه الأدوات من قبل مدققي العقود الذكية أو المطورين أو أي شخص آخر يريد التأكد من أن عقودهم الذكية آمنة أو تتمتع بمستوى معين من الأمان. في هذه المقالة، سنناقش أربعة من أبرز هذه الأدوات: Foundry، Diligence Fuzzing، Echidna، وDapptools. تم
ستخدم أدوات تدقيق العقود الذكية لتحديد الثغرات الأمنية في العقود الذكية . يمكن استخدام هذه الأدوات من قبل مدققي العقود الذكية أو المطورين أو أي شخص آخر يريد التأكد من أن عقودهم الذكية آمنة أو تتمتع بمستوى معين من الأمان. سنقدم لمحة عامة عن اختبار الطفرة و هو نهج حديث يُستخدم لتحسين جودة البرمجيات عن
تشرح هذه المقالة ما يحدث على مستوى الـbytecode عند إنشاء عقد ذكي لإيثريوم وكيفية تفسير وسيطات المنشئ (constructor arguments). مقدمة على مستوى عالٍ، ترسل المحفظة التي تنشر العقد معاملة إلى العنوان الفارغ مع بيانات المعاملة الموضحة في ثلاثة أجزاء: يُطلق عليهم معًا كود الإنشاء. يبدأ EVM بتنفيذ كود init. إذا تم ترميز كود init بشكل