सुरक्षा और परीक्षण

CodeTracer एक उपयोगकर्ता के अनुकूल टाइम-ट्रैवलिंग डीबगर है जिसे वेब3 प्रोग्रामिंग भाषाओं की एक विस्तृत श्रृंखला का समर्थन करने के लिए डिज़ाइन किया गया है।

Simbolik एक शक्तिशाली Solidity डीबगर है जो पारंपरिक ब्रेकपॉइंट डीबगिंग को सिम्बोलिक निष्पादन के साथ जोड़ता है, जिससे डेवलपर्स हर संभव निष्पादन पथ का पता लगाने और सटीकता के साथ कमजोरियों को उजागर करने में सक्षम होते हैं। एक VSCode एक्सटेंशन के रूप में उपलब्ध, Simbolik मौजूदा वर्कफ़्लो में सहजता से एकीकृत होता है, जो ब्रेकपॉइंट-शैली डीबगिंग, Solidity और EVM-स्तर के निरीक्षण, और औपचारिक सत्यापन क्षमताएं प्रदान करता है।

EVM के लिए वेब-आधारित लेन-देन डीबगर और सिम्युलेटर। ओपन-सोर्स और स्वयं-होस्ट करने योग्य। हर कदम पर वेरिएबल की स्थितियों का निरीक्षण करें, तैनात करने से पहले लेन-देन को सिमुलेट करें, और गैस उपयोग को प्रोफ़ाइल करें। किसी भी RPC प्रदाता का समर्थन करता है।

Abi Ninja ज्ञात ABI, पेस्ट किए गए ABI, या डिकंपाइल किए गए बाइटकोड के साथ कॉन्ट्रैक्ट्स को कॉल करने के लिए एक ब्राउज़र UI है, जिसमें आपके स्थानीय रूप से चल रहे Hardhat या Anvil नोड सहित कई नेटवर्क पर प्रॉक्सी-अवेयर रीड्स की सुविधा है।

आपके IDE में तुरंत कॉन्ट्रैक्ट कोड लोड करने के लिए एक सरल cli टूल।

स्मार्ट कॉन्ट्रैक्ट के साथ इंटरैक्ट करने के लिए सुपर आसान इंटरैक्टिव शेल

viem-tracer एक Viem क्लाइंट को संवर्धित करता है ताकि विफल ethestimateGas और ethsendTransaction कॉल में sourcify.dev द्वारा डिकोड किया गया मानव-पठनीय ट्रेस आउटपुट स्वचालित रूप से शामिल हो जाए, और यह debug_traceCall के लिए टाइप्ड हेल्पर्स जोड़ता है ताकि डेवलपर्स अपने मौजूदा RPC स्टैक को छोड़े बिना निष्पादन का निरीक्षण कर सकें।

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

forge-stack-tracer विस्तृत Foundry परीक्षण आउटपुट को Swiss-Knife डिकोडिंग के माध्यम से भेजता है ताकि विफल परीक्षण अस्पष्ट हेक्स के बजाय इंटरैक्टिव स्टैक ट्रेस लौटाएं।

Chimera foundry में Solidity परीक्षण लिखने और उन्हें Echidna, Medusa, Halmos और Kontrol जैसे अन्य ओपन सोर्स टूल्स के साथ पुन: उपयोग करने में सक्षम होने के लिए एक फ्रेमवर्क है।

स्लिथर Solidity और Vyper के लिए Trail of Bits का Python स्टेटिक एनालिसिस इंजन है: डिटेक्टरों को ट्रिगर करने, कॉन्ट्रैक्ट्स के संरचनात्मक दृश्य प्रिंट करने, या संपूर्ण कोडबेस पर कस्टम चेक स्क्रिप्ट करने के लिए इसे CI में चलाएं।

Synpress, Playwright में इथेरियम-जागरूक ब्राउज़र ऑटोमेशन की एक लेयर जोड़ता है, ताकि आप CI में वॉलेट पॉपअप और चेन स्विच सहित विकेंद्रीकृत एप्लिकेशन (dapp) का एंड-टू-एंड परीक्षण कर सकें।

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 बेंचमार्क (120/120) पर 100% हासिल करता है। स्मार्ट अनुबंधों में भेद्यताओं का पता लगाने के लिए स्टेटिक विश्लेषण।

foundry-storage-check, Foundry प्रोजेक्ट्स के लिए एक GitHub Action है जो प्रत्येक पुल रिक्वेस्ट पर चलता है ताकि यह सुनिश्चित किया जा सके कि अपग्रेडेबल प्रॉक्सी स्टोरेज लेआउट टकराव-सुरक्षित रहें और मर्ज के लागू होने से पहले नए जोड़े गए स्टोरेज स्लॉट ऑनचेन शून्य से इनिशियलाइज़ हों।

blocksmith.js मल्टी-चेन या मल्टी-इंस्टेंस Foundry परीक्षणों की स्क्रिप्टिंग के लिए forge और anvil के इर्द-गिर्द एक हल्का JavaScript ढांचा है, जब एक अकेला स्थानीय EVM पर्याप्त नहीं होता है।

KEVM, EVM का K-framework निष्पादन योग्य सिमेंटिक्स है: जब आपको अनुरूपता-सत्यापित निष्पादन, प्रतीकात्मक अन्वेषण, गैस तर्क, या ऐसे प्रमाणों की आवश्यकता हो जो इथेरियम के नियमों को बारीकी से ट्रैक करते हों, तो इसे बाइटकोड पर निर्देशित करें।

Kontrol, Foundry प्रॉपर्टी टेस्ट को KEVM-समर्थित प्रमाणों में बदल देता है, जिससे आप अकेले रॉ KEVM की तुलना में कम हस्तलिखित विनिर्देश कार्य के साथ औपचारिक गारंटी प्राप्त कर सकते हैं।

hax Rust के एक बड़े उपसमुच्चय को F* या Rocq जैसी औपचारिक भाषाओं में उच्च आश्वासन अनुवाद के लिए एक उपकरण है।

Act इथेरियम की एक घोषणात्मक विनिर्देश भाषा और टूलचेन है, जो किसी EVM प्रोग्राम के सभी व्यवहारों का वर्णन करती है ताकि SMT सॉल्वर, थ्योरम प्रूवर, या आर्थिक विश्लेषण उपकरण बाइटकोड-स्तर की शुद्धता और प्रोत्साहन संगतता के बारे में तर्क कर सकें, जिसमें ठोस कार्यान्वयन के विरुद्ध स्वचालित शोधन प्रमाण शामिल हैं।

Verifereum इथेरियम स्मार्ट कॉन्ट्रैक्ट्स को HOL4-समर्थित थ्योरम प्रूविंग से जोड़ता है ताकि जब स्वचालित SMT दृष्टिकोण पर्याप्त न हों, तो आप बहुत मजबूत शुद्धता के दावों का लक्ष्य रख सकें।