Keamanan & pengujian

heimdall-rs

Debugging & inspeksi

Alat debugging · Pendekodean transaksi · CLI · Analisis kode

heimdall-rs is a Rust EVM toolkit that disassembles bytecode, decompiles contracts, generates control flow graphs, and decodes calldata and traces. Builders reach for it when they need to understand a contract that has no published source.

Sumber daya terkait

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.

Simbolik - Solidity Debugger

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.

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.

Tenderly

Tenderly provides transaction simulation, trace debugging, alerting, and Virtual TestNets for contracts. Builders use it to replay a failing transaction, watch deployed contracts, and test against a forked network.

Semgrep (smart-contracts rules)

Semgrep is a pattern-based static analysis tool with rulesets for Solidity vulnerabilities. Builders run those rules over a codebase to catch known vulnerable patterns and style issues before review.