Apri cartella
Seleziona la cartella del progetto nella chat.
Flussi di lavoro
flusso di lavoro per l'audit dei contratti smart
03
Rivedi un contratto token in locale
Apri la cartella, leggi il codice, esegui i test e controlla il diff prima di accettare le modifiche ai tuoi file.
Elenco file
Elenca i file del contratto nella directory.
Leggi codice
Leggi il codice sorgente del contratto principale.
Esegui test
Esegui il comando di test e
Esempio di log dei risultati
Rivedi il contratto token per rischi di reentrancy e problemi di controllo degli accessi.
- list_dir
.5 file - read_file
Token.sollettura - grep
external call3 corrispondenze - write_file
findings-log.txtsalvato
in attesa del tuo via prima del passaggio successivoRifiutaAccetta
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 reviewUn log dei risultati in testo semplice che mostra l'ambito, i risultati dei test e un risultato specifico con gravità e posizione per un contratto token.
Impara i passaggi dell'audit dei contratti smart
Leggi e cerca nel codice
L'agente usa list_dir e glob per trovare tutti i file del contratto nella tua cartella di lavoro, mentre read_file apre il codice sorgente principale per l'ispezione. È il punto di partenza. I revisori individuano le vulnerabilità nei contratti smart leggendo il codice manualmente. Esegue grep per cercare ogni chiamata esterna, controllo di accesso e modifica dello stato in tutto il progetto. Vedi i risultati della ricerca immediatamente nella chat per verificare ogni riga di codice rilevante. Il fallimento della sicurezza dopo il lancio è una preoccupazione maggiore per qualsiasi protocollo distribuito. Questo passaggio di revisione manuale supporta una revisione strutturata dell'audit smart contract prima della distribuzione. Impara l'audit dei contratti smart per comprendere la logica prima che l'agente suggerisca modifiche al codice.
Esegui test e rivedi
L'agente usa Shell per eseguire il tuo comando di test e il tuo comando di controllo statico sul tuo PC, salvando l'output in un file di testo per riferimento e redigendo i risultati. Puoi rivedere questi diff. La revisione di questi diff ti aiuta a comprendere chiaramente l'intero processo di audit. Iniziare con l'audit solidity implica leggere il codice a mano. Lo strumento usa write_file per redigere note sui risultati e correzioni proposte. Ti mostra un diff prima che tu accetti qualsiasi modifica ai tuoi file. Puoi passare alla modalità Ask first per fermarti prima di ogni azione che modifica qualcosa. Il superamento dei test conferma che la correzione risolve il problema, ma una persona rivede comunque il diff.
