Открыть папку
Выберите папку проекта в чате.
Рабочие процессы
процесс аудита смарт-контракта
03
Проверка контракта токена локально
Откройте папку, прочитайте код, запустите тесты и проверьте diff перед тем, как принять изменения в своих файлах.
Список файлов
Выведите список файлов контрактов в каталоге.
Прочитать код
Прочитайте исходный код основного контракта.
Запустить тесты
Запустите команду тестирования и
Пример журнала находок
Проверьте контракт токена на риски повторного входа и проблемы с контролем доступа.
- 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 для запуска вашей команды тестирования и команды статического анализа на ПК, поэтому он сохраняет вывод в текстовый файл для справки и составляет выводы. Вы можете просмотреть эти diff. Просмотр этих diff помогает вам четко понять весь процесс аудита. Начало работы с аудитом solidity включает ручной просмотр кода. Инструмент использует write_file для создания заметок о выводах и предлагаемых исправлений. Он показывает вам diff перед тем, как вы примете любые изменения в своих файлах. Вы можете переключиться в режим Ask first, чтобы приостановиться перед каждым действием, которое что-то изменяет. Пройденные тесты подтверждают, что исправление решает проблему, но человек все равно проверяет diff.
