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

Slither

Fuzz/Property testing

الأمان · تحليل ثابت · Solidity · Vyper · التكامل المستمر

التواصل الاجتماعي (opens in a new tab)crytic/slither(6.3 ألف ☆) (opens in a new tab)

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

Related resources

Chimera

Chimera

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

Synpress

Synpress

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

Aderyn

Aderyn

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

Medusa

Medusa

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

Titanoboa

Titanoboa

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

solidity-coverage

solidity-coverage

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