
Security & testing
Slither
Fuzz/Property testing
Sécurité · Analyse statique · Solidity · Vyper · Intégration continue
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.