Lompat ke konten utama
Keamanan & pengujian

Simbolik - Solidity Debugger

Debugging & inspeksi

Kunjungi situs web (buka di tab baru)Simbolik - Solidity Debugger di X (buka di tab baru)Simbolik - Solidity Debugger di GitHub (buka di tab baru)

Lihat selanjutnya

hardhat-gas-reporter

Tentang 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.

Tag

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

Repositoriruntimeverification

Info

Tipe
Debugging & inspeksi
Bintang GitHub
48
Lisensi
BSD-3-Clause
Pencantuman ditinjau
Juni 2026

Alat serupa

Semgrep (smart-contracts rules)

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.

CROPS Native

heimdall-rs

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.

CROPS Native

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.