Pular para o conteúdo principal
Segurança e testes

Simbolik - Solidity Debugger

Depuração e inspeção

Visitar site (abre em uma nova aba)Simbolik - Solidity Debugger em X (abre em uma nova aba)Simbolik - Solidity Debugger em GitHub (abre em uma nova aba)

Ver próximo

hardhat-gas-reporter

Sobre Simbolik - Solidity Debugger

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.

Tags

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

Repositóriosruntimeverification

Informações

Tipo
Depuração e inspeção
Estrelas no GitHub
48
Licença
BSD-3-Clause
Listagem revisada
junho de 2026

Ferramentas semelhantes

Semgrep (smart-contracts rules)

Semgrep (smart-contracts rules)

Semgrep is a pattern-based static analysis tool with rulesets for Solidity vulnerabilities. Builders run those rules over a codebase to catch known vulnerable patterns and style issues before review.

Nativo CROPS

heimdall-rs

heimdall-rs is a Rust EVM toolkit that disassembles bytecode, decompiles contracts, generates control flow graphs, and decodes calldata and traces. Builders reach for it when they need to understand a contract that has no published source.

Nativo CROPS

sol2uml

sol2uml generates UML class and storage-layout diagrams from Solidity source or from verified contracts. Builders run it to see contract relationships and how state variables are packed into storage.