Crytic-Properties

Chimera हे Foundry मध्ये Solidity टेस्ट्स लिहिण्यासाठी आणि Echidna, Medusa, Halmos आणि Kontrol सारख्या इतर ओपन सोर्स टूल्ससोबत त्यांचा पुनर्वापर करण्यास सक्षम होण्यासाठी एक फ्रेमवर्क आहे

स्लिदर हे Trail of Bits चे Solidity आणि Vyper साठी Python स्टॅटिक ॲनालिसिस इंजिन आहे: डिटेक्टर्स कार्यान्वित करण्यासाठी, कॉन्ट्रॅक्ट्सचे स्ट्रक्चरल व्ह्यूज प्रिंट करण्यासाठी किंवा संपूर्ण कोडबेसेसवर कस्टम चेक्स स्क्रिप्ट करण्यासाठी ते CI मध्ये चालवा.

Synpress हे Playwright वर इथेरियम-सक्षम ब्राउझर ऑटोमेशनचा स्तर जोडते, जेणेकरून तुम्ही CI मध्ये वॉलेट पॉपअप्स आणि चेन स्विचेससह विकेंद्रित ॲप्लिकेशन्सची (dapps) एंड-टू-एंड चाचणी करू शकता.

Aderyn हे Cyfrin चे ओपन-सोर्स, Rust-आधारित Solidity स्मार्ट कॉन्ट्रॅक्ट स्टॅटिक ॲनालायझर आहे, जे प्रोटोकॉल इंजिनिअर्स आणि सुरक्षा संशोधकांना Solidity कोड बेसेसमधील असुरक्षा शोधण्यात मदत करण्यासाठी डिझाइन केलेले आहे

Medusa हे Echidna पासून प्रेरित एक स्टेटफुल स्मार्ट कॉन्ट्रॅक्ट फझर आहे. हे स्मार्ट कॉन्ट्रॅक्ट्सचे पॅरललाइज्ड फझ टेस्टिंग आणि प्रगत स्मार्ट कॉन्ट्रॅक्ट इन्व्हेरियंट्सचे व्हेरिफिकेशन प्रदान करते.

Titanoboa हे जलद फीडबॅक लूप्ससाठी एक इंटरअॅक्टिव्ह Vyper इंटरप्रिटर आणि टेस्ट हार्नेस आहे, जेव्हा तुम्ही संपूर्ण Foundry लूपच्या बाहेर कॉन्ट्रॅक्ट्ससोबत प्रयोग करत असता.