Skip to main content
Simbolik - Solidity Debugger
Security & testing

Simbolik - Solidity Debugger

Debugging & inspection

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

Website (opens in a new tab)Social (opens in a new tab)runtimeverification/simbolik-vscode(48 ☆) (opens in a new tab)runtimeverification/simbolik-examples(5 ☆) (opens in a new tab)

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.

Related resources

CodeTracer

CodeTracer

CodeTracer is a user-friendly time-traveling debugger designed to support a wide range of web3 programming languages.

EDB: The Ethereum Project Debugger

EDB is a source-level debugger for Solidity execution with stepping, locals, watches, and breakpoints when you need IDE-grade visibility into contract behavior onchain or in tests.

Abi Ninja

Abi Ninja

Abi Ninja is a browser UI for calling contracts with known ABIs, pasted ABIs, or decompiled bytecode, with proxy-aware reads across many networks including your locally running Hardhat or Anvil node.

Walnut

Web-based transaction debugger and simulator for the EVM. Open-source and self-hostable. Inspect variable states at every step, simulate transactions before deploying, and profile gas usage. Supports any RPC provider.

evmc

a simple cli tool to load a contract code up in your IDE instantly.

solizard

solizard

Super easy interactive shell for interacting with smart contracts