Simbolik
A powerful, intuitive Solidity debugger inside Visual Studio Code.
The BuildBear Simbolik Plugin integrates symbolic execution & debugging capabilities into your BuildBear sandbox. It enables developers to, identify edge cases, and ensure robust smart contract coverage, all within their a VSCode Web IDE.
Overview
Key Features
- VSCode Web Integration
Seamlessly integrates with Visual Studio Code Web Interface to provide a native debugging experience inside your favorite development environment.
-
Up-to-Date
Simbolik keeps pace with Solidity and EVM advancements. Stay confident knowing your tooling supports the latest versions and features. -
Intuitive Developer Experience
Built for developers, Simbolik simplifies the debugging process with a clean and efficient workflow, from writing code to tracing edge cases.
How to Use
Install the Simbolik Plugin
- Find the Simbolik Plugin in the list of available plugins.
- Click Install to add it to your sandbox.
Verify Installation
- Confirm the plugin appears in the Plugin Marketplace or Installed Plugins tab.
Once the Simbolik Plugin is installed in your BuildBear Sandbox, you can seamlessly debug any transaction from within your BuildBear Sandbox.
- Navigate to the Explorer tab in your BuildBear sandbox.
- Select any transaction you want to debug.
- In the Transaction Overview section, scroll down to Simbolik Debugger.
- Click the “Debug with Simbolik” button.
Once a transaction is loaded into Simbolik via the "Debug with Simbolik" button in the BuildBear Explorer, it opens in a fully interactive browser-based IDE. Here's a breakdown of the key components:
Source View
Displays the Solidity contract being executed, with the current line of execution highlighted.
Debug Console
Shows runtime messages and useful links:
- Simbolik documentation
- Community channels (Discord, Telegram)
- GitHub issue tracker
Variables Panel
Shows current variables in scope, grouped as:
- Block: Block metadata (
block.number,timestamp, etc.) - Function: Function arguments
- Contract: State variables of the current contract, etc
Call Stack
Shows the current call trace, including which contract and function is being executed.
Breakpoints & Watch
Controls visibility for:
- Contract calls, returns, and reverts
- Storage writes and event logs
- Watch expressions and jump tracking
Conclusion
The BuildBear Simbolik Plugin brings step-by-step Solidity debugging directly to your sandbox. With seamless integration and full transaction control, it provides an efficient way to catch issues and refine your smart contracts with confidence.