Lompat ke konten utama
Keamanan & pengujian
CROPS Native

Slither

Pengujian Fuzz/Properti

Lihat di GitHub (buka di tab baru)Slither di X (buka di tab baru)

Lihat selanjutnya

Echidna

Tentang Slither

Slither adalah mesin analisis statis Python dari Trail of Bits untuk Solidity dan Vyper: jalankan di CI untuk memicu detektor, mencetak tampilan struktural kontrak, atau membuat skrip pemeriksaan kustom di seluruh basis kode.

Tag

  • Keamanan
  • Analisis statis
  • Solidity
  • Vyper
  • Integrasi berkelanjutan

Repositoricrytic

Info

Tipe
Pengujian Fuzz/Properti
Bintang GitHub
6,4 rb
Lisensi
AGPL-3.0
Pencantuman ditinjau
September 2026

Alat serupa

Chimera

Chimera

Chimera adalah kerangka kerja untuk menulis pengujian Solidity di foundry dan dapat menggunakannya kembali dengan Alat Sumber Terbuka lainnya seperti Echidna, Medusa, Halmos, dan Kontrol

Synpress

Synpress

Synpress melapisi Playwright dengan otomatisasi peramban yang sadar Ethereum sehingga Anda dapat menguji dapp secara end-to-end, termasuk popup dompet dan peralihan rantai, di CI.

Aderyn

Aderyn

Aderyn adalah penganalisis statis kontrak pintar Solidity berbasis Rust dan sumber terbuka dari Cyfrin yang dirancang untuk membantu insinyur protokol dan peneliti keamanan menemukan kerentanan dalam basis kode Solidity