跳转到主要内容
安全与测试

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.