Saltar al contenido principal
Seguridad y pruebas
Nativo de CROPS

bulloak

Pruebas de fuzzing y propiedades

Visitar sitio web (se abre en una pestaña nueva)bulloak en GitHub (se abre en una pestaña nueva)

Ver siguiente

spamoor

Acerca de bulloak

Un generador de pruebas de contratos inteligentes basado en la técnica de árbol de ramificación (Branching Tree Technique).

Etiquetas

  • CLI
  • Solidity
  • Calidad de código
  • Análisis de código
  • Automatización de pruebas
  • Desarrollo en Solidity
  • Cobertura de código

Repositorioalexfertel

Información

Tipo
Pruebas de fuzzing y propiedades
Estrellas en GitHub
353
Licencia
Apache-2.0
Listado revisado
septiembre de 2026

Herramientas similares

Chimera

Chimera

Chimera es un marco para escribir pruebas de Solidity en foundry y poder reutilizarlas con otras herramientas de código abierto como Echidna, Medusa, Halmos y Kontrol.

Slither
Nativo de CROPS

Slither

Slither es el motor de análisis estático en Python de Trail of Bits para Solidity y Vyper: ejecútelo en CI para activar detectores, imprimir vistas estructurales de contratos o crear secuencias de comandos de comprobaciones personalizadas en bases de código completas.

Echidna
Nativo de 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.