İstemlerin nereye gideceğini seçin
Kodunuz PC'nizde kalır, siz seçmedikçe dışarı çıkmaz. İstemler yalnızca seçtiğiniz model uç noktasına gider; yerel modelle hiçbir şey PC'den çıkmaz, bulut modelle dosya metni o sağlayıcıya gönderilir.
Ürün
Solidity Akıllı Sözleşme Denetleme Aracı
01
Keylatch, Windows PC'nizde Solidity akıllı sözleşmelerinizi denetlemek için otonom bir aracıdır. Kodunuzu okur, testlerinizi çalıştırır ve bulguları kaydeder.
Araçlarınızı çalıştırır
Tarama aracınızı yürütür ve gerçek çıkış kodunu gösterir.
Farkları gösterir
Her düzenleme, kabul edebileceğiniz veya reddedebileceğiniz bir fark olarak görünür.
Özellikler
- DosyalarÇalışma klasörünüzdeki dosyaları okur, yazar, düzenler, siler ve listeler.
- ShellOluşturma ve test komutlarınızı gerçek çıkış kodlarıyla çalıştırır.
- WebWeb'de arama yapar veya tek bir resmi dokümantasyon sayfasını okur.
- Ekran görüntüleri ve resimlerEkran görüntülerinden metin okur veya resim dosyaları oluşturur.
- OrkestrasyonParalel alt aracıları çalıştırır veya zor adımları daha büyük modellere gönderir.
- Onay modlarıKontrolünüz için Auto-run, Ask first veya Plan only.
- Cronİzlemenize gerek kalmadan istemlerinizi zamanlanmış olarak çalıştırır.
- ModellerBulut sağlayıcısı, yerel model veya yerleşik modeli kullanın.
Nasıl çalışır
Aracı dosyaları bulur, kodu okur ve kontrollerinizi çalıştırır.
Sözleşmeyi reentrancy ve erişim kontrolü açıkları açısından inceleyin.
- list_dir
.3 dosya - read_file
Token.sol120 satır okundu - grep
external call5 eşleşme - Shell
your test commandçıkış 0 - write_file
findings-log.txtkaydedildi
bir sonraki adımdan önce onayınızı bekliyorReddetKabul Et
Adım adım kullanım
Açıkları bulun
Keylatch, sözleşme dosyalarınızı bulmak için list_dir ve glob kullanır; kodu inceleyebilmeniz için read_file ile okur. grep, proje dizin yapısı boyunca her harici çağrıyı ve erişim kontrolünü bulur. write_file ve edit_file, Ask first modunda kabul etmeden önce farkı gösterir. Shell, kendi test ve statik analiz komutlarınızı PC'nizde çalıştırır. web_search, en son standartları doğrulamak için resmi Solidity dokümantasyonunu okur. Bu Solidity akıllı sözleşme denetimi, bir ekran görüntüsünden tablo okumak için ocr kullanır. Denetimlerde AI false positives filtreleme, manuel onayla yönetilir.
Testleri çalıştırın
Aracı, sorunları tam olarak nerede arayacağını bilmek ve planı gözden geçirmek için proje genelindeki her harici çağrıyı ve durum değişikliğini grep ile bulur. Planı gözden geçirin. read_file ile bir sözleşmeyi okur, list_dir ile dosyaları bulur. Akıllı sözleşme denetim örneği, write_file ve edit_file'ın bulgu notlarını nasıl yazdığını gösterir. Herhangi bir şeyi çalıştırmadan önce Plan only modunda planı gözden geçirirsiniz. Shell, test komutunuzu çalıştırır ve çıktıyı bir metin dosyasına kaydeder. web_search ve http_get, referans için resmi Solidity dokümantasyonunu okur. Akıllı sözleşme denetim sonraki adım, yerel bir testle bulguları onaylamaktır.
Keylatch ne yapmaz
Keylatch, barındırılan bir hizmet veya eklenti değildir; yalnızca kendi dosyalarınız, PC'niz ve kullanımınıza yetkin olduğunuz sunucular için tasarlanmıştır — işi onların içinde tutarsınız. Aracı kapsamı zorlamaz; Shell, web ve SSH klasör sınırlı değildir. Kod, taramalar veya analizlerin doğru olduğuna dair garanti yoktur. Aracı false positives bildirebilir, bu nedenle bir kişi her bulguyu onaylar veya reddeder. Denetim iş akışında statik analiz ötesine geçmek dikkatli doğrulama gerektirir.
