मुख्य आशयावर जा
Aderyn
Security & testing

Aderyn

Fuzz/Property testing

CLI · सुरक्षा · शिक्षण · Solidity · स्थिर विश्लेषण · VSCode एक्स्टेंशन · कम्युनिटी-चालित

वेबसाइट (opens in a new tab)सोशल (opens in a new tab)Cyfrin/aderyn(784 ☆) (opens in a new tab)

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

Related resources

Chimera

Chimera

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

Slither

Slither

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

Synpress

Synpress

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

Medusa

Medusa

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

Titanoboa

Titanoboa

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

solidity-coverage

solidity-coverage

solidity-coverage Hardhat डेव्हलपर प्लॅटफॉर्मसाठी स्मार्ट-कॉन्ट्रॅक्ट कोड कव्हरेज प्रदान करते. हे अत्यंत अचूक आहे, पूर्ण viaIR solidity कंपायलेशन आणि solidity-विशिष्ट कोड ब्रांच पॅटर्न्सच्या मोठ्या संचाला सपोर्ट करते. हे ~230k Github प्रोजेक्ट्सवर इन्स्टॉल केलेले आहे आणि NPM वरून आठवड्याला ~100k वेळा डाउनलोड केले जाते.