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 लूप के बाहर अनुबंधों के साथ प्रयोग कर रहे हों।