Перейти до основного вмісту
Безпека та тестування

Simbolik - Solidity Debugger

Налагодження та перевірка

Відвідати вебсайт (відкривається в новій вкладці)Simbolik - Solidity Debugger на X (відкривається в новій вкладці)Simbolik - Solidity Debugger на GitHub (відкривається в новій вкладці)

Дивитися далі

hardhat-gas-reporter

Про Simbolik - Solidity Debugger

Simbolik — це потужний відлагоджувач Solidity, який поєднує традиційне відлагодження за точками зупину із символьним виконанням, дозволяючи розробникам досліджувати кожен можливий шлях виконання та з точністю виявляти вразливості. Доступний як розширення для VSCode, Simbolik легко інтегрується в існуючі робочі процеси, пропонуючи відлагодження в стилі точок зупину, перевірку на рівні Solidity та EVM, а також можливості формальної верифікації.

Теги

  • Безпека
  • Освіта
  • Символьне виконання
  • Розширення VSCode
  • Верифікація під час виконання
  • Формальна верифікація

Репозиторіїruntimeverification

Інформація

Тип
Налагодження та перевірка
Зірки на GitHub
48
Ліцензія
BSD-3-Clause
Запис перевірено
червень 2026 р.

Схожі інструменти

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.