Crytic-Properties

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

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

Synpress Playwright-এর সাথে ইথেরিয়াম-সচেতন ব্রাউজার অটোমেশনের সমন্বয় করে, যাতে আপনি CI-তে ওয়ালেট পপআপ এবং চেইন সুইচ সহ বিকেন্দ্রীকৃত অ্যাপ্লিকেশন (dapp)-এর এন্ড-টু-এন্ড টেস্ট করতে পারেন।

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

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

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