Keamanan & pengujian

hevm

Pengujian Fuzz/Properti

CLI · Foundry · Keamanan · Eksekusi simbolis

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.

Sumber daya terkait

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

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.

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 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

Titanoboa

Titanoboa adalah interpreter Vyper interaktif dan test harness untuk putaran umpan balik yang cepat saat Anda bereksperimen dengan kontrak di luar putaran Foundry penuh.

Medusa

Medusa adalah fuzzer smart contract (kontrak pintar) stateful yang terinspirasi oleh Echidna. Ini menyediakan pengujian fuzz paralel dari smart contract dan verifikasi invarian smart contract tingkat lanjut.