Passer au contenu principal
Sécurité et tests
Natif CROPS

Slither

Tests de fuzzing et de propriétés

Voir sur GitHub (s'ouvre dans un nouvel onglet)Slither sur X (s'ouvre dans un nouvel onglet)

Voir le suivant

Echidna

À propos de Slither

Slither est le moteur d'analyse statique Python de Trail of Bits pour Solidity et Vyper : exécutez-le dans l'intégration continue (CI) pour déclencher des détecteurs, imprimer des vues structurelles de contrats ou scripter des vérifications personnalisées sur des bases de code entières.

Tags

  • Sécurité
  • Analyse statique
  • Solidity
  • Vyper
  • Intégration continue

Dépôtcrytic

Informations

Type
Tests de fuzzing et de propriétés
Étoiles GitHub
6,4 k
Licence
AGPL-3.0
Fiche révisée
septembre 2026

Outils similaires

Chimera

Chimera

Chimera est un framework pour écrire des tests Solidity dans Foundry et pouvoir les réutiliser avec d'autres outils open source tels que Echidna, Medusa, Halmos et Kontrol

Synpress

Synpress

Synpress superpose Playwright avec une automatisation de navigateur compatible avec Ethereum afin que vous puissiez tester de bout en bout les applications décentralisées (dapps), y compris les fenêtres contextuelles de portefeuille et les changements de chaîne, dans l'intégration continue (CI).

Aderyn

Aderyn

Aderyn est l'analyseur statique de contrats intelligents Solidity open source basé sur Rust de Cyfrin, conçu pour aider les ingénieurs de protocole et les chercheurs en sécurité à trouver des vulnérabilités dans les bases de code Solidity.