Move dilindeki güvenlik modülü, tam sayı taşma açığına sahip

Son zamanlarda, güvenlik araştırmacıları Move dilini derinlemesine analiz ettiklerinde ciddi bir tamsayı taşma açığı keşfettiler. Bu açık, referans güvenlik doğrulama modülünde bulunmaktadır ve hizmet reddi saldırısına yol açabilir. Bu yazıda, bu açığın prensibi ve etkileri detaylı bir şekilde ele alınacaktır.

Açık Arka Plan

Move dili, byte kodunu yürütmeden önce kod doğrulaması yapar ve bu, referans güvenliği kontrolünü içerir. Bu süreç birkaç adımdan oluşur ve bu sefer keşfedilen açık, reference_safety doğrulama aşamasında meydana gelmiştir.

Güvenlik doğrulamasının ana süreci şudur:

1. Kodu temel bloklara ayırın
2. Her temel bloğu analiz et
3. Analizden önce ve sonraki durumu birleştirin
4. Yayılma sonuçları sonraki bloklara

Analiz durumunu temsil etmek için AbstractState yapısı kullanılmıştır, locals ve borç grafiği bilgilerini içermektedir.

Açık Detayları

Hata, birleştirme analiz durumu için join_fonksiyonunda ortaya çıkmaktadır. Bu fonksiyon, locals'ı u8 türü ile yinelemekte, ancak parametre uzunluğu ve yerel değişken uzunluğunun toplamı 256'dan fazla olduğunda tam sayı taşması meydana gelmektedir.

Özellikle:

• join_fonksiyonunda self.iter_locals() ile locals'ı yinele
• iter_locals() u8 türünde bir iteratör döndürür
• Eğer parametre uzunluğu + yerel değişken uzunluğu > 256 ise, yineleyici taşacaktır.

Move yerel değişken sayısını kontrol etme sürecine sahip olsa da, yalnızca yerel değişken sayısını kontrol eder, parametre uzunluğunu dahil etmez.

Açık Kullanımı

Saldırganlar, bir döngü kod bloğu oluşturarak taşmayı kullanıp bloğun durumunu değiştirebilirler:

1. Parametreleri ve yerel değişkenlerin toplam sayısını 256'dan büyük ayarlayın.
2. İlk çalıştırmadan sonra, yeni locals haritasının uzunluğu taşacak ve küçülecek.
3. Tekrar çalıştırıldığında, mevcut olmayan locals dizinine erişim panic'e neden olur

Bu, düğümün hizmet reddine yol açabilir.

Açığın Etkisi

Bu açık, şunlara neden olabilir:

1. Move bytecode doğrulayıcısı çöktü
2. Move'a bağımlı blok zinciri düğümleri hizmeti reddetti
3. Bazı güvenlik kontrollerinden kaçınma

Onarım Önerisi

1. locals sınır kontrolünde parametre uzunluğunun doğrulanmasını ekleyin
2. locals'ı yinelemek için u16 gibi daha büyük tamsayı türleri kullanın
3. Çalışma zamanında ek güvenlik kontrolleri ekleyin

Özet

Bu güvenlik açığı, dikkatli bir şekilde tasarlanmış dillerin bile güvenlik riskleri içerebileceğini bir kez daha göstermiştir. Move dili için, doğrulama aşamasının ötesinde, çalışma zamanında da gerekli güvenlik kontrollerinin eklenmesi önerilmektedir. Güvenlik araştırmacıları, Move dilini daha derinlemesine analiz etmeye devam edeceklerdir, böylece daha fazla potansiyel sorun keşfedebileceklerdir.