Przejdź do głównej treści
Bezpieczeństwo i testowanie

Simbolik - Solidity Debugger

Debugowanie i inspekcja

Odwiedź stronę (otwiera się w nowej karcie)Simbolik - Solidity Debugger na X (otwiera się w nowej karcie)Simbolik - Solidity Debugger na GitHub (otwiera się w nowej karcie)

Zobacz następne

hardhat-gas-reporter

O Simbolik - Solidity Debugger

Simbolik to potężny debugger Solidity, który łączy tradycyjne debugowanie z punktami przerwania (breakpoints) z symbolicznym wykonywaniem, umożliwiając deweloperom eksplorację każdej możliwej ścieżki wykonania i precyzyjne odkrywanie podatności. Dostępny jako rozszerzenie VSCode, Simbolik płynnie integruje się z istniejącymi przepływami pracy, oferując debugowanie w stylu punktów przerwania, inspekcję na poziomie Solidity i EVM oraz możliwości weryfikacji formalnej.

Tagi

  • Bezpieczeństwo
  • Edukacja
  • Wykonywanie symboliczne
  • Rozszerzenie VSCode
  • Weryfikacja w czasie wykonywania
  • Weryfikacja formalna

Repozytoriaruntimeverification

Informacje

Typ
Debugowanie i inspekcja
Gwiazdki na GitHubie
48
Licencja
BSD-3-Clause
Przegląd wpisu
czerwiec 2026

Podobne narzędzia

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.