@nikeaBilinen güvenlik zafiyetleri kataloğu: Denetim öncesi kontrol listesi
Akıllı kontratlarda karşılaşılan zafiyet türlerini numaralandırıp sınıflandıran katalog. Her madde için açıklama, örnek kod ve düzeltme önerisi var.
Kullanım biçimi şöyle: kontratınızı yazdıktan sonra listeyi üstten aşağı geçip her maddeyi kendi kodunuzda sorgulamak. Bu, denetim öncesinde yapılabilecek en ucuz kontrol.
Ltedeki en sık karşılaşılan başlıklar: reentrancy, access control eksikliği, kontrol edilmeyen dış çağrı dönüşü, zaman damgasına bağımlılık, işlem sırasına bağımlılık, tam sayı taşması, güvensiz rastgelelik, gas sınırına takılan döngüler ve delege çağrı tuzakları.
Gas sınırına takılan döngüler konusu az konuşuluyor ama üretimde sık sorun çıkarıyor. Dizide dolaşan bir fonksiyon, dizi büyüdükçe bir gün blok gas sınırını aşıyor ve fonksiyon tamamen kullanılamaz hale geliyor. Bu tür bir hata kontrat dağıtıldıktan sonra düzeltilemiyor.
Katalog biraz eski maddeler içeriyor, çünkü bazı zafiyetler derleyicinin yeni sürümlerinde otomatik olarak engelleniyor. Yine de tarihsel örnekleri okumak, kalıpları tanımayı öğretiyor.
Kullanım biçimi şöyle: kontratınızı yazdıktan sonra listeyi üstten aşağı geçip her maddeyi kendi kodunuzda sorgulamak. Bu, denetim öncesinde yapılabilecek en ucuz kontrol.
Ltedeki en sık karşılaşılan başlıklar: reentrancy, access control eksikliği, kontrol edilmeyen dış çağrı dönüşü, zaman damgasına bağımlılık, işlem sırasına bağımlılık, tam sayı taşması, güvensiz rastgelelik, gas sınırına takılan döngüler ve delege çağrı tuzakları.
Gas sınırına takılan döngüler konusu az konuşuluyor ama üretimde sık sorun çıkarıyor. Dizide dolaşan bir fonksiyon, dizi büyüdükçe bir gün blok gas sınırını aşıyor ve fonksiyon tamamen kullanılamaz hale geliyor. Bu tür bir hata kontrat dağıtıldıktan sonra düzeltilemiyor.
Katalog biraz eski maddeler içeriyor, çünkü bazı zafiyetler derleyicinin yeni sürümlerinde otomatik olarak engelleniyor. Yine de tarihsel örnekleri okumak, kalıpları tanımayı öğretiyor.
0 1 yorum