Security & testing

Simbolik - Solidity Debugger

Debugging & inspection

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

Website Social runtimeverification/simbolik-vscode(48 ☆)runtimeverification/simbolik-examples(5 ☆)

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.

Related resources

CodeTracer

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

EDB: The Ethereum Project Debugger

EDB ist ein Source-Level-Debugger für die Solidity-Ausführung mit Stepping, lokalen Variablen, Watches und Haltepunkten, wenn Sie IDE-ähnliche Sichtbarkeit in das Vertragsverhalten onchain oder in Tests benötigen.

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.

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.

evmc

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

solizard

Supereinfache interaktive Shell zur Interaktion mit Smart Contracts