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

Simbolik - Solidity Debugger

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

భద్రత · విద్య · సింబాలిక్ ఎగ్జిక్యూషన్ · VSCode ఎక్స్‌టెన్షన్ · రన్‌టైమ్ ధృవీకరణ · నియత ధృవీకరణ

వెబ్‌సైట్సోషల్runtimeverification/simbolik-vscode(48 ☆)runtimeverification/simbolik-examples(5 ☆)

Simbolik అనేది ఒక శక్తివంతమైన Solidity డీబగ్గర్, ఇది సాంప్రదాయ బ్రేక్‌పాయింట్ డీబగ్గింగ్‌ను సింబాలిక్ ఎగ్జిక్యూషన్‌తో మిళితం చేస్తుంది, డెవలపర్‌లు సాధ్యమయ్యే ప్రతి అమలు మార్గాన్ని అన్వేషించడానికి మరియు దుర్బలత్వాలను ఖచ్చితత్వంతో వెలికితీసేందుకు వీలు కల్పిస్తుంది. VSCode ఎక్స్‌టెన్షన్‌గా అందుబాటులో ఉన్న Simbolik, బ్రేక్‌పాయింట్-శైలి డీబగ్గింగ్, Solidity మరియు EVM-స్థాయి తనిఖీ మరియు నియత ధృవీకరణ సామర్థ్యాలను అందిస్తూ, ఇప్పటికే ఉన్న వర్క్‌ఫ్లోలలో సజావుగా కలిసిపోతుంది.

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

CodeTracer

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

Walnut

EVM కోసం వెబ్ ఆధారిత లావాదేవీ డీబగ్గర్ మరియు సిమ్యులేటర్. ఓపెన్-సోర్స్ మరియు స్వయంగా హోస్ట్ చేయదగినది. ప్రతి దశలో వేరియబుల్ స్థితులను తనిఖీ చేయండి, డిప్లాయ్ చేయడానికి ముందు లావాదేవీలను సిమ్యులేట్ చేయండి మరియు గ్యాస్ వినియోగాన్ని ప్రొఫైల్ చేయండి. ఏదైనా RPC ప్రొవైడర్‌కు మద్దతు ఇస్తుంది.

Abi Ninja

Abi Ninja అనేది తెలిసిన ABIలు, పేస్ట్ చేసిన ABIలు లేదా డీకంపైల్ చేసిన బైట్‌కోడ్‌తో కాంట్రాక్ట్‌లను కాల్ చేయడానికి ఉపయోగించే ఒక బ్రౌజర్ UI, ఇది మీ స్థానికంగా రన్ అవుతున్న Hardhat లేదా Anvil నోడ్‌తో సహా అనేక నెట్‌వర్క్‌లలో ప్రాక్సీ-అవేర్ రీడ్‌లను అందిస్తుంది.

evmc

మీ IDEలో తక్షణమే కాంట్రాక్ట్ కోడ్‌ను లోడ్ చేయడానికి ఒక సాధారణ cli టూల్.

solizard

స్మార్ట్ కాంట్రాక్ట్‌లతో ఇంటరాక్ట్ అవ్వడానికి సూపర్ ఈజీ ఇంటరాక్టివ్ షెల్

viem-tracer

viem-tracer ఒక Viem క్లయింట్‌ను మెరుగుపరుస్తుంది, తద్వారా విఫలమైన ethestimateGas మరియు ethsendTransaction కాల్‌లు sourcify.devతో డీకోడ్ చేయబడిన, మానవులు చదవగలిగే ట్రేస్ అవుట్‌పుట్‌ను స్వయంచాలకంగా చేర్చుతాయి. అలాగే, డెవలపర్‌లు తమ ప్రస్తుత RPC స్టాక్‌ను వదలకుండా అమలును తనిఖీ చేయడానికి వీలుగా ఇది debug_traceCall చుట్టూ టైప్ చేయబడిన హెల్పర్‌లను జోడిస్తుంది.