Ordner öffnen
Wählen Sie den Projektordner im Chat aus.
Workflows
Workflow für die Smart-Contract-Sicherheitsprüfung
03
Token-Vertrag lokal prüfen
Ordner öffnen, Code lesen, Tests ausführen und das Diff prüfen, bevor Sie Änderungen an Ihren eigenen Dateien akzeptieren.
Dateien auflisten
Verzeichnis der Vertragsdateien auflisten.
Code lesen
Den Quellcode des Hauptvertrags lesen.
Tests ausführen
Den Testbefehl ausführen und
Beispiel für ein Fundprotokoll
Den Token-Vertrag auf Reentrancy-Risiken und Zugriffssteuerungsprobleme prüfen.
- list_dir
.5 Dateien - read_file
Token.solgelesen - grep
external call3 Treffer - write_file
findings-log.txtgespeichert
wartet auf Ihre Bestätigung, bevor der nächste Schritt ausgeführt wirdAblehnenAkzeptieren
findings-log.txt
# Token Contract Review
Scope: ERC-20 token implementation
Test: local unit tests passed
Finding: Missing reentrancy guard
Severity: High
Location: transfer function
Fix: Add nonReentrant modifier
Status: Pending reviewEin Textprotokoll der Funde, das den Umfang, die Testergebnisse und einen spezifischen Fund mit Schweregrad und Ort für einen Token-Vertrag zeigt.
So funktioniert das Smart-Contract-Audit
Code lesen und durchsuchen
Das Tool nutzt list_dir und glob, um alle Vertragsdateien in Ihrem Arbeitsordner zu finden, und read_file öffnet den Hauptquellcode zur Inspektion. Das ist der Start. Prüfer finden Schwachstellen in Smart Contracts, indem sie den Code manuell lesen. Es führt grep aus, um jeden externen Aufruf, jede Zugriffsprüfung und jede Zustandsänderung im gesamten Projekt zu durchsuchen. Sie sehen die Suchergebnisse sofort im Chat, um jede relevante Codezeile zu verifizieren. Das Scheitern der Sicherheit, nachdem ein Protokoll live gegangen ist, ist eine große Sorge für jedes bereitgestellte System. Dieser manuelle Prüfschritt unterstützt eine strukturierte Sicherheitsprüfung eines Smart Contracts vor der Bereitstellung. Lernen Sie Smart Contract Audits, um die Logik zu verstehen, bevor das Tool Änderungen am Codevorschlägt.
Tests ausführen und prüfen
Das Tool nutzt Shell, um Ihren Testbefehl und Ihren statischen Check-Befehl auf Ihrem PC auszuführen, damit es die Ausgabe in eine Textdatei speichert, um sie als Referenz zu nutzen und Funde zu entwerfen. Sie können diese Diffs prüfen. Das Überprüfen dieser Diffs hilft Ihnen, den gesamten Auditprozess klar zu verstehen. Der Einstieg in Solidity Audits beinhaltet das manuelle Lesen des Codes. Das Tool nutzt write_file, um Fundnotizen und vorgeschlagene Fixes zu entwerfen. Es zeigt Ihnen ein Diff, bevor Sie Änderungen an Ihren Dateien akzeptieren. Sie können in den Modus Ask first wechseln, um vor jeder Aktion, die etwas ändert, innezuhalten. Bestehende Tests bestätigen, dass der Fix das Problem löst, aber eine Person prüft immer noch das Diff.
