Security & testing

Simbolik - Solidity Debugger

Debugging & inspection

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.

Related resources

CodeTracer

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

EDB: The Ethereum Project Debugger

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.

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.

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.

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)