Debug Smart Contracts Inside Your Favorite IDE

A powerful, intuitive symbolic Solidity debugger inside Visual Studio Code.

FEATURES

Features you've been waiting for

VSCode Integration

Integrates effortlessly into Visual Studio Code, providing a powerful, native debugging experience within your preferred development environment.

Built-in Formal Verification

Explore every possible execution path with Simbolik’s cutting-edge symbolic execution, uncovering hidden edge cases and ensuring robust code coverage.

Up-to-Date

Simbolik stays ahead of the curve by consistently updating to support the latest Solidity and EVM versions, keeping your development tools modern and effective.

Intuitive

Designed for developers, Simbolik streamlines the debugging process with an intuitive workflow that simplifies smart contract development from start to finish.

SOLUTION

Why Simbolik?

At Runtime Verification, our team identified a need for advanced Solidity debuggers during security engagements. Existing options lacked the intuitive interface of traditional breakpoint-style debugging and the depth of symbolic execution.

To address this, we developed Simbolik, a Symbolic Solidity Debugger. Simbolik is tailored to simplify the use of advanced quality assurance techniques in Computer Science.

BACKED BY

Meet our friends and collaborators

We work with strong teams and advanced companies providing the best possible service to all.

OVERVIEW

Dig Deeper Into the Tool

A presentation by a member of our team that will give you answers to any questions you may have.

CONTACT

Get in touch

For all business inquiries, partnerships or custom Simbolik solutions.