Keylatch
Fluxuri de lucru

flux de lucru pentru auditarea contractelor inteligente

03
Revizuire token

Revizuiește un contract de token local

Deschide folderul, citește codul, rulează teste și verifică diferențele înainte de a accepta modificările fișierelor tale.

01

Deschide folderul

Selectează folderul proiectului în chat.

02

Listează fișierele

Listează fișierele de contract din director.

03

Citește codul

Citește codul sursă al contractului principal.

04

Rulează teste

Rulează comanda de testare și

Exemplu jurnal de constatări

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

Un jurnal de constatări în text simplu care arată domeniul de aplicare, rezultatele testelor și o constatare specifică cu severitatea și locația pentru un contract de token.

Pași pentru auditarea contractelor inteligente

Citește și caută în cod

Agentul folosește list_dir și glob pentru a găsi toate fișierele de contract din folderul tău de lucru, iar read_file deschide codul sursă principal pentru inspecție. Acesta este începutul. Auditorii găsesc vulnerabilități în contractele inteligente citind codul manual. Rulează grep pentru a căuta fiecare apel extern, verificare de acces și modificare de stare în întregul proiect. Vezi rezultatele căutării imediat în chat pentru a verifica fiecare linie relevantă de cod. Eșecul securității după ce un protocol a fost lansat este o îngrijorare majoră. Acest pas de revizuire manuală susține un audit structurat al contractului inteligent înainte de implementare. Învață auditarea contractelor inteligente pentru a înțelege logica înainte ca agentul să sugereze modificări în baza de cod.

Rulează teste și revizuiește

Agentul folosește Shell pentru a rula comanda de testare și comanda de verificare statică pe PC-ul tău, astfel încât să salveze ieșirea într-un fișier text pentru referință și să redacteze constatări. Poți revizui aceste diferențe. Revizuirea acestor diferențe te ajută să înțelegi clar întregul proces de audit. Începerea auditării solidity implică citirea codului manual. Instrumentul folosește write_file pentru a redacta note de constatări și remedieri propuse. Îți arată o diferență înainte de a accepta orice modificări ale fișierelor tale. Poți trece la modul Ask first pentru a te opri înainte de fiecare acțiune care modifică ceva. Testele care trec confirmă că remedierea rezolvă problema, dar o persoană revizuiește în continuare diferența.

Keylatch pentru Windows

Începe revizuirea astăzi

Descarcă Keylatch ↗