Přejít na hlavní obsah
Bezpečnost a testování

Simbolik - Solidity Debugger

Ladění a inspekce

Navštívit webové stránky (otevře se v nové záložce)Simbolik - Solidity Debugger na X (otevře se v nové záložce)Simbolik - Solidity Debugger na GitHub (otevře se v nové záložce)

Zobrazit další

hardhat-gas-reporter

O Simbolik - Solidity Debugger

Simbolik je výkonný debugger pro Solidity, který kombinuje tradiční ladění pomocí breakpointů se symbolickým prováděním, což vývojářům umožňuje prozkoumat každou možnou cestu provádění a s přesností odhalit zranitelnosti. Simbolik, dostupný jako rozšíření pro VSCode, se hladce integruje do stávajících pracovních postupů a nabízí ladění ve stylu breakpointů, inspekci na úrovni Solidity a EVM a možnosti formální verifikace.

Štítky

  • Bezpečnost
  • Vzdělávání
  • Symbolická exekuce
  • Rozšíření pro VSCode
  • Verifikace za běhu
  • Formální verifikace

Repozitářeruntimeverification

Informace

Typ
Ladění a inspekce
Hvězdičky na GitHubu
48
Licence
BSD-3-Clause
Záznam zkontrolován
červen 2026

Podobné nástroje

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.