स्मार्ट कॉन्ट्रैक्ट सुरक्षा जांच वर्कफ़्लो

स्मार्ट कॉन्ट्रैक्ट ऑडिटिंग के चरण सीखें

कोड पढ़ें और खोजें

एजेंट list_dir और glob का उपयोग करके आपके वर्किंग फोल्डर में सभी कॉन्ट्रैक्ट फ़ाइलों को खोजता है, और read_file मुख्य स्रोत कोड को निरीक्षण के लिए खोलता है। यह शुरुआत है। ऑडिटर स्मार्ट कॉन्ट्रैक्ट में कमज़ोरियों को कोड को हाथ से पढ़कर खोजते हैं। यह प्रोजेक्ट में हर बाहरी कॉल, एक्सेस चेक और स्टेट चेंज के लिए grep चलाता है। आप चैट में तुरंत खोज परिणाम देखते हैं ताकि हर प्रासंगिक कोड लाइन की पुष्टि कर सकें। सुरक्षा की जांच में फ़ेल होना एक बार लाइव जाने के बाद किसी भी डिप्लॉय किए गए प्रोटोकॉल के लिए एक बड़ी चिंता है। यह मैनुअल रिव्यू स्टेप डिप्लॉयमेंट से पहले एक संरचित स्मार्ट कॉन्ट्रैक्ट सुरक्षा जांच समीक्षा का समर्थन करता है। कोडबेस में किसी भी परिवर्तन से पहले एजेंट द्वारा सुझाए गए तर्क को समझने के लिए स्मार्ट कॉन्ट्रैक्ट ऑडिटिंग सीखें।

टेस्ट चलाएं और समीक्षा करें

एजेंट Shell का उपयोग करके आपके PC पर टेस्ट कमांड और स्टैटिक-चेक कमांड चलाता है, ताकि यह आउटपुट को एक टेक्स्ट फ़ाइल में सहेज सके और फ़ाइंडिंग्स ड्राफ़्ट कर सके। आप इन diff की समीक्षा कर सकते हैं। इन diff की समीक्षा करने से आपको पूरी ऑडिट प्रक्रिया स्पष्ट रूप से समझने में मदद मिलती है। solidity ऑडिटिंग शुरू करने में कोड को हाथ से पढ़ना शामिल है। टूल write_file का उपयोग करके फ़ाइंडिंग्स नोट्स और प्रस्तावित फ़िक्स ड्राफ़्ट करता है। यह आपको अपनी फ़ाइलों में किसी भी परिवर्तन स्वीकार करने से पहले एक diff दिखाता है। आप Ask first मोड पर स्विच कर सकते हैं ताकि हर ऐसे एक्शन से पहले रुक सकें जो कुछ बदलता है। पास टेस्ट पुष्टि करते हैं कि फ़िक्स समस्या को हल करता है, लेकिन एक व्यक्ति अभी भी diff की समीक्षा करता है।