Zum Hauptinhalt springen
Sicherheit & Testing

Simbolik - Solidity Debugger

Debugging & Inspektion

Website besuchen (öffnet in einem neuen Tab)Simbolik - Solidity Debugger auf X (öffnet in einem neuen Tab)Simbolik - Solidity Debugger auf GitHub (öffnet in einem neuen Tab)

Nächstes ansehen

hardhat-gas-reporter

Über Simbolik - Solidity Debugger

Simbolik ist ein leistungsstarker Solidity-Debugger, der traditionelles Breakpoint-Debugging mit symbolischer Ausführung kombiniert und es Entwicklern ermöglicht, jeden möglichen Ausführungspfad zu erkunden und Schwachstellen präzise aufzudecken. Simbolik ist als VSCode-Erweiterung verfügbar und lässt sich nahtlos in bestehende Workflows integrieren. Es bietet Breakpoint-Debugging, Inspektion auf Solidity- und EVM-Ebene sowie Funktionen zur formalen Verifikation.

Tags

  • Sicherheit
  • Bildung
  • Symbolische Ausführung
  • VSCode-Erweiterung
  • Laufzeitverifikation
  • Formale Verifikation

Repositoriesruntimeverification

Info

Typ
Debugging & Inspektion
GitHub-Sterne
48
Lizenz
BSD-3-Clause
Eintrag überprüft
Juni 2026

Ähnliche Tools

Semgrep (smart-contracts rules)

Semgrep (smart-contracts rules)

Semgrep is a pattern-based static analysis tool with rulesets for Solidity vulnerabilities. Builders run those rules over a codebase to catch known vulnerable patterns and style issues before review.

CROPS Native

heimdall-rs

heimdall-rs is a Rust EVM toolkit that disassembles bytecode, decompiles contracts, generates control flow graphs, and decodes calldata and traces. Builders reach for it when they need to understand a contract that has no published source.

CROPS Native

sol2uml

sol2uml generates UML class and storage-layout diagrams from Solidity source or from verified contracts. Builders run it to see contract relationships and how state variables are packed into storage.