Sicherheit & Testing

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.

Supereinfache interaktive Shell zur Interaktion mit Smart Contracts

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.

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.

forge-stack-tracer leitet die ausführliche Foundry-Testausgabe durch eine Swiss-Knife-Dekodierung, sodass fehlschlagende Tests interaktive Stack-Traces anstelle von undurchsichtigem Hexadezimalcode zurückgeben.

Chimera ist ein Framework, um Solidity-Tests in foundry zu schreiben und sie mit anderen Open-Source-Tools wie Echidna, Medusa, Halmos und Kontrol wiederverwenden zu können

Slither ist die statische Python-Analyse-Engine von Trail of Bits für Solidity und Vyper: Führen Sie sie in der CI aus, um Detektoren auszulösen, Strukturansichten von Verträgen zu drucken oder benutzerdefinierte Prüfungen über ganze Codebasen hinweg zu skripten.

Synpress kombiniert Playwright mit Ethereum-fähiger Browser-Automatisierung, sodass Sie dezentrale Anwendungen (Dapps) einschließlich Wallet-Popups und Chain-Wechseln in der CI durchgängig testen können.

Aderyn ist Cyfrins quelloffener, Rust-basierter statischer Analysator für Solidity-Smart-Contracts, der Protokoll-Ingenieuren und Sicherheitsforschern helfen soll, Schwachstellen in Solidity-Codebasen zu finden.

Titanoboa ist ein interaktiver Vyper-Interpreter und eine Testumgebung für schnelle Feedbackschleifen, wenn Sie mit Verträgen außerhalb einer vollständigen Foundry-Schleife experimentieren.

Medusa ist ein zustandsbehafteter Smart-Contract-Fuzzer, der von Echidna inspiriert wurde. Er bietet parallelisiertes Fuzz-Testing von Smart Contracts und die Verifizierung fortgeschrittener Smart-Contract-Invarianten.

solidity-coverage bietet Smart-Contract-Codeabdeckung für die Hardhat-Entwicklerplattform. Es ist hochpräzise, unterstützt die vollständige viaIR-Solidity-Kompilierung und eine große Anzahl von Solidity-spezifischen Code-Branch-Mustern. Es ist in ~230k Github-Projekten installiert und wird ~100k Mal pro Woche von NPM heruntergeladen.

hevm ist eine quelloffene, hochmoderne, schnelle symbolische und konkrete EVM-Ausführungs-Engine, die Probleme in Smart Contracts finden kann. Durch sein symbolisches Ausführungs- und Analysesystem kann hevm Verträge symbolisch, halbkonkret oder konkret ausführen, um Fehler zu finden, oder zwei verschiedene Verträge auf Diskrepanzen vergleichen und eine Äquivalenzprüfung durchführen.

Crytic-Properties ist eine Suite wiederverwendbarer Sicherheitstests für einige der am weitesten verbreiteten Token-Standards wie ERC-20, ERC-721, ERC-4626 und mehr.

Wallet Test Framework ist eine automatisierte Suite, die zentrale Wallet-Abläufe – Transfers, Guthabenabfragen, grundlegende Dapp-Interaktionen – durchläuft, sodass Teams gemeinsame UX-Erwartungen in der CI auf Regressionen testen können.

Ein Smart-Contract-Testgenerator basierend auf der Branching Tree Technique.

ERCx ist eine umfassende quelloffene Testbibliothek für ERC-Token-Standards mit über 500 Einzeltests für ERC-20-, ERC-721-, ERC-1155- und ERC-4626-Implementierungen.

Sicherheitsprüfer für Solidity/EVM-Smart-Contracts mit 104 Schwachstellenmustern und 8 Analysetools. Erreicht 100 % bei CTF- und EVMBench-Benchmarks (120/120). Statische Analyse zur Erkennung von Schwachstellen in Smart Contracts.

foundry-storage-check ist eine GitHub-Aktion für Foundry-Projekte, die bei jedem Pull-Request ausgeführt wird, um sicherzustellen, dass aktualisierbare Proxy-Speicherlayouts kollisionssicher bleiben und dass neu angehängte Speicher-Slots onchain mit Null initialisiert werden, bevor Merges ausgeliefert werden.

blocksmith.js ist ein schlankes JavaScript-Harness um Forge und Anvil für das Skripting von Multi-Chain- oder Multi-Instanz-Foundry-Tests, wenn eine einzelne lokale EVM nicht ausreicht.

KEVM ist die ausführbare K-Framework-Semantik der EVM: Wenden Sie sie auf Bytecode an, wenn Sie konformitätsgeprüfte Ausführung, symbolische Erkundung, Gas-Analysen oder Beweise benötigen, die den Regeln von Ethereum genau folgen.

Kontrol hebt Foundry-Eigenschaftstests in KEVM-gestützte Beweise, sodass Sie formale Garantien mit weniger handgeschriebener Spezifikationsarbeit als mit reinem KEVM allein anstreben können.

hax ist ein Tool für hochsichere Übersetzungen einer großen Teilmenge von Rust in formale Sprachen wie F* oder Rocq.

Act ist Ethereums deklarative Spezifikationssprache und Toolchain zur Beschreibung aller Verhaltensweisen eines EVM-Programms, sodass SMT-Solver, Theorembeweiser oder wirtschaftliche Analysetools über die Korrektheit auf Bytecode-Ebene und die Anreizkompatibilität nachdenken können, einschließlich automatischer Verfeinerungsbeweise gegen konkrete Implementierungen.

Verifereum verbindet Ethereum-Smart-Contracts mit HOL4-gestütztem Theorembeweisen, sodass Sie sehr starke Korrektheitsansprüche anstreben können, wenn automatisierte SMT-Ansätze nicht ausreichen.