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

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

EDB: The Ethereum Project Debugger

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

Simbolik - Solidity Debugger

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

Abi Ninja

Abi Ninja ज्ञात ABI, पेस्ट किए गए ABI, या डिकंपाइल किए गए बाइटकोड के साथ कॉन्ट्रैक्ट्स को कॉल करने के लिए एक ब्राउज़र 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.