Segurança e testes

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

Depurador e simulador de transação baseado na web para a EVM. De código aberto e auto-hospedável. Inspecione os estados das variáveis em cada etapa, simule transações antes de implantar e crie perfis de uso de gás. Suporta qualquer provedor RPC.

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.

uma ferramenta CLI simples para carregar o código de um contrato em sua IDE instantaneamente.

Shell interativo super fácil para interagir com contratos inteligentes

O viem-tracer aprimora um cliente Viem para que as chamadas ethestimateGas e ethsendTransaction que falharam incluam automaticamente uma saída de rastreamento legível por humanos decodificada com sourcify.dev, e adiciona auxiliares tipados em torno de debug_traceCall para que os desenvolvedores possam inspecionar a execução sem sair de sua pilha RPC existente.

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 forge-stack-tracer canaliza a saída detalhada do teste do Foundry através da decodificação Swiss-Knife para que os testes com falha retornem rastreamentos de pilha interativos em vez de hexadecimais opacos.

O Chimera é um framework para escrever testes Solidity no Foundry e poder reutilizá-los com outras ferramentas de código aberto, como Echidna, Medusa, Halmos e Kontrol

O Slither é o mecanismo de análise estática em Python da Trail of Bits para Solidity e Vyper: execute-o em CI para acionar detectores, imprimir visualizações estruturais de contratos ou criar scripts de verificações personalizadas em bases de código inteiras.

O Synpress sobrepõe o Playwright com automação de navegador ciente do Ethereum para que você possa testar aplicativos descentralizados (dapps) de ponta a ponta, incluindo pop-ups de carteira e trocas de cadeia, em CI.

O Aderyn é o analisador estático de contratos inteligentes em Solidity de código aberto e baseado em Rust da Cyfrin, projetado para ajudar engenheiros de protocolo e pesquisadores de segurança a encontrar vulnerabilidades em bases de código Solidity.

O Titanoboa é um interpretador Vyper interativo e ambiente de teste para ciclos de feedback rápidos quando você está experimentando contratos fora de um ciclo completo do Foundry.

O Medusa é um fuzzer de contratos inteligentes com estado (stateful) inspirado no Echidna. Ele fornece testes de fuzzing paralelizados de contratos inteligentes e a verificação de invariantes avançados de contratos inteligentes.

O solidity-coverage fornece cobertura de código de contrato inteligente para a plataforma de desenvolvedor Hardhat. É altamente preciso, suporta compilação completa de Solidity viaIR e um grande conjunto de padrões de ramificação de código específicos do Solidity. Está instalado em ~230 mil projetos do Github e é baixado ~100 mil vezes por semana do NPM.

O hevm é um mecanismo de execução da EVM simbólico e concreto, rápido, de código aberto e de última geração, que pode encontrar problemas em contratos inteligentes. Por meio de seu sistema de execução e análise simbólica, o hevm pode executar contratos de forma simbólica, semiconcreta ou concreta para encontrar bugs, ou comparar dois contratos diferentes em busca de discrepâncias, realizando a verificação de equivalência.

O Crytic-Properties é um conjunto de testes de segurança reutilizáveis para alguns dos padrões de token mais amplamente utilizados, como ERC-20, ERC-721, ERC-4626 e muito mais.

O Wallet Test Framework é uma suíte automatizada que percorre os principais fluxos de carteira - transferências, leituras de saldo, interações básicas de aplicativos descentralizados (dapps) - para que as equipes possam testar regressões de expectativas de UX compartilhadas em CI.

Um gerador de testes de contratos inteligentes baseado na Técnica de Árvore de Ramificação (Branching Tree Technique).

O ERCx é uma biblioteca de testes de código aberto abrangente para padrões de token ERC, apresentando mais de 500 testes individuais em implementações ERC-20, ERC-721, ERC-1155 e ERC-4626.

Auditor de segurança de contratos inteligentes em Solidity/EVM com 104 padrões de vulnerabilidade e 8 ferramentas de análise. Atinge 100% nos benchmarks CTF e EVMBench (120/120). Análise estática para detectar vulnerabilidades em contratos inteligentes.

O foundry-storage-check é uma GitHub Action para projetos do Foundry que é executada em cada pull request para garantir que os layouts de armazenamento de proxy atualizáveis permaneçam seguros contra colisões e que os slots de armazenamento recém-anexados sejam inicializados com zero onchain antes que as mesclagens sejam enviadas.

O blocksmith.js é um pequeno utilitário em JavaScript em torno do forge e do anvil para criar scripts de testes do Foundry em várias cadeias ou várias instâncias quando uma única EVM local não é suficiente.

A KEVM é a semântica executável do K-framework da EVM: aponte-a para o bytecode quando precisar de execução com verificação de conformidade, exploração simbólica, raciocínio de gás ou provas que acompanhem de perto as regras do Ethereum.

O Kontrol eleva os testes de propriedade do Foundry a provas apoiadas pela KEVM para que você possa buscar garantias formais com menos trabalho de especificação manual do que apenas com a KEVM bruta.

O hax é uma ferramenta para traduções de alta garantia de um grande subconjunto de Rust para linguagens formais como F* ou Rocq.

O Act é a linguagem de especificação declarativa e o conjunto de ferramentas do Ethereum para descrever todos os comportamentos de um programa EVM, para que solucionadores SMT, provadores de teoremas ou ferramentas de análise econômica possam raciocinar sobre a correção no nível do bytecode e a compatibilidade de incentivos, incluindo provas de refinamento automático contra implementações concretas.

O Verifereum conecta contratos inteligentes do Ethereum à prova de teoremas apoiada por HOL4 para que você possa buscar alegações de correção muito fortes quando as abordagens SMT automatizadas não forem suficientes.