Echidna

⁦Chimera⁩ ⁦foundry⁩ میں ⁦Solidity⁩ ٹیسٹ لکھنے اور انہیں دیگر اوپن سورس ٹولز جیسے ⁦Echidna⁩، ⁦Medusa⁩، ⁦Halmos⁩ اور ⁦Kontrol⁩ کے ساتھ دوبارہ استعمال کرنے کے قابل ہونے کے لیے ایک فریم ورک ہے۔

سلدر ⁦Solidity⁩ اور ⁦Vyper⁩ کے لیے ⁦Trail of Bits⁩ کا ⁦Python⁩ جامد تجزیہ انجن ہے: اسے ⁦CI⁩ میں چلائیں تاکہ ڈیٹیکٹرز کو فائر کیا جا سکے، کنٹریکٹس کے ساختی مناظر پرنٹ کیے جا سکیں، یا پورے کوڈ بیسز پر کسٹم چیکس اسکرپٹ کیے جا سکیں۔

⁦Medusa⁩ ایک سٹیٹ فل سمارٹ کنٹریکٹ فزر (fuzzer) ہے جو ⁦Echidna⁩ سے متاثر ہے۔ یہ سمارٹ کنٹریکٹس کی متوازی فز ٹیسٹنگ اور جدید سمارٹ کنٹریکٹ انویرینٹس (invariants) کی تصدیق فراہم کرتا ہے۔