Vai al contenuto principale
Sicurezza e testing
Nativo CROPS

Slither

Fuzz testing e property testing

Visualizza su GitHub (si apre in una nuova scheda)Slither su X (si apre in una nuova scheda)

Vedi il prossimo

Echidna

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

Tag

  • Sicurezza
  • Analisi statica
  • Solidity
  • Vyper
  • Integrazione continua

Repositorycrytic

Info

Tipo
Fuzz testing e property testing
Stelle su GitHub
6,4K
Licenza
AGPL-3.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

Synpress

Synpress

Synpress sovrappone Playwright con l'automazione del browser compatibile con Ethereum in modo da poter testare le dapp end-to-end, inclusi i popup del portafoglio e i cambi di catena, in CI.

Aderyn

Aderyn

Aderyn è l'analizzatore statico open source di smart contract Solidity basato su Rust di Cyfrin, progettato per aiutare gli ingegneri di protocollo e i ricercatori di sicurezza a trovare vulnerabilità nelle basi di codice Solidity