Keamanan & pengujian

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.

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.

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.

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

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.

EVMConnector is a browser workspace for calling contract functions on any EVM chain, with saved contracts and shareable call links. Builders use it to drive a contract without writing a script.

Loop Decoder adalah Pustaka TypeScript dengan dependensi eksternal minimal yang mengubah data rantai blok menjadi format yang dapat dibaca manusia.

Radar, from Auditware, is a static analysis tool that covers Solidity as well as Rust, Anchor, and Stylus contracts. Auditors run it to get findings across a mixed contract codebase.

A calldata decoder that also unwraps nested function calls. Builders open it when a flat decoder leaves the inner calls of a batched or forwarded transaction unreadable.

SmartContractGUI turns an uploaded ABI into an interface for reading from and writing to that contract on any EVM chain. Builders use it when they have an ABI but no frontend.

sol-profiler is a command line tool that lists a Solidity contract's methods with their visibility, mutability and modifiers. Reviewers run it to see the surface of a contract at a glance.

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.

The Tenderly CLI is the command line client for Tenderly, pushing contracts for verification and driving error tracking, monitoring, and alerting. Builders install it to run those steps from a terminal or a continuous integration job.

Web3Client is a browser tool for creating, testing, and sharing contract ABIs and the calls made against them. Builders use it to work out a call and hand the result to someone else.

revm-inspectors is a Rust crate of EVM execution hooks and tracing built on revm, and it powers call tracing in Reth and Foundry. Rust builders import it to build their own tracers and debuggers.

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.

pyevmasm is a Python disassembler and assembler for EVM bytecode from Trail of Bits. Analysis scripts import it to turn bytecode into instructions and back.

EVMole extracts function selectors, arguments, and control flow from raw EVM bytecode, including contracts with no verified source. Builders point it at an unknown contract to work out what its functions take.

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.

hardhat-tracer is a Hardhat plugin that prints internal calls, events, and storage operations for a transaction in the console. Hardhat users install it to see what actually happened inside a failing test transaction.

geas, the Good Ethereum Assembler, is an assembler for writing raw EVM bytecode by hand, maintained by a go-ethereum core developer. It is used for EIP test cases and other low-level contract work.

evm-storage turns a transaction hash into readable state diffs and can list a contract's full storage. Builders install the command line tool when they need to see exactly which storage slots a call changed.

scopelint is an opinionated formatter and linter for Foundry Solidity projects. Builders install it to hold a codebase to the ScopeLift conventions.

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.

forky is a fork choice viewer for the Ethereum beacon chain. Consensus client developers self-host it or use the public instances to see and debug fork choice behavior on mainnet and testnets.

tracoor is an explorer for beacon states and execution traces. Client and protocol developers self-host it to inspect block and state traces on devnets and testnets.

4byte.directory maps four-byte function selectors and 32-byte event-signature hashes to their human-readable signatures. Builders query it when decoding calldata or logs from contracts without a published ABI.

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.

Plugin hardhat yang menyediakan analitik penggunaan gas untuk rangkaian pengujian kontrak pintar. Ini memiliki dukungan khusus untuk rantai OPStack, merupakan dependensi di > 150k repo Github dan diunduh dari NPM > 100k per minggu.

Slippy is a Solidity linter for static analysis of smart contracts. Teams install the npm package to lint contracts as part of a build.

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.

Echidna is a property-based and grammar fuzzer for Ethereum smart contracts. Builders and auditors write properties with it to find inputs that break contract invariants.

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.

ItyFuzz is a bytecode-level smart-contract fuzzer that combines fuzzing with symbolic analysis. Builders and auditors run it against EVM bytecode when source-level fuzzing is not enough or no source is available.

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

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.

eth-tester is a pluggable in-memory Ethereum backend used by web3.py for fast unit tests. Python builders import it when tests should run against a simulated chain instead of a node.

Titanoboa adalah interpreter Vyper interaktif dan test harness untuk putaran umpan balik yang cepat saat Anda bereksperimen dengan kontrak di luar putaran Foundry penuh.

Hive is an end-to-end integration test harness that runs Ethereum clients in Docker across simulator scenarios. Client teams use it to check that implementations agree with each other.

goevmlab is an EVM fuzzing and differential testing lab built by a go-ethereum core developer. EVM implementers use it to fuzz their own implementation and compare its behavior against others to find divergences.

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.

AuditHub is Veridise's hosted security platform that connects to a GitHub repository and runs automated checks on every commit. It bundles Vanguard (static analysis for Solidity 0.8.4 and newer, in Hardhat and Foundry projects), OrCa (a specification-driven fuzzer for multi-contract DeFi protocols), Picus (determinism verification for ZK circuits) and ZK Vanguard (static analysis for ZK circuits). Smart contract and ZK teams use it to catch reentrancy, specification violations and underconstrained circuits during development, before an external audit.

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.

contender from Flashbots is a load-testing tool that floods EVM execution nodes over JSON-RPC and benchmarks the results. Teams benchmarking a client point it at an endpoint to generate load and measure throughput.

Generator pengujian kontrak pintar berdasarkan Branching Tree Technique.

spamoor is a configurable Ethereum transaction generator for load-testing testnets and devnets with realistic traffic. Teams point it at a network to see how it behaves under sustained transaction volume.

Assertoor runs configurable checks and assertions against a live Ethereum devnet to validate its behavior. Client and devnet teams use it to confirm a running network is healthy, in the same family as Hive.

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.

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

Certora Prover is a cloud formal-verification service that checks specifications written in CVL against deployed contract code. Verification engineers use it to prove that a contract holds stated properties for all inputs.

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.

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.

Certora AutoProver is an AI bot that automates parts of formal verification for smart contracts. Verification engineers use it to generate and run checks with less manual specification work.