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

Simbolik - Solidity Debugger

डीबगिंग आणि तपासणी

सुरक्षा · शिक्षण · प्रतीकात्मक अंमलबजावणी · VSCode एक्स्टेंशन · रनटाइम पडताळणी · औपचारिक पडताळणी

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

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

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

CodeTracer

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

Walnut

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

Abi Ninja

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

evmc

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

solizard

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

viem-tracer

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