Security & testing

Simbolik - Solidity Debugger

Debugging & inspection

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

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

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.

Related resources

CodeTracer

CodeTracer es un depurador de viaje en el tiempo fácil de usar diseñado para admitir una amplia gama de lenguajes de programación web3.

EDB: The Ethereum Project Debugger

EDB es un depurador a nivel de código fuente para la ejecución de Solidity con ejecución paso a paso, variables locales, inspecciones y puntos de interrupción cuando necesitas visibilidad de nivel IDE en el comportamiento del contrato en cadena o en pruebas.

Abi Ninja

Abi Ninja es una interfaz de usuario de navegador para llamar a contratos con ABI conocidas, ABI pegadas o código de bytes descompilado, con lecturas compatibles con proxies en muchas redes, incluyendo tu nodo local de Hardhat o Anvil en ejecución.

Walnut

Depurador y simulador de transacciones basado en la web para la EVM. De código abierto y autohospedable. Inspeccione los estados de las variables en cada paso, simule transacciones antes de desplegar y analice el uso de gas. Admite cualquier proveedor de RPC.

evmc

una sencilla herramienta de línea de comandos (CLI) para cargar el código de un contrato en tu IDE al instante.

solizard

Shell interactivo súper fácil para interactuar con contratos inteligentes