Security & testing

Simbolik - Solidity Debugger

Debugging & inspection

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

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

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

Related resources

CodeTracer

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

EDB: The Ethereum Project Debugger

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

Abi Ninja

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

Walnut

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

evmc

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

solizard

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