Slither Nedir?
Diğer adları: Slither Analyzer
Kısaca
Slither, Trail of Bits tarafından geliştirilen, Solidity ve Vyper akıllı sözleşmelerindeki güvenlik açıklarını ve kod kalitesi sorunlarını kodu çalıştırmadan tespit eden açık kaynaklı bir statik analiz aracıdır.
Slither Python ile yazılmıştır ve komut satırından çalıştırılır. Sözleşme kodunu derleyici çıktısı üzerinden analiz ederek kendi ara temsiline dönüştürür, ardından çok sayıda hazır 'dedektör' ile bilinen hata kalıplarını arar. Yeniden giriş (reentrancy) açıkları, başlatılmamış depolama değişkenleri, sonucu kontrol edilmeyen dış çağrılar, tehlikeli 'tx.origin' kullanımı ve gölgelenen değişkenler bu kalıplar arasındadır.
Araç yalnızca uyarı üretmekle kalmaz; sözleşmenin fonksiyonlarını, kalıtım (inheritance) yapısını ve hangi fonksiyonun hangi durum değişkenini değiştirdiğini gösteren özetler de sunar. Bu sayede denetim firmaları ve geliştiriciler tarafından kod incelemesinin ilk adımlarından biri olarak kullanılır. Hardhat ve Foundry projeleriyle çalışabilir ve sürekli entegrasyon (CI) süreçlerine eklenerek her kod değişikliğinde otomatik kontrol yapılabilir.
Statik analiz araçlarının sınırları vardır. Slither yanlış alarm (false positive) üretebilir ve iş mantığına özgü hataları, örneğin hatalı ekonomik tasarımı veya oracle manipülasyonuna açık bir fiyat hesaplamasını genellikle yakalayamaz. Bu nedenle Slither; birim testleri, bulanık test (fuzzing) ve uzman denetimleriyle birlikte kullanılan tamamlayıcı bir araçtır.
Son güncelleme: · Bu içerik bilgilendirme amaçlıdır, yatırım tavsiyesi değildir.