భద్రత & టెస్టింగ్

Semgrep (smart-contracts rules)

డీబగ్గింగ్ & తనిఖీ

స్టాటిక్ అనాలిసిస్ · భద్రత · Solidity

semgrep/semgrep https://pypi.org/project/semgrep/

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.

సంబంధిత వనరులు

CodeTracer

CodeTracer అనేది విస్తృత శ్రేణి web3 ప్రోగ్రామింగ్ లాంగ్వేజ్‌లకు మద్దతు ఇవ్వడానికి రూపొందించబడిన యూజర్ ఫ్రెండ్లీ టైమ్-ట్రావెలింగ్ డీబగ్గర్.

EDB: The Ethereum Project Debugger

ఆన్‌చైన్ లేదా పరీక్షలలో కాంట్రాక్ట్ ప్రవర్తనపై మీకు IDE-స్థాయి విజిబిలిటీ అవసరమైనప్పుడు, స్టెప్పింగ్, లోకల్స్, వాచెస్ మరియు బ్రేక్‌పాయింట్‌లతో కూడిన Solidity అమలు కోసం EDB అనేది ఒక సోర్స్-స్థాయి డీబగ్గర్.

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.

sol2uml

sol2uml generates UML class and storage-layout diagrams from Solidity source or from verified contracts. Builders run it to see contract relationships and how state variables are packed into storage.