メインコンテンツへスキップ
セキュリティとテスト

Simbolik - Solidity Debugger

デバッグと検査

ウェブサイトにアクセス （新しいタブで開きます）X の Simbolik - Solidity Debugger （新しいタブで開きます）GitHub の Simbolik - Solidity Debugger （新しいタブで開きます）

次を見る

hardhat-gas-reporter

Simbolik - Solidity Debugger について

Simbolikは、従来のブレークポイントデバッグとシンボリック実行を組み合わせた強力なSolidityデバッガーであり、開発者が考えられるすべての実行パスを探索し、脆弱性を正確に発見できるようにします。VSCode拡張機能として利用可能なSimbolikは、既存のワークフローにシームレスに統合され、ブレークポイントスタイルのデバッグ、SolidityおよびEVMレベルの検査、および形式的検証機能を提供します。

タグ

  • セキュリティ
  • 教育
  • シンボリック実行
  • VSCode拡張機能
  • ランタイム検証
  • 形式的検証

リポジトリruntimeverification

情報

タイプ
デバッグと検査
GitHubのスター数
48
ライセンス
BSD-3-Clause
掲載情報のレビュー
2026年6月

類似ツール

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ネイティブ

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ネイティブ

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.