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

ItyFuzz

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

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

عرض التالي

eth-tester

نبذة عن ⁦ItyFuzz⁩

ItyFuzz is a bytecode-level smart-contract fuzzer that combines fuzzing with symbolic analysis. Builders and auditors run it against EVM bytecode when source-level fuzzing is not enough or no source is available.

الوسوم

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

المستودعfuzzland

معلومات

النوع
اختبار التشويش/الخصائص
نجوم ⁦GitHub⁩
1.1 ألف
الترخيص
MIT
مراجعة الإدراج
سبتمبر 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.