evmc

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

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.

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.

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.

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