Medusa

Chimera হলো Foundry-তে Solidity টেস্ট লেখার জন্য একটি ফ্রেমওয়ার্ক এবং Echidna, Medusa, Halmos এবং Kontrol-এর মতো অন্যান্য ওপেন সোর্স টুলের সাথে সেগুলো পুনরায় ব্যবহার করতে সক্ষম হওয়ার জন্য

স্লিদার হলো Solidity এবং Vyper-এর জন্য Trail of Bits-এর Python স্ট্যাটিক অ্যানালাইসিস ইঞ্জিন: ডিটেক্টর ট্রিগার করতে, কন্ট্রাক্টের কাঠামোগত ভিউ প্রিন্ট করতে, অথবা সম্পূর্ণ কোডবেস জুড়ে কাস্টম চেক স্ক্রিপ্ট করতে এটি 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.