Keamanan & pengujian

Simbolik - Solidity Debugger

Debugging & inspeksi

Keamanan · Edukasi · Eksekusi simbolis · Ekstensi VSCode · Verifikasi runtime · Verifikasi formal

Situs web Sosial runtimeverification/simbolik-vscode(48 ☆)runtimeverification/simbolik-examples(5 ☆)

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.

Sumber daya terkait

CodeTracer

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

Walnut

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

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.

evmc

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

solizard

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

viem-tracer

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.