Radar (Auditware)

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.

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.