Titanoboa

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

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

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

إن Aderyn هو محلل ثابت للعقود الذكية بلغة Solidity مفتوح المصدر ومبني على Rust من Cyfrin، مصمم لمساعدة مهندسي البروتوكول وباحثي الأمن في العثور على نقاط الضعف في قواعد أكواد Solidity.

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

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