Ouvrir le dossier
Sélectionnez le dossier du projet dans le chat.
Flux de travail
flux de travail d'audit de contrat intelligent
03
Revoir un contrat de token en local
Ouvrez le dossier, lisez le code, lancez les tests et vérifiez le diff avant d'accepter les modifications de vos propres fichiers.
Lister les fichiers
Listez les fichiers de contrat dans le répertoire.
Lire le code
Lisez le code source du contrat principal.
Lancer les tests
Lancez la commande de test et
Exemple de journal de résultats
Vérifiez le contrat de token pour les risques de réentrance et les problèmes de contrôle d'accès.
- list_dir
.5 fichiers - read_file
Token.sollu - grep
external call3 correspondances - write_file
findings-log.txtsauvegardé
en attente de votre validation avant l’étape suivanteRejeterAccepter
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 journal de résultats en texte brut indiquant le périmètre, les résultats des tests et un résultat spécifique avec sa gravité et son emplacement pour un contrat de token.
Comprendre les étapes de l'audit de contrats intelligents
Lire et rechercher du code
L'agent utilise list_dir et glob pour trouver tous les fichiers de contrat dans votre dossier de travail, et read_file ouvre le code source principal pour inspection. C'est le point de départ. Les auditeurs repèrent les vulnérabilités des contrats intelligents en lisant le code à la main. Il exécute grep pour rechercher chaque appel externe, vérification d'accès et changement d'état dans tout le projet. Vous voyez immédiatement les résultats de la recherche dans le chat pour vérifier chaque ligne de code pertinente. La sécurité qui fait défaut une fois les contrats déployés est une préoccupation majeure pour tout protocole. Cette étape de revue manuelle soutient une revue structurée d'audit de contrat intelligent avant le déploiement. Apprenez l'audit de contrats intelligents pour comprendre la logique avant que l'agent ne suggère des modifications à la base de code.
Lancer les tests et réviser
L'agent utilise Shell pour exécuter votre commande de test et votre commande de vérification statique sur votre PC, afin qu'il enregistre la sortie dans un fichier texte à des fins de référence et rédige des résultats. Vous pouvez réviser ces diffs. La révision de ces diffs vous aide à comprendre clairement l'ensemble du processus d'audit. Commencer l'audit de solidity implique de lire le code à la main. L'outil utilise write_file pour rédiger des notes de résultats et des correctifs proposés. Il vous montre un diff avant que vous n'acceptiez des modifications à vos fichiers. Vous pouvez passer en mode Ask first pour faire une pause avant chaque action qui modifie quelque chose. Le passage des tests confirme que le correctif résout le problème, mais une personne révisera toujours le diff.
