Lompat ke konten utama
Keamanan & pengujian

hevm

Pengujian Fuzz/Properti

Lihat di GitHub (buka di tab baru)

Lihat selanjutnya

Crytic-Properties

Tentang hevm

hevm adalah mesin eksekusi EVM simbolik dan konkret yang cepat, canggih, dan sumber terbuka yang dapat menemukan masalah dalam kontrak pintar. Melalui sistem eksekusi dan analisis simboliknya, hevm dapat mengeksekusi kontrak secara simbolik, semi-konkret, atau konkret untuk menemukan bug, atau membandingkan dua kontrak yang berbeda untuk mencari ketidaksesuaian, melakukan pemeriksaan ekuivalensi.

Tag

  • CLI
  • Foundry
  • Keamanan
  • Eksekusi simbolis

Repositoriethereum

Info

Tipe
Pengujian Fuzz/Properti
Bintang GitHub
362
Lisensi
AGPL-3.0
Pencantuman ditinjau
Juni 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

Slither
CROPS Native

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.

Echidna
CROPS Native

Echidna

Echidna is a property-based and grammar fuzzer for Ethereum smart contracts. Builders and auditors write properties with it to find inputs that break contract invariants.