Keamanan & pengujian

Semgrep (smart-contracts rules)

Debugging & inspeksi

Analisis statis · Keamanan · Solidity

semgrep/semgrep https://pypi.org/project/semgrep/

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.

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.

sol2uml

sol2uml generates UML class and storage-layout diagrams from Solidity source or from verified contracts. Builders run it to see contract relationships and how state variables are packed into storage.