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

Radar (Auditware)

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

स्थिर विश्लेषण · सुरक्षा · Solidity

Radar, from Auditware, is a static analysis tool that covers Solidity as well as Rust, Anchor, and Stylus contracts. Auditors run it to get findings across a mixed contract codebase.

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

CodeTracer

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

EDB: The Ethereum Project Debugger

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

Simbolik - Solidity Debugger

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

Abi Ninja

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

Tenderly

Tenderly provides transaction simulation, trace debugging, alerting, and Virtual TestNets for contracts. Builders use it to replay a failing transaction, watch deployed contracts, and test against a forked network.

Semgrep (smart-contracts rules)

Semgrep is a pattern-based static analysis tool with rulesets for Solidity vulnerabilities. Builders run those rules over a codebase to catch known vulnerable patterns and style issues before review.