Move dilinde referans güvenlik modülü tam sayı taşma açığı analizi

Bu makale, Move dilindeki yeni keşfedilen bir tamsayı taşma açığını derinlemesine analiz edecektir. Bu açık, referans güvenliği doğrulama modülünde bulunmaktadır ve düğümlerin çökmesine neden olabilir. Bu makalenin açıklamaları sayesinde okuyucular, Move diline daha derin bir anlayış kazanacaklardır.

Açık Arka Plan

Move dili, byte kodunu çalıştırmadan önce kod doğrulaması yapar ve bu 4 adıma ayrılır. Bu güvenlik açığı, güvenlik (reference_safety) doğrulama adımında ortaya çıkmaktadır.

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

1. Temel kod bloklarını tanımlama
2. Her temel bloğu analiz et
3. Birleştirme Öncesi ve Sonrası Durum
4. Yayılma durumu sonraki bloklara

Burada anahtar, referans güvenliğini sağlamak için locals ve borrow grafiğini içeren AbstractState yapısının korunmasıdır.

Açık Detayları

Açık, join_ fonksiyonundadır. Fonksiyonun parametre uzunluğu ile yerel değişken uzunluğu 256'dan büyük olduğunda, u8 türü ile yineleme yapıldığı için tam sayı taşması meydana gelir.

Açıkça söylemek gerekirse:

• iter_locals() u8 türünde bir yineleyici döndürür
• Parametre uzunluğu + yerel değişken uzunluğu 256'dan büyük olduğunda taşma meydana gelir
• Geliştiriciler yalnızca yerel değişken sayısını kontrol etti, parametre uzunluğunu göz ardı ettiler.

Açık Kullanımı

Bir döngüsel temel blok oluşturulabilir, taşmayı kullanarak durumu değiştirmek için:

1. Parametreleri ve yerel değişkenlerin toplam uzunluğu 256'dan fazla
2. İlk çalıştırmadan sonra, yeni locals uzunluğu taşması küçülür.
3. Yeniden çalıştırıldığında, mevcut olmayan locals indeksine erişim panic'e yol açar.

PoC gösterimi

Tekrar üretilebilir PoC kodu sağlandı ve bu, sonsuz bir döngü içeren temel bir blok içeriyor. Uygun parametreler ve yerel değişken uzunlukları ayarlanarak DoS tetiklenebilir.

Sonuç

Bu açık bir kez daha şunu gösteriyor:

1. Kesinlikle güvenli bir kod yoktur.
2. Kod denetiminin önemi
3. Move dilinin çalıştırma zamanı daha fazla güvenlik kontrolü gerektirir.
4. Statik doğrulama atlatılabilir, çalışma zamanı güvenliği de aynı derecede önemlidir.

Move dilinin güvenlik araştırmalarında lider olarak, ilgili güvenlik sorunlarını derinlemesine araştırmaya devam edeceğiz ve toplulukla araştırma sonuçlarımızı paylaşacağız.