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 बार डाउनलोड किया जाता है।