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

Crytic-Properties

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

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

عرض التالي

AuditHub

نبذة عن ⁦Crytic-Properties⁩

إن Crytic-Properties هي مجموعة من اختبارات الأمان القابلة لإعادة الاستخدام لبعض معايير الرموز المميزة الأكثر استخدامًا مثل ERC-20 وERC-721 وERC-4626 وغيرها.

الوسوم

  • الأمان
  • ⁦ERC-721⁩
  • اختبار التشويش
  • Solidity

المستودعcrytic

معلومات

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