Security & testing

Simbolik - Solidity Debugger

Debugging & inspection

Sicurezza · Formazione · Esecuzione simbolica · Estensione VSCode · Verifica a runtime · Verifica formale

Sito web Social runtimeverification/simbolik-vscode(48 ☆)runtimeverification/simbolik-examples(5 ☆)

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.

Related resources

CodeTracer

CodeTracer è un debugger con viaggio nel tempo intuitivo progettato per supportare un'ampia gamma di linguaggi di programmazione del Web3.

EDB: The Ethereum Project Debugger

EDB è un debugger a livello di codice sorgente per l'esecuzione di Solidity con esecuzione passo-passo, variabili locali, espressioni di controllo e punti di interruzione quando hai bisogno di una visibilità di livello IDE nel comportamento del contratto onchain o nei test.

Abi Ninja

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.

Walnut

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.

evmc

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

solizard

Shell interattiva super facile per interagire con gli smart contract