Keamanan & pengujian

CodeTracer adalah debugger penjelajah waktu yang ramah pengguna yang dirancang untuk mendukung berbagai bahasa pemrograman web3.

Simbolik adalah debugger Solidity yang kuat yang menggabungkan debugging breakpoint tradisional dengan eksekusi simbolik, memungkinkan pengembang untuk menjelajahi setiap kemungkinan jalur eksekusi dan mengungkap kerentanan dengan presisi. Tersedia sebagai ekstensi VSCode, Simbolik terintegrasi dengan mulus ke dalam alur kerja yang ada, menawarkan debugging bergaya breakpoint, inspeksi tingkat Solidity dan EVM, dan kemampuan verifikasi formal.

Debugger dan simulator transaksi berbasis web untuk EVM. Sumber terbuka (open source) dan dapat di-host sendiri. Periksa state variabel di setiap langkah, simulasikan transaksi sebelum menyebarkan, dan buat profil penggunaan gas. Mendukung penyedia RPC apa pun.

Abi Ninja adalah UI peramban untuk memanggil kontrak dengan ABI yang diketahui, ABI yang ditempel, atau kode bita yang didekompilasi, dengan pembacaan sadar proksi di banyak jaringan termasuk node Hardhat atau Anvil yang berjalan secara lokal.

alat cli sederhana untuk memuat kode kontrak di IDE Anda secara instan.

Shell interaktif yang sangat mudah untuk berinteraksi dengan smart contract (kontrak pintar)

viem-tracer menambah klien Viem sehingga panggilan ethestimateGas dan ethsendTransaction yang gagal secara otomatis menyertakan output jejak yang dapat dibaca manusia yang didekodekan dengan sourcify.dev, dan ini menambahkan pembantu yang diketik di sekitar debug_traceCall sehingga pengembang dapat memeriksa eksekusi tanpa meninggalkan tumpukan RPC mereka yang ada.

EDB adalah debugger tingkat sumber untuk eksekusi Solidity dengan stepping, lokal, watches, dan breakpoint saat Anda membutuhkan visibilitas tingkat IDE ke dalam perilaku kontrak secara onchain atau dalam pengujian.

forge-stack-tracer menyalurkan output pengujian Foundry yang bertele-tele melalui dekode Swiss-Knife sehingga pengujian yang gagal mengembalikan jejak tumpukan interaktif alih-alih hex buram.

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 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 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 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 adalah interpreter Vyper interaktif dan test harness untuk putaran umpan balik yang cepat saat Anda bereksperimen dengan kontrak di luar putaran Foundry penuh.

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.

solidity-coverage menyediakan cakupan kode smart-contract untuk platform pengembang Hardhat. Ini sangat akurat, mendukung kompilasi solidity viaIR penuh dan sejumlah besar pola cabang kode khusus solidity. Ini diinstal pada ~230 ribu proyek Github dan diunduh ~100 ribu kali seminggu dari NPM.

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.

Crytic-Properties adalah serangkaian pengujian keamanan yang dapat digunakan kembali untuk beberapa standar token yang paling banyak digunakan seperti ERC-20, ERC-721, ERC-4626, dan banyak lagi.

Wallet Test Framework adalah rangkaian otomatis yang menjalankan alur dompet inti—transfer, pembacaan saldo, interaksi aplikasi terdesentralisasi (dapp) dasar—sehingga tim dapat melakukan pengujian regresi terhadap ekspektasi UX bersama di CI.

Generator pengujian kontrak pintar berdasarkan Branching Tree Technique.

ERCx adalah pustaka pengujian sumber terbuka yang komprehensif untuk standar token ERC, yang menampilkan lebih dari 500 pengujian individual di seluruh implementasi ERC-20, ERC-721, ERC-1155, dan ERC-4626.

Auditor keamanan kontrak pintar Solidity/EVM dengan 104 pola kerentanan dan 8 alat analisis. Mencapai 100% pada tolok ukur CTF dan EVMBench (120/120). Analisis statis untuk mendeteksi kerentanan dalam kontrak pintar.

foundry-storage-check adalah GitHub Action untuk proyek Foundry yang berjalan pada setiap permintaan tarik untuk memastikan tata letak penyimpanan proksi yang dapat ditingkatkan tetap aman dari tabrakan dan bahwa slot penyimpanan yang baru ditambahkan diinisialisasi nol secara onchain sebelum penggabungan dikirim.

blocksmith.js adalah harness JavaScript tipis di sekitar forge dan anvil untuk membuat skrip pengujian Foundry multi-rantai atau multi-instans ketika satu EVM lokal tidak cukup.

KEVM adalah semantik yang dapat dieksekusi K-framework dari EVM: arahkan ke kode bita saat Anda memerlukan eksekusi yang diperiksa kesesuaiannya, eksplorasi simbolik, penalaran gas, atau bukti yang melacak aturan Ethereum dengan cermat.

Kontrol mengangkat pengujian properti Foundry ke dalam bukti yang didukung KEVM sehingga Anda dapat mengejar jaminan formal dengan lebih sedikit pekerjaan spesifikasi yang ditulis tangan daripada KEVM mentah saja.

hax adalah alat untuk terjemahan jaminan tinggi dari sebagian besar Rust ke dalam bahasa formal seperti F* atau Rocq.

Act adalah bahasa spesifikasi deklaratif dan rantai alat Ethereum untuk mendeskripsikan semua perilaku program EVM sehingga pemecah SMT, pembukti teorema, atau alat analisis ekonomi dapat menalar tentang kebenaran tingkat kode bita dan kompatibilitas insentif, termasuk bukti penyempurnaan otomatis terhadap implementasi konkret.

Verifereum menghubungkan kontrak pintar Ethereum ke pembuktian teorema yang didukung HOL4 sehingga Anda dapat menargetkan klaim kebenaran yang sangat kuat ketika pendekatan SMT otomatis tidak cukup.