Pular para o conteúdo principal
Segurança e testes
Nativo CROPS

Slither

Testes de fuzzing/propriedade

Ver no GitHub (abre em uma nova aba)Slither em X (abre em uma nova aba)

Ver próximo

Echidna

Sobre Slither

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.

Tags

  • Segurança
  • Análise estática
  • Solidity
  • Vyper
  • Integração contínua

Repositóriocrytic

Informações

Tipo
Testes de fuzzing/propriedade
Estrelas no GitHub
6,4 mil
Licença
AGPL-3.0
Listagem revisada
setembro de 2026

Ferramentas semelhantes

Chimera

Chimera

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

Synpress

Synpress

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.

Aderyn

Aderyn

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.