Aderyn

إن ⁦Chimera⁩ هو إطار عمل لكتابة اختبارات ⁦Solidity⁩ في ⁦foundry⁩ والقدرة على إعادة استخدامها مع أدوات مفتوحة المصدر أخرى مثل ⁦Echidna⁩ و⁦Medusa⁩ و⁦Halmos⁩ و⁦Kontrol⁩

سليذر هو محرك التحليل الثابت بلغة Python من Trail of Bits لـ Solidity و Vyper: قم بتشغيله في التكامل المستمر (⁦CI⁩) لإطلاق أجهزة الكشف، أو طباعة طرق العرض الهيكلية للعقود، أو كتابة نصوص برمجية لفحوصات مخصصة عبر قواعد الأكواد بأكملها.

تدمج Synpress أداة ⁦Playwright⁩ مع أتمتة متصفح مدركة لإيثيريوم بحيث يمكنك إجراء اختبار شامل للتطبيقات اللامركزية (dapps)، بما في ذلك النوافذ المنبثقة للمحفظة وتبديلات السلسلة، في التكامل المستمر (⁦CI⁩).

Medusa هي أداة اختبار عشوائي (fuzzer) للعقود الذكية ذات الحالة (stateful) مستوحاة من Echidna. توفر اختبارًا عشوائيًا متوازيًا للعقود الذكية والتحقق من الثوابت المتقدمة للعقود الذكية.

إن ⁦Titanoboa⁩ هو مترجم Vyper تفاعلي وبيئة اختبار لحلقات التغذية الراجعة السريعة عندما تقوم بتجربة العقود خارج حلقة Foundry كاملة.

يوفر solidity-coverage تغطية كود العقد الذكي لمنصة مطوري Hardhat. إنه دقيق للغاية، ويدعم تجميع Solidity الكامل عبر viaIR ومجموعة كبيرة من أنماط فروع الكود الخاصة بـ Solidity. تم تثبيته على حوالي ⁦230k⁩ مشروع على GitHub ويتم تنزيله حوالي ⁦100k⁩ مرة في الأسبوع من NPM.