Modul keamanan referensi bahasa Move memiliki kerentanan overflow integer

Baru-baru ini, peneliti keamanan menemukan kerentanan serius berupa overflow integer saat menganalisis bahasa Move secara mendalam. Kerentanan ini terdapat dalam modul verifikasi keamanan referensi, yang dapat menyebabkan serangan penolakan layanan. Artikel ini akan menjelaskan secara detail tentang prinsip dan dampak kerentanan ini.

Latar Belakang Kerentanan

Bahasa Move melakukan verifikasi kode sebelum mengeksekusi bytecode, yang mencakup pemeriksaan keamanan referensi. Proses ini dibagi menjadi beberapa langkah, dan kerentanan yang ditemukan kali ini terjadi pada tahap verifikasi reference_safety.

Proses utama verifikasi keamanan adalah:

1. Membagi kode menjadi blok dasar
2. Analisis setiap blok dasar
3. Menggabungkan analisis sebelum dan sesudah
4. Menyebarkan hasil ke blok berikutnya

Di mana digunakan struktur AbstractState untuk merepresentasikan status analisis, yang mencakup informasi locals dan grafik pinjaman.

Rincian Kerentanan

Kekurangan muncul di dalam fungsi join_ yang menganalisis status gabungan. Fungsi ini menggunakan tipe u8 untuk iterasi locals, tetapi jika jumlah panjang parameter dan panjang variabel lokal melebihi 256, akan terjadi overflow integer.

Secara spesifik:

• menggunakan self.iter_locals() untuk mengiterasi locals di dalam fungsi join_
• iter_locals() mengembalikan iterator tipe u8
• Jika panjang parameter + panjang variabel lokal > 256, iterator akan meluap

Meskipun Move memiliki proses untuk memverifikasi jumlah locals, tetapi hanya memeriksa jumlah variabel lokal, tidak termasuk panjang parameter.

Eksploitasi Kerentanan

Penyerang dapat membangun blok kode loop, menggunakan overflow untuk mengubah status blok:

1. Atur jumlah parameter dan variabel lokal lebih dari 256
2. Setelah eksekusi pertama, panjang peta locals baru akan meluap menjadi lebih kecil
3. Menjalankan kembali, mengakses indeks locals yang tidak ada akan menyebabkan panic

Ini mungkin menyebabkan penolakan layanan node.

Dampak Kerentanan

Kerentanan ini dapat menyebabkan:

1. Pengverifikasi bytecode Move crash
2. Node blockchain yang bergantung pada Move menolak layanan
3. Melewati beberapa pemeriksaan keamanan

Saran Perbaikan

1. Menambahkan pemeriksaan panjang parameter dalam pemeriksaan batas locals.
2. Gunakan tipe integer yang lebih besar seperti u16 untuk mengiterasi locals
3. Menambahkan pemeriksaan keamanan tambahan saat runtime

Ringkasan

Kerentanan ini sekali lagi menunjukkan bahwa bahkan bahasa yang dirancang dengan cermat pun dapat memiliki risiko keamanan. Untuk bahasa Move, disarankan agar pemeriksaan keamanan yang diperlukan juga ditambahkan di luar tahap verifikasi, selama waktu eksekusi. Peneliti keamanan akan terus menganalisis bahasa Move secara mendalam untuk menemukan lebih banyak masalah potensial.