Security & testing

Walnut

Debugging & inspection

Debugging tools · Developer experience · Gas optimization · Visualization

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.

Related resources

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.

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.

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.

evmc

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

solizard

Super easy interactive shell for interacting with smart contracts