Перейти к основному контенту
Безопасность и тестирование

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.