Security & testing

Simbolik - Solidity Debugger

Debugging & inspection

Bezpieczeństwo · Edukacja · Wykonywanie symboliczne · Rozszerzenie VSCode · Weryfikacja w czasie wykonywania · Weryfikacja formalna

Strona internetowa Społeczności runtimeverification/simbolik-vscode(48 ☆)runtimeverification/simbolik-examples(5 ☆)

Simbolik to potężny debugger Solidity, który łączy tradycyjne debugowanie z punktami przerwania (breakpoints) z symbolicznym wykonywaniem, umożliwiając deweloperom eksplorację każdej możliwej ścieżki wykonania i precyzyjne odkrywanie podatności. Dostępny jako rozszerzenie VSCode, Simbolik płynnie integruje się z istniejącymi przepływami pracy, oferując debugowanie w stylu punktów przerwania, inspekcję na poziomie Solidity i EVM oraz możliwości weryfikacji formalnej.

Related resources

CodeTracer

CodeTracer to przyjazny dla użytkownika debugger z funkcją podróży w czasie, zaprojektowany do obsługi szerokiej gamy języków programowania web3.

EDB: The Ethereum Project Debugger

EDB to debugger na poziomie kodu źródłowego do wykonywania Solidity z możliwością pracy krokowej, zmiennymi lokalnymi, podglądami i punktami przerwania, gdy potrzebujesz widoczności zachowania kontraktu onchain lub w testach na poziomie IDE.

Abi Ninja

Abi Ninja to interfejs przeglądarkowy do wywoływania kontraktów ze znanymi ABI, wklejonymi ABI lub zdekompilowanym kodem bajtowym, z odczytami uwzględniającymi proxy w wielu sieciach, w tym w lokalnie uruchomionym węźle Hardhat lub Anvil.

Walnut

Oparty na przeglądarce debugger i symulator transakcji dla EVM. Otwartoźródłowy i możliwy do samodzielnego hostowania. Badaj stany zmiennych na każdym kroku, symuluj transakcje przed wdrożeniem i profiluj zużycie gazu. Obsługuje dowolnego dostawcę RPC.

evmc

proste narzędzie cli do natychmiastowego ładowania kodu kontraktu w Twoim IDE.

solizard

Super łatwa interaktywna powłoka (shell) do interakcji z inteligentnymi kontraktami