Segurança e testes

Simbolik - Solidity Debugger

Depuração e inspeção

Segurança · Educação · Execução simbólica · Extensão para VSCode · Verificação em tempo de execução · Verificação formal

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

O Simbolik é um poderoso depurador de Solidity que combina a depuração tradicional de pontos de interrupção (breakpoints) com a execução simbólica, permitindo que os desenvolvedores explorem todos os caminhos de execução possíveis e descubram vulnerabilidades com precisão. Disponível como uma extensão do VSCode, o Simbolik se integra perfeitamente aos fluxos de trabalho existentes, oferecendo depuração no estilo de ponto de interrupção, inspeção em nível de Solidity e EVM, e recursos de verificação formal.

Recursos relacionados

CodeTracer

O CodeTracer é um depurador de viagem no tempo fácil de usar, projetado para suportar uma ampla gama de linguagens de programação web3.

Walnut

Depurador e simulador de transação baseado na web para a EVM. De código aberto e auto-hospedável. Inspecione os estados das variáveis em cada etapa, simule transações antes de implantar e crie perfis de uso de gás. Suporta qualquer provedor RPC.

Abi Ninja

O Abi Ninja é uma interface de usuário de navegador para chamar contratos com ABIs conhecidas, ABIs coladas ou bytecode descompilado, com leituras cientes de proxy em muitas redes, incluindo seu nó Hardhat ou Anvil em execução local.

evmc

uma ferramenta CLI simples para carregar o código de um contrato em sua IDE instantaneamente.

solizard

Shell interativo super fácil para interagir com contratos inteligentes

viem-tracer

O viem-tracer aprimora um cliente Viem para que as chamadas ethestimateGas e ethsendTransaction que falharam incluam automaticamente uma saída de rastreamento legível por humanos decodificada com sourcify.dev, e adiciona auxiliares tipados em torno de debug_traceCall para que os desenvolvedores possam inspecionar a execução sem sair de sua pilha RPC existente.