Vai al contenuto principale
Sicurezza e testing
Nativo CROPS

bulloak

Fuzz testing e property testing

Visita il sito web (si apre in una nuova scheda)bulloak su GitHub (si apre in una nuova scheda)

Vedi il prossimo

spamoor

Informazioni su bulloak

Un generatore di test per smart contract basato sulla Branching Tree Technique.

Tag

  • CLI
  • Solidity
  • Qualità del codice
  • Analisi del codice
  • Automazione dei test
  • Sviluppo in Solidity
  • Copertura del codice

Repositoryalexfertel

Info

Tipo
Fuzz testing e property testing
Stelle su GitHub
353
Licenza
Apache-2.0
Scheda revisionata
settembre 2026

Strumenti simili

Chimera

Chimera

Chimera è un framework per scrivere test Solidity in Foundry e poterli riutilizzare con altri strumenti open source come Echidna, Medusa, Halmos e Kontrol

Slither
Nativo CROPS

Slither

Slither è il motore di analisi statica in Python di Trail of Bits per Solidity e Vyper: eseguilo in CI per attivare rilevatori, stampare viste strutturali dei contratti o creare script per controlli personalizzati su intere codebase.

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.