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

bulloak

Testes de fuzzing/propriedade

Visitar site (abre em uma nova aba)bulloak em GitHub (abre em uma nova aba)

Ver próximo

spamoor

Sobre bulloak

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

Tags

  • CLI
  • Solidity
  • Qualidade de código
  • Análise de código
  • Automação de testes
  • Desenvolvimento em Solidity
  • Cobertura de código

Repositórioalexfertel

Informações

Tipo
Testes de fuzzing/propriedade
Estrelas no GitHub
353
Licença
Apache-2.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

Slither
Nativo CROPS

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.

Echidna
Nativo CROPS

Echidna

Echidna is a property-based and grammar fuzzer for Ethereum smart contracts. Builders and auditors write properties with it to find inputs that break contract invariants.