Move dili referans güvenlik modülü yeni bir tamsayı taşma açığı keşfetti

Son zamanlarda, araştırmacılar Move dilini derinlemesine analiz ederken yeni bir tam sayı taşma açığı keşfettiler. Bu açık, referans güvenliği modülünde bulunmakta olup, ciddi bir hizmet reddi saldırısına yol açabilir. Bu makalede, bu açığın keşif süreci ve teknik detayları ayrıntılı olarak sunulacaktır.

Move dilinin referans güvenliği mekanizması

Move dili, Rust'ın fikirlerinden ilham alarak iki tür referans türünü destekler: değiştirilemez referans (&) ve değiştirilebilir referans (&mut). Referans güvenliği modülü, fonksiyonlardaki temel blokları ve bayt kodu talimatlarını tarayarak tüm referans işlemlerinin yasallığını doğrular.

Doğrulama süreci esasen aşağıdaki adımları içerir:

1. Her bir temel bloğu analiz et
2. Temel blok kodunu çalıştırarak post state oluştur
3. pre state ve post state'i birleştir
4. Blok durumunu güncelle ve sonraki bloklara ilet

Bunlar arasında, state, fonksiyon içinde referansların güvenliğini sağlamak için locals ve borrow graph adlı iki ana bileşeni içerir.

Açık Kayıt Detayları

Bu güvenlik açığı, güvenli modülü referans alan join_ fonksiyonunda ortaya çıkmaktadır. Fonksiyon parametre uzunluğu ve yerel değişken uzunluğunun toplamı 256'dan büyük olduğunda, u8 türünde locals'i yineleme kullanılması nedeniyle tam sayı taşması meydana gelir.

Özellikle:

• iter_locals() u8 türünde bir iterator döner
• Parametre uzunluğu + yerel değişken uzunluğu 256'dan büyük olduğunda taşma meydana gelir.
• Geliştiricilerin bunu kontrol etme ihtiyacının farkında olduğu görünüyor, ancak gerçek kod yalnızca yerel değişken sayısını kontrol ediyor.

Açık Kullanımı

Bu açığı kullanarak bir döngü kod bloğu oluşturulabilir:

1. İlk çalıştırıldığında taşmayı tetikler, locals haritasını değiştirir.
2. İkinci kez çalıştırıldığında mevcut olmayan locals indeksine erişim, panik yaratır.

Bu, düğüm çökmesine ve hizmet reddi saldırısına neden olacaktır.

Açıkların Tekrarı

Araştırmacılar bu açığı yeniden üretmek için bir PoC sağladı:

1. parameters ve locals'ı SignatureIndex(0) olarak ayarlayın, num_locals'ı 264 yapın.
2. İlk yürütmeden sonra, yeni locals haritasının uzunluğu 8 oldu.
3. İkinci yürütme sırasında, copyloc(57) mevcut olmayan bir offset'e erişim sağlamak panic'e neden oldu.

Özet ve Öneriler

Bu güvenlik açığı şöyle diyor:

1. Kesinlikle güvenli bir kod yoktur, statik doğrulama atlatılabilir.
2. Kod denetimi çok önemlidir, geliştiricilerin dikkatsizliklerini bulabilir.
3. Move dili, yalnızca doğrulama aşamasındaki güvenlik kontrollerine dayanmak yerine, çalışma zamanı kontrollerini artırmalıdır.

Araştırmacılar, Move dilinin tasarımcılarını, benzer güvenlik açıklarının kullanılmasının daha ciddi sorunlara yol açmasını önlemek için çalışma zamanı güvenlik mekanizmalarını güçlendirmeye çağırıyor.