Zum Hauptinhalt springen
Sicherheit & Testing
CROPS Native

Slither

Fuzz-/Property-Testing

Auf GitHub ansehen (öffnet in einem neuen Tab)Slither auf X (öffnet in einem neuen Tab)

Nächstes ansehen

Echidna

Über Slither

Slither ist die statische Python-Analyse-Engine von Trail of Bits für Solidity und Vyper: Führen Sie sie in der CI aus, um Detektoren auszulösen, Strukturansichten von Verträgen zu drucken oder benutzerdefinierte Prüfungen über ganze Codebasen hinweg zu skripten.

Tags

  • Sicherheit
  • Statische Analyse
  • Solidity
  • Vyper
  • Kontinuierliche Integration

Repositorycrytic

Info

Typ
Fuzz-/Property-Testing
GitHub-Sterne
6412
Lizenz
AGPL-3.0
Eintrag überprüft
September 2026

Ähnliche Tools

Chimera

Chimera

Chimera ist ein Framework, um Solidity-Tests in foundry zu schreiben und sie mit anderen Open-Source-Tools wie Echidna, Medusa, Halmos und Kontrol wiederverwenden zu können

Synpress

Synpress

Synpress kombiniert Playwright mit Ethereum-fähiger Browser-Automatisierung, sodass Sie dezentrale Anwendungen (Dapps) einschließlich Wallet-Popups und Chain-Wechseln in der CI durchgängig testen können.

Aderyn

Aderyn

Aderyn ist Cyfrins quelloffener, Rust-basierter statischer Analysator für Solidity-Smart-Contracts, der Protokoll-Ingenieuren und Sicherheitsforschern helfen soll, Schwachstellen in Solidity-Codebasen zu finden.