تخطي إلى المحتوى الرئيسي
الأمان والاختبار
⁦CROPS Native⁩

Echidna

اختبار التشويش/الخصائص

عرض على ⁦GitHub⁩ (يفتح في علامة تبويب جديدة)

عرض التالي

Synpress

نبذة عن ⁦Echidna⁩

Echidna is a property-based and grammar fuzzer for Ethereum smart contracts. Builders and auditors write properties with it to find inputs that break contract invariants.

الوسوم

  • اختبار التشويش
  • الاختبار
  • الأمان

المستودعcrytic

معلومات

النوع
اختبار التشويش/الخصائص
نجوم ⁦GitHub⁩
3.2 ألف
الترخيص
AGPL-3.0
مراجعة الإدراج
سبتمبر 2026

أدوات مشابهة

Chimera

Chimera

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

Slither
⁦CROPS Native⁩

Slither

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

Medusa

Medusa

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