@selencaStatik analiz aracı: Kod göndermeden önce otomatik zafiyet taraması
Kontrat kodunuzu çalıştırmadan inceleyip bilinen zafiyet kalıplarını ve kod kokularını raporlayan araç. Sürekli entegrasyon hattına eklenebiliyor.
Tespit ettiği konulardan bazıları: reentrancy riskleri, kontrol edilmeyen dönüş değerleri, gereksiz derleyici sürüm aralıkları, gas israfına yol açan yazımlar, kullanılmayan değişkenler, erişim belirteci eksiklikleri ve tehlikeli delege çağrılar.
En faydalı özelliklerinden biri yazıcı çıktıları. Kontrat çağrı grafiğini, kalıtım ağacını ve değişken yazma yetkilerini görselleştirebiliyorsunuz. Devraldığınız bir kod tabanını anlamak için hızlı bir yol.
Dikkat edilmesi gereken nokta, yanlış pozitif oranı. Araç bazı durumları riskli işaretliyor ama bağlamda sorun olmayabiliyor. Her uyarıyı körü körüne düzeltmeye çalışmak yerine, her birini değerlendirip gerekçesiyle birlikte kararı belgelemek daha doğru.
Bir denetimin yerini tutmuyor ama denetime gitmeden önce bariz sorunları temizlemek, hem denetim süresini hem maliyetini düşürüyor.
Açık kaynak ve yerelde çalışıyor, kodunuz dışarı çıkmıyor.
Tespit ettiği konulardan bazıları: reentrancy riskleri, kontrol edilmeyen dönüş değerleri, gereksiz derleyici sürüm aralıkları, gas israfına yol açan yazımlar, kullanılmayan değişkenler, erişim belirteci eksiklikleri ve tehlikeli delege çağrılar.
En faydalı özelliklerinden biri yazıcı çıktıları. Kontrat çağrı grafiğini, kalıtım ağacını ve değişken yazma yetkilerini görselleştirebiliyorsunuz. Devraldığınız bir kod tabanını anlamak için hızlı bir yol.
Dikkat edilmesi gereken nokta, yanlış pozitif oranı. Araç bazı durumları riskli işaretliyor ama bağlamda sorun olmayabiliyor. Her uyarıyı körü körüne düzeltmeye çalışmak yerine, her birini değerlendirip gerekçesiyle birlikte kararı belgelemek daha doğru.
Bir denetimin yerini tutmuyor ama denetime gitmeden önce bariz sorunları temizlemek, hem denetim süresini hem maliyetini düşürüyor.
Açık kaynak ve yerelde çalışıyor, kodunuz dışarı çıkmıyor.
0 1 yorum