Security & testing

Simbolik - Solidity Debugger

Debugging & inspection

Bezpečnost · Vzdělávání · Symbolická exekuce · Rozšíření pro VSCode · Verifikace za běhu · Formální verifikace

Webové stránky Sociální sítě runtimeverification/simbolik-vscode(48 ☆)runtimeverification/simbolik-examples(5 ☆)

Simbolik je výkonný debugger pro Solidity, který kombinuje tradiční ladění pomocí breakpointů se symbolickým prováděním, což vývojářům umožňuje prozkoumat každou možnou cestu provádění a s přesností odhalit zranitelnosti. Simbolik, dostupný jako rozšíření pro VSCode, se hladce integruje do stávajících pracovních postupů a nabízí ladění ve stylu breakpointů, inspekci na úrovni Solidity a EVM a možnosti formální verifikace.

Related resources

CodeTracer

CodeTracer je uživatelsky přívětivý debugger s možností cestování v čase, navržený pro podporu široké škály programovacích jazyků web3.

EDB: The Ethereum Project Debugger

EDB je debugger na úrovni zdrojového kódu pro provádění v Solidity s krokováním, lokálními proměnnými, sledováním a body přerušení, když potřebujete viditelnost chování kontraktu onchain nebo v testech na úrovni IDE.

Abi Ninja

Abi Ninja je uživatelské rozhraní v prohlížeči pro volání kontraktů se známými ABI, vloženými ABI nebo dekompilovaným bajtkódem, s čtením s podporou proxy napříč mnoha sítěmi, včetně vašeho lokálně běžícího uzlu Hardhat nebo Anvil.

Walnut

Webový debugger a simulátor transakcí pro EVM. Open-source a s možností vlastního hostování. Kontrolujte stavy proměnných v každém kroku, simulujte transakce před nasazením a profilujte využití gasu. Podporuje jakéhokoli poskytovatele RPC.

evmc

jednoduchý cli nástroj pro okamžité načtení kódu kontraktu do vašeho IDE.

solizard

Super snadný interaktivní shell pro interakci s chytrými kontrakty