Відкрити папку
Виберіть папку проєкту в чаті.
Робочі процеси
робочий процес аудиту смарт-контрактів
03
Перевірте контракт токена локально
Відкрийте папку, прочитайте код, запустіть тести та перевірте дисти перед прийняттям змін до ваших власних файлів.
Перелічити файли
Перелічіть файли контрактів у каталозі.
Прочитати код
Прочитайте вихідний код основного контракту.
Запустити тести
Запустіть команду тестування та
Приклад журналу знахідок
Перевірте контракт токена на наявність ризиків повторного входження та проблем із контролем доступу.
- list_dir
.5 файлів - read_file
Token.solпрочитано - grep
external call3 збіги - write_file
findings-log.txtзбережено
чекає на вашу згоду перед наступним крокомВідхилитиПрийняти
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Текстовий журнал знахідок, що показує обсяг, результати тестів та конкретну знахідку з рівнем серйозності та місцем розташування для контракту токена.
Дізнайтеся кроки аудиту смарт-контрактів
Прочитати та шукати код
Агент використовує list_dir та glob для пошуку всіх файлів контрактів у вашій робочій папці, а read_file відкриває основний вихідний код для інспекції. Це початок. Аудитори знаходять вразливості в смарт-контрактах, читаючи код вручну. Він запускає grep для пошуку кожного зовнішнього виклику, перевірки доступу та зміни стану в усьому проєкті. Ви миттєво бачите результати пошуку в чаті, щоб перевірити кожний відповідний рядок коду. Ризик того, що безпека підведе після виходу в продакшн, є серйозною проблемою для будь-якого розгорнутого протоколу. Цей етап ручного огляду підтримує структурований аудит смарт-контрактів перед розгортанням. Вивчайте аудит смарт-контрактів, щоб зрозуміти логіку, перш ніж агент запропонує будь-які зміни до кодової бази.
Запустити тести та перевірити
Агент використовує Shell для запуску вашої команди тестування та команди статичного аналізу на вашому ПК, щоб зберегти вивід у текстовий файл для довідки та скласти знахідки. Ви можете переглянути ці дисти. Перегляд цих дисти допомагає вам чітко зрозуміти весь процес аудиту. Початок роботи з аудитом solidity включає читання коду вручну. Інструмент використовує write_file для створення нотаток із знахідками та запропонованими виправленнями. Він показує вам дисти, перш ніж ви приймете будь-які зміни до ваших файлів. Ви можете перемкнутися в режим Ask first, щоб зупинитися перед кожною дією, яка щось змінює. Пройдені тести підтверджують, що виправлення усуває проблему, але особа все одно переглядає дисти.
