solizard

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

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.

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 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.

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

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.