Titanoboa

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.