Titanoboa

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

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

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.