Semgrep (smart-contracts rules)

O CodeTracer é um depurador de viagem no tempo fácil de usar, projetado para suportar uma ampla gama de linguagens de programação web3.

O EDB é um depurador de nível de código-fonte para execução em Solidity com stepping, variáveis locais, watches e pontos de interrupção quando você precisa de visibilidade de nível de IDE no comportamento do contrato onchain ou em testes.

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.

O Abi Ninja é uma interface de usuário de navegador para chamar contratos com ABIs conhecidas, ABIs coladas ou bytecode descompilado, com leituras cientes de proxy em muitas redes, incluindo seu nó Hardhat ou Anvil em execução local.

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.