Keylatch
Alur Kerja

alur kerja audit keamanan smart contract

03
Tinjauan token

Tinjau kontrak token secara lokal

Buka folder, baca kode, jalankan tes, dan periksa diff sebelum menerima perubahan pada file Anda sendiri.

01

Buka folder

Pilih folder proyek di obrolan.

02

Daftar file

Daftar file kontrak di direktori.

03

Baca kode

Baca kode sumber kontrak utama.

04

Jalankan tes

Jalankan perintah tes dan

Contoh log temuan

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

Log temuan teks biasa yang menunjukkan ruang lingkup, hasil tes, dan temuan spesifik dengan tingkat keparahan dan lokasi untuk kontrak token.

Pelajari langkah-langkah audit smart contract

Baca dan cari kode

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.

Jalankan tes dan tinjau

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.

Keylatch untuk Windows

Mulai tinjauan Anda hari ini

Unduh Keylatch ↗