Klasörü aç
Sohbet penceresinde proje klasörünü seç.
İş Akışları
akıllı sözleşme güvenlik denetimi iş akışı
03
Bir token sözleşmesini yerel olarak incele
Klasörü aç, kodu oku, testleri çalıştır ve kendi dosyalarına yapılan değişiklikleri kabul etmeden önce farkları kontrol et.
Dosyaları listele
Dizindeki sözleşme dosyalarını listele.
Kodu oku
Ana sözleşme kaynak kodunu oku.
Testleri çalıştır
Test komutunu çalıştır ve
Bulgular günlüğü örneği
Token sözleşmesindeki reentrancy risklerini ve erişim kontrolü sorunlarını incele.
- list_dir
.5 dosya - read_file
Token.solokundu - grep
external call3 eşleşme - write_file
findings-log.txtkaydedildi
bir sonraki adımdan önce onayınızı bekliyorReddetKabul Et
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 reviewBir token sözleşmesi için kapsamı, test sonuçlarını ve belirli bir bulgunun ciddiyetini ve konumunu gösteren düz metin bir bulgu günlüğü.
Akıllı sözleşme denetimi adımlarını öğren
Kodu oku ve ara
Aracı, çalışma klasöründeki tüm sözleşme dosyalarını bulmak için list_dir ve glob kullanır ve read_file ana kaynak kodunu incelemek için açar. Bu başlangıçtır. Denetçiler, akıllı sözleşmelerdeki zafiyetleri kodu elle okuyarak bulurlar. Proje genelindeki her harici çağrıyı, erişim kontrolünü ve durum değişikliğini aramak için grep çalıştırır. İlgili kod satırlarının her birini doğrulamak için arama sonuçlarını sohbet penceresinde hemen görürsünüz. Sözleşmelerin canlıya alındıktan sonra güvenlik sorunlarının yaşanması, yayımlanan her protokol için büyük bir endişe kaynağıdır. Bu elle inceleme adımı, dağıtımdan önce yapılandırılmış bir akıllı sözleşme güvenlik denetimi incelemesini destekler. Aracı kod tabanında herhangi bir değişiklik önermeden önce mantığı anlamak için akıllı sözleşme denetimini öğrenin.
Testleri çalıştır ve incele
Aracı, test komutunuzu ve statik kontrol komutunuzu PC'nizde Shell kullanarak çalıştırır, böylece referans için çıktıyı bir metin dosyasına kaydeder ve bulguları taslak haline getirir. Bu farkları inceleyebilirsiniz. Bu farkları incelemek, tüm denetim sürecini net bir şekilde anlamanıza yardımcı olur. Solidity denetimine başlamak kodu elle okumayı içerir. Aracı, bulgu notlarını ve önerilen düzeltmeleri taslak hale getirmek için write_file kullanır. Dosyalarınızda herhangi bir değişiklik yapmadan önce size bir fark gösterir. Her şeyi değiştiren eylemden önce durmak için Ask first moduna geçebilirsiniz. Testlerin geçmesi, sorunun düzeltildiğini doğrular, ancak bir kişi hala farkı inceler.
