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

Simbolik - Solidity Debugger

डीबगिंग और निरीक्षण

सुरक्षा · शिक्षा · प्रतीकात्मक निष्पादन · VSCode एक्सटेंशन · रनटाइम सत्यापन · औपचारिक सत्यापन

वेबसाइट सोशल runtimeverification/simbolik-vscode(48 ☆)runtimeverification/simbolik-examples(5 ☆)

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

संबंधित संसाधन

CodeTracer

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

Walnut

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

Abi Ninja

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

evmc

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

solizard

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

viem-tracer

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