Crytic-Properties

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

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

تدمج Synpress أداة ⁦Playwright⁩ مع أتمتة متصفح مدركة لإيثيريوم بحيث يمكنك إجراء اختبار شامل للتطبيقات اللامركزية (dapps)، بما في ذلك النوافذ المنبثقة للمحفظة وتبديلات السلسلة، في التكامل المستمر (⁦CI⁩).

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

إن ⁦Titanoboa⁩ هو مترجم Vyper تفاعلي وبيئة اختبار لحلقات التغذية الراجعة السريعة عندما تقوم بتجربة العقود خارج حلقة Foundry كاملة.

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