Skip to main content
Security & testing

Simbolik - Solidity Debugger

Debugging & inspection

Visit website (opens in a new tab)Simbolik - Solidity Debugger on X (opens in a new tab)Simbolik - Solidity Debugger on GitHub (opens in a new tab)

See next

EVMole

About Simbolik - Solidity Debugger

Simbolik is a powerful Solidity debugger that combines traditional breakpoint debugging with symbolic execution, enabling developers to explore every possible execution path and uncover vulnerabilities with precision. Available as a VSCode extension, Simbolik integrates seamlessly into existing workflows, offering breakpoint-style debugging, Solidity and EVM-level inspection, and formal verification capabilities.

Tags

  • Security
  • Education
  • Symbolic execution
  • VSCode extension
  • Runtime verification
  • Formal verification

Repositoriesruntimeverification

Info

Type
Debugging & inspection
GitHub stars
48

Similar tools

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.

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.

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.