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

goevmlab

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

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

عرض التالي

solidity-coverage

نبذة عن ⁦goevmlab⁩

goevmlab is an EVM fuzzing and differential testing lab built by a go-ethereum core developer. EVM implementers use it to fuzz their own implementation and compare its behavior against others to find divergences.

الوسوم

  • اختبار التشويش
  • الاختبار
  • أدوات تصحيح الأخطاء

المستودعholiman

معلومات

النوع
اختبار التشويش/الخصائص
نجوم ⁦GitHub⁩
314
الترخيص
LGPL-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.