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

foundry-storage-check

Fuzz/Property testing

Foundry · CLI · DevOps · GitHub actions · Solidity · स्टोरेज लेआउट · कोड गुणवत्ता · सुरक्षा

Rubilmax/foundry-storage-check(101 ☆) (opens in a new tab)

foundry-storage-check ही Foundry प्रोजेक्ट्ससाठी एक GitHub Action आहे जी प्रत्येक पुल रिक्वेस्टवर चालते, जेणेकरून अपग्रेडेबल प्रॉक्सी स्टोरेज लेआउट्स कोलिजन-सेफ राहतील आणि मर्ज होण्यापूर्वी नव्याने जोडलेले स्टोरेज स्लॉट्स ऑनचेन झिरो-इनिशियलाइज्ड असतील याची खात्री करता येईल.

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) एंड-टू-एंड चाचणी करू शकता.

Aderyn

Aderyn

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

Medusa

Medusa

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

Titanoboa

Titanoboa

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