CodeTracer

Simbolik è un potente debugger per Solidity che combina il tradizionale debug con breakpoint con l'esecuzione simbolica, consentendo agli sviluppatori di esplorare ogni possibile percorso di esecuzione e scoprire le vulnerabilità con precisione. Disponibile come estensione per VSCode, Simbolik si integra perfettamente nei flussi di lavoro esistenti, offrendo debug in stile breakpoint, ispezione a livello di Solidity ed EVM e funzionalità di verifica formale.

Debugger e simulatore di transazioni basato sul web per l'EVM. Open source e self-hostable. Ispeziona gli stati delle variabili in ogni fase, simula le transazioni prima di distribuirle e analizza l'utilizzo del gas. Supporta qualsiasi provider RPC.

Abi Ninja è un'interfaccia utente per browser per chiamare contratti con ABI note, ABI incollate o bytecode decompilato, con letture sensibili ai proxy su molte reti, incluso il tuo nodo Hardhat o Anvil in esecuzione locale.

un semplice strumento CLI per caricare istantaneamente il codice di un contratto nel tuo IDE.

Shell interattiva super facile per interagire con gli smart contract

viem-tracer potenzia un client Viem in modo che le chiamate ethestimateGas ed ethsendTransaction non riuscite includano automaticamente un output di tracciamento leggibile dall'uomo decodificato con sourcify.dev, e aggiunge assistenti tipizzati attorno a debug_traceCall in modo che gli sviluppatori possano ispezionare l'esecuzione senza abbandonare il loro stack RPC esistente.