Buka folder
Pilih folder proyek di obrolan.
Buka folder, baca kode, jalankan tes, dan periksa diff sebelum menerima perubahan pada file Anda sendiri.
Pilih folder proyek di obrolan.
Daftar file kontrak di direktori.
Baca kode sumber kontrak utama.
Jalankan perintah tes dan
.5 fileToken.soldibacaexternal call3 kecocokanfindings-log.txtdisimpan# 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 reviewLog temuan teks biasa yang menunjukkan ruang lingkup, hasil tes, dan temuan spesifik dengan tingkat keparahan dan lokasi untuk kontrak token.
Agen menggunakan list_dir dan glob untuk menemukan semua file kontrak di folder kerja Anda, dan read_file membuka kode sumber utama untuk diperiksa. Ini adalah awal. Auditor menemukan kerentanan dalam smart contract dengan membaca kode secara manual. Ia menjalankan grep untuk mencari setiap panggilan eksternal, pemeriksaan akses, dan perubahan status di seluruh proyek. Anda melihat hasil pencarian segera di obrolan untuk memverifikasi setiap baris kode yang relevan. Kegagalan keamanan setelah kontrak diluncurkan menjadi kekhawatiran utama bagi protokol yang sudah aktif. Langkah tinjauan manual ini mendukung tinjauan audit keamanan smart contract yang terstruktur sebelum peluncuran. Pelajari audit smart contract untuk memahami logika sebelum agen menyarankan perubahan apa pun pada basis kode.
Agen menggunakan Shell untuk menjalankan perintah tes dan perintah pemeriksaan statis Anda di PC, sehingga ia menyimpan output ke file teks untuk referensi dan menyusun temuan. Anda dapat meninjau diff ini. Meninjau diff ini membantu Anda memahami seluruh proses audit dengan jelas. Memulai audit solidity melibatkan membaca kode secara manual. Alat ini menggunakan write_file untuk menyusun catatan temuan dan perbaikan yang diusulkan. Alat ini menampilkan diff sebelum Anda menerima perubahan apa pun pada file Anda. Anda dapat beralih ke mode Ask first untuk jeda sebelum setiap tindakan yang mengubah sesuatu. Tes yang lulus mengonfirmasi bahwa perbaikan menyelesaikan masalah, tetapi seseorang masih meninjau diff.