Keylatch
Werkstromen

werkstroom voor smart contract audit

03
Token review

Beoordeel een tokencontract lokaal

Open de map, lees de code, voer tests uit en controleer de diff voordat je wijzigingen in je eigen bestanden accepteert.

01

Map openen

Selecteer de projectmap in de chat.

02

Bestanden vermelden

Geef de contractbestanden in de directory weer.

03

Code lezen

Lees de broncode van het hoofdcontract.

04

Tests uitvoeren

Voer de testopdracht uit en

Voorbeeld van bevindingenlogboek

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 review

Een plattekst bevindingenlogboek met de scope, testresultaten en een specifieke bevinding met ernst en locatie voor een tokencontract.

Leer de stappen van smart contract auditing

Code lezen en zoeken

De agent gebruikt list_dir en glob om alle contractbestanden in je werkmap te vinden, en read_file opent de hoofdbroncode voor inspectie. Dit is het begin. Auditors vinden kwetsbaarheden in smart contracts door de code met de hand te lezen. Hij voert grep uit om elke externe aanroep, toegangscontrole en statuswijziging in het hele project te zoeken. Je ziet de zoekresultaten direct in de chat om elke relevante regel code te verifiëren. Dat de beveiliging faalt zodra een contract live gaat, is een grote zorg voor elk gedeployed protocol. Deze handmatige reviewstap ondersteunt een gestructureerde security audit smart contract review voorafgaand aan de deploy. Leer smart contract auditing om de logica te begrijpen voordat de agent wijzigingen in de codebase voorstelt.

Tests uitvoeren en reviewen

De agent gebruikt Shell om je testopdracht en je static-check-opdracht op je pc uit te voeren, zodat hij de uitvoer opslaat in een tekstbestand ter referentie en bevindingen opstelt. Je kunt deze diffs reviewen. Het reviewen van deze diffs helpt je het volledige auditproces duidelijk te begrijpen. Aan de slag gaan met solidity auditing houdt in de code met de hand te lezen. Het hulpmiddel gebruikt write_file om bevindingennotities en voorgestelde fixes op te stellen. Het toont je een diff voordat je wijzigingen in je bestanden accepteert. Je kunt naar Ask first-modus schakelen om te pauzeren voordat elke actie iets wijzigt. Slagen voor tests bevestigt dat de fix het probleem oplost, maar een persoon reviewt nog steeds de diff.

Keylatch voor Windows

Begin vandaag met je review

Download Keylatch ↗