Debug Smart Contracts Inside Your Favorite IDE
A powerful, intuitive symbolic Solidity debugger inside Visual Studio Code.
Download SimbolikTry SimbolikFEATURES
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.
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.
MEDIA
Browse our media
CONTACT
Get in touch
For all business inquiries, partnerships or custom Simbolik solutions.