تخطي إلى المحتوى الرئيسي
Medusa
Security & testing

Medusa

Fuzz/Property testing

الأمان · حوكمة · التحليلات · اختبار التشويش

التواصل الاجتماعي (opens in a new tab)crytic/medusa(481 ☆) (opens in a new tab)

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

Related resources

Chimera

Chimera

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

Slither

Slither

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

Synpress

Synpress

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

Aderyn

Aderyn

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

Titanoboa

Titanoboa

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

solidity-coverage

solidity-coverage

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