Semgrep (smart-contracts rules)

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.

Tenderly provides transaction simulation, trace debugging, alerting, and Virtual TestNets for contracts. Builders use it to replay a failing transaction, watch deployed contracts, and test against a forked network.

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.