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