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