Saltar al contenido principal
Seguridad y pruebas

Simbolik - Solidity Debugger

Depuración e inspección

Visitar sitio web (se abre en una pestaña nueva)Simbolik - Solidity Debugger en X (se abre en una pestaña nueva)Simbolik - Solidity Debugger en GitHub (se abre en una pestaña nueva)

Ver siguiente

hardhat-gas-reporter

Acerca de Simbolik - Solidity Debugger

Simbolik es un potente depurador de Solidity que combina la depuración tradicional de puntos de interrupción con la ejecución simbólica, lo que permite a los desarrolladores explorar todas las rutas de ejecución posibles y descubrir vulnerabilidades con precisión. Disponible como una extensión de VSCode, Simbolik se integra a la perfección en los flujos de trabajo existentes, ofreciendo depuración de estilo de punto de interrupción, inspección a nivel de Solidity y EVM, y capacidades de verificación formal.

Etiquetas

  • Seguridad
  • Educación
  • Ejecución simbólica
  • Extensión de VSCode
  • Verificación en tiempo de ejecución
  • Verificación formal

Repositoriosruntimeverification

Información

Tipo
Depuración e inspección
Estrellas en GitHub
48
Licencia
BSD-3-Clause
Listado revisado
junio de 2026

Herramientas similares

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 de 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 de 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.