Zum Hauptinhalt springen
Simbolik - Solidity Debugger
Sicherheit & Testing

Simbolik - Solidity Debugger

Debugging & Inspektion

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

Website (öffnet in einem neuen Tab)Social (öffnet in einem neuen Tab)runtimeverification/simbolik-vscode(48 ☆) (öffnet in einem neuen Tab)runtimeverification/simbolik-examples(5 ☆) (öffnet in einem neuen Tab)

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.

Verwandte Ressourcen

CodeTracer

CodeTracer

CodeTracer ist ein benutzerfreundlicher Time-Traveling-Debugger, der entwickelt wurde, um eine breite Palette von Web3-Programmiersprachen zu unterstützen.

Walnut

Walnut

Webbasierter Transaktions-Debugger und Simulator für die EVM. Quelloffen und selbst hostbar. Überprüfen Sie Variablenzustände bei jedem Schritt, simulieren Sie Transaktionen vor der Bereitstellung und erstellen Sie Profile des Gasverbrauchs. Unterstützt jeden RPC-Anbieter.

Abi Ninja

Abi Ninja

Abi Ninja ist eine Browser-Benutzeroberfläche zum Aufrufen von Verträgen mit bekannten ABIs, eingefügten ABIs oder dekompiliertem Bytecode, mit Proxy-fähigen Lesevorgängen über viele Netzwerke hinweg, einschließlich Ihres lokal ausgeführten Hardhat- oder Anvil-Knotens.

evmc

ein einfaches cli-Tool, um einen Vertragscode sofort in Ihre IDE zu laden.

solizard

solizard

Supereinfache interaktive Shell zur Interaktion mit Smart Contracts

viem-tracer

viem-tracer erweitert einen Viem-Client, sodass fehlgeschlagene Aufrufe von ethestimateGas und ethsendTransaction automatisch eine für Menschen lesbare Trace-Ausgabe enthalten, die mit sourcify.dev decodiert wurde. Zudem fügt es typisierte Helfer rund um debug_traceCall hinzu, damit Entwickler die Ausführung überprüfen können, ohne ihren bestehenden RPC-Stack zu verlassen.