Synpress

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

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

Aderyn হলো Cyfrin-এর ওপেন-সোর্স, Rust-ভিত্তিক Solidity স্মার্ট কন্ট্রাক্ট স্ট্যাটিক অ্যানালাইজার যা প্রোটোকল ইঞ্জিনিয়ার এবং সিকিউরিটি গবেষকদের Solidity কোড বেসে দুর্বলতা খুঁজে বের করতে সাহায্য করার জন্য ডিজাইন করা হয়েছে

Medusa হলো Echidna দ্বারা অনুপ্রাণিত একটি স্টেটফুল স্মার্ট কন্ট্রাক্ট ফাজার। এটি স্মার্ট কন্ট্রাক্টের প্যারালালাইজড ফাজ টেস্টিং এবং অ্যাডভান্সড স্মার্ট কন্ট্রাক্ট ইনভ্যারিয়েন্টগুলোর ভেরিফিকেশন প্রদান করে।

Titanoboa হলো একটি ইন্টারেক্টিভ Vyper ইন্টারপ্রেটার এবং টেস্ট হারনেস, যা সম্পূর্ণ Foundry লুপের বাইরে কন্ট্রাক্ট নিয়ে পরীক্ষা-নিরীক্ষা করার সময় দ্রুত ফিডব্যাক লুপের জন্য ব্যবহৃত হয়।

solidity-coverage Hardhat ডেভেলপার প্ল্যাটফর্মের জন্য স্মার্ট-কন্ট্রাক্ট কোড কভারেজ প্রদান করে। এটি অত্যন্ত নির্ভুল, সম্পূর্ণ viaIR solidity কম্পাইলেশন এবং solidity-নির্দিষ্ট কোড ব্রাঞ্চ প্যাটার্নের একটি বড় সেট সমর্থন করে। এটি ~230k Github প্রজেক্টে ইনস্টল করা আছে এবং NPM থেকে সপ্তাহে ~100k বার ডাউনলোড করা হয়।