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

Aderyn

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

زيارة الموقع الإلكتروني (يفتح في علامة تبويب جديدة)⁦Aderyn⁩ على ⁦X⁩ (يفتح في علامة تبويب جديدة)⁦Aderyn⁩ على ⁦GitHub⁩ (يفتح في علامة تبويب جديدة)

عرض التالي

ItyFuzz

نبذة عن ⁦Aderyn⁩

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

الوسوم

  • ⁦CLI⁩
  • الأمان
  • التعليم
  • Solidity
  • تحليل ثابت
  • إضافة ⁦VSCode⁩
  • مدفوع بالمجتمع

المستودعCyfrin

معلومات

النوع
اختبار التشويش/الخصائص
نجوم ⁦GitHub⁩
805
الترخيص
GPL-3.0
مراجعة الإدراج
يونيو 2026

أدوات مشابهة

Chimera

Chimera

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

Slither
⁦CROPS Native⁩

Slither

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

Echidna
⁦CROPS Native⁩

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.