सुरक्षा आणि चाचणी

CodeTracer हे एक युजर-फ्रेंडली टाइम-ट्रॅव्हलिंग डीबगर आहे जे Web3 प्रोग्रॅमिंग लँग्वेजेसच्या विस्तृत श्रेणीला सपोर्ट करण्यासाठी डिझाइन केलेले आहे.

Simbolik हे एक शक्तिशाली Solidity डीबगर आहे जे पारंपारिक ब्रेकपॉइंट डीबगिंगला सिम्बॉलिक एक्झिक्युशनसह एकत्र करते, ज्यामुळे डेव्हलपर्स प्रत्येक संभाव्य एक्झिक्युशन पाथ एक्सप्लोर करू शकतात आणि अचूकतेने असुरक्षा शोधू शकतात. VSCode एक्स्टेंशन म्हणून उपलब्ध असलेले, Simbolik विद्यमान वर्कफ्लोजमध्ये अखंडपणे इंटिग्रेट होते, जे ब्रेकपॉइंट-स्टाईल डीबगिंग, Solidity आणि EVM-स्तरीय इन्स्पेक्शन, आणि औपचारिक पडताळणी क्षमता प्रदान करते.

EVM साठी वेब-आधारित व्यवहार डीबगर आणि सिम्युलेटर. ओपन-सोर्स आणि स्वतः होस्ट करण्यायोग्य. प्रत्येक टप्प्यावर व्हेरिएबल स्थिती तपासा, प्रस्थापित करण्यापूर्वी व्यवहारांचे सिम्युलेशन करा आणि गॅस वापराचे विश्लेषण करा. कोणत्याही RPC प्रोव्हायडरला सपोर्ट करते.

Abi Ninja हा ज्ञात ABIs, पेस्ट केलेले ABIs किंवा डीकंपाइल केलेल्या बाइटकोडसह कॉन्ट्रॅक्ट्स कॉल करण्यासाठी एक ब्राउझर UI आहे, ज्यामध्ये तुमच्या लोकल चालू असलेल्या Hardhat किंवा Anvil नोडसह अनेक नेटवर्क्सवरील प्रॉक्सी-अवेअर रीड्सचा समावेश आहे.

तुमच्या IDE मध्ये कॉन्ट्रॅक्ट कोड त्वरित लोड करण्यासाठी एक साधे cli टूल.

स्मार्ट कॉन्ट्रॅक्ट्सशी संवाद साधण्यासाठी अतिशय सोपे इंटरअ‍ॅक्टिव्ह शेल

viem-tracer हे Viem क्लायंटला विस्तारित करते, जेणेकरून अयशस्वी झालेल्या ethestimateGas आणि ethsendTransaction कॉल्समध्ये sourcify.dev वापरून डीकोड केलेले मानवी-वाचनीय ट्रेस आउटपुट आपोआप समाविष्ट होते. तसेच, हे debug_traceCall भोवती टाईप केलेले हेल्पर्स जोडते, जेणेकरून डेव्हलपर्सना त्यांचा विद्यमान RPC स्टॅक न सोडता एक्झिक्युशनची तपासणी करता येईल.

जेव्हा तुम्हाला ऑनचेन किंवा टेस्ट्समध्ये कॉन्ट्रॅक्टच्या वर्तनामध्ये IDE-ग्रेड दृश्यमानतेची आवश्यकता असते, तेव्हा EDB हे स्टेपिंग, लोकल्स, वॉचेस आणि ब्रेकपॉइंट्ससह Solidity एक्झिक्युशनसाठी एक सोर्स-लेव्हल डीबगर आहे.

forge-stack-tracer सविस्तर Foundry टेस्ट आउटपुटला Swiss-Knife डिकोडिंगद्वारे पाठवते, जेणेकरून अयशस्वी टेस्ट्स अस्पष्ट हेक्स ऐवजी परस्परसंवादी स्टॅक ट्रेसेस परत करतात.

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

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

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

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

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

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

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

hevm हे एक ओपन सोर्स, अत्याधुनिक, जलद सिम्बॉलिक आणि काँक्रीट EVM एक्झिक्यूशन इंजिन आहे जे स्मार्ट कॉन्ट्रॅक्ट्समधील समस्या शोधू शकते. त्याच्या सिम्बॉलिक एक्झिक्यूशन आणि ॲनालिसिस सिस्टीमद्वारे, hevm बग्स शोधण्यासाठी कॉन्ट्रॅक्ट्स सिम्बॉलिकली, सेमी-काँक्रीटली किंवा काँक्रीटली एक्झिक्युट करू शकते, किंवा तफावत शोधण्यासाठी दोन वेगवेगळ्या कॉन्ट्रॅक्ट्सची तुलना करून समतुल्यता तपासणी करू शकते.

Crytic-Properties हा ERC20, ERC721, ERC4626 आणि इतर काही सर्वाधिक वापरल्या जाणाऱ्या टोकन मानकांसाठी पुन्हा वापरता येण्याजोग्या सुरक्षा चाचण्यांचा एक संच आहे.

Wallet Test Framework हा एक स्वयंचलित संच आहे जो मुख्य वॉलेट प्रक्रियांमधून जातो — ट्रान्सफर्स, बॅलन्स तपासणे, मूलभूत विकेंद्रित ॲप्लिकेशन (dapp) संवाद — जेणेकरून टीम्स CI मध्ये सामायिक UX अपेक्षांची रिग्रेशन-टेस्ट करू शकतील.

Branching Tree Technique वर आधारित एक स्मार्ट कॉन्ट्रॅक्ट टेस्ट जनरेटर.

ERCx ही ERC टोकन स्टँडर्ड्ससाठी एक सर्वसमावेशक ओपन-सोर्स टेस्टिंग लायब्ररी आहे, ज्यामध्ये ERC-20, ERC-721, ERC-1155 आणि ERC-4626 इम्प्लिमेंटेशन्ससाठी 500 हून अधिक वैयक्तिक टेस्ट्स समाविष्ट आहेत.

104 असुरक्षितता पॅटर्न्स आणि 8 विश्लेषण टूल्ससह Solidity/EVM स्मार्ट कॉन्ट्रॅक्ट सिक्युरिटी ऑडिटर. CTF आणि EVMBench बेंचमार्क्सवर 100% (120/120) साध्य करते. स्मार्ट कॉन्ट्रॅक्ट्समधील असुरक्षितता शोधण्यासाठी स्टॅटिक ॲनालिसिस.

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

जेव्हा एकच लोकल EVM पुरेसे नसते, तेव्हा मल्टी-चेन किंवा मल्टी-इन्स्टन्स Foundry टेस्ट्सचे स्क्रिप्टिंग करण्यासाठी blocksmith.js हे forge आणि anvil भोवती एक हलके JavaScript हार्नेस आहे.

KEVM हे EVM चे K-framework एक्झिक्युटेबल सिमेंटिक्स आहे: जेव्हा तुम्हाला कन्फॉर्मन्स-चेक्ड एक्झिक्युशन, सिम्बॉलिक एक्सप्लोरेशन, गॅस रिझनिंग, किंवा इथेरियमच्या नियमांचा बारकाईने मागोवा घेणाऱ्या पुराव्यांची आवश्यकता असते, तेव्हा त्याला बाइटकोडवर निर्देशित करा.

Kontrol Foundry प्रॉपर्टी चाचण्यांना KEVM-समर्थित पुराव्यांमध्ये रूपांतरित करते, जेणेकरून तुम्ही केवळ रॉ KEVM च्या तुलनेत कमी हाताने लिहिलेल्या स्पेसिफिकेशनच्या कामासह औपचारिक हमी मिळवू शकाल.

hax हे Rust च्या मोठ्या उपसंचाचे F* किंवा Rocq सारख्या फॉर्मल लँग्वेजेसमध्ये हाय ॲश्युरन्स ट्रान्सलेशन्स करण्यासाठी एक टूल आहे.

Act ही इथेरियमची डिक्लेरेटिव्ह स्पेसिफिकेशन भाषा आणि टूलचेन आहे जी EVM प्रोग्रॅमच्या सर्व वर्तनांचे वर्णन करते, जेणेकरून SMT सॉल्व्हर्स, थिअरम प्रूव्हर्स किंवा आर्थिक विश्लेषण साधने बाइटकोड-स्तरीय अचूकता आणि इन्सेंटिव्ह कम्पॅटिबिलिटीबद्दल तर्क करू शकतील, ज्यामध्ये काँक्रीट इम्प्लिमेंटेशन्सच्या विरुद्ध स्वयंचलित रिफाइनमेंट प्रूफ्स्चा समावेश आहे.

Verifereum इथेरियम स्मार्ट कॉन्ट्रॅक्ट्सना HOL4-समर्थित थिअरम प्रूव्हिंगशी जोडते, जेणेकरून जेव्हा स्वयंचलित SMT दृष्टिकोन पुरेसे नसतात तेव्हा तुम्ही अत्यंत भक्कम अचूकतेचे दावे साध्य करू शकता.