CVE-2023-41880

Wasmtime, WebAssembly için bağımsız bir çalışma zamanıdır. Wasmtime'ın 10.0.0 ile 10.0.2, 11.0.2 ve 12.0.1 arasındaki sürümleri, kaydırma miktarının 32'den büyük sabit bir değer olduğu durumlarda, x86_64 platformlarında WebAssembly `i64x2.shr_s` talimatının hatalı derlenmesini içermektedir. Yalnızca x86_64 etkilendiğinden diğer tüm hedefler bundan etkilenmemektedir. Hatalı derleme, talimatın yanlış bir sonuç üretmesine neden olur; yani vektörün ikinci şeridinin düşük 32 biti, giriş vektörünün ikinci şeridinin yüksek 32 bitleri yerine düşük 32 bitlerinden türetilir. Bu sorunun temel etkisi, 32'den büyük sabit bir kaydırma miktarı ile `i64x2.shr_s` kullanan herhangi bir WebAssembly programının yanlış sonuç üretebilmesidir. Bu sorun, WebAssembly sandbox'ından bir kaçış değildir. WebAssembly konuk programlarının yürütülmesi, bellek sandbox'lama ve ana bilgisayardan izolasyon açısından doğru şekilde çalışmaya devam edecektir. Buna rağmen Wasmtime, spesifikasyona uygun olmayan davranışları bir güvenlik sorunu olarak değerlendirmektedir. Bu sorun, Wasmtime'ın kod oluşturucusu Cranelift'in fuzzing yöntemiyle test edilmesi sonucunda keşfedilmiştir. Wasmtime 10.0.2, 11.0.2 ve 12.0.2 sürümlerinin tamamında bu hatalı derleme giderilmiştir. Bu sorun yalnızca x86_64 ana bilgisayarları etkilemektedir ve tek geçici çözüm ya wasm modüllerinde bu desenin aranmasıdır (ki bu kolay değildir) ya da WebAssembly için SIMD önerisinin devre dışı bırakılmasıdır. 10.0.0 öncesindeki kullanıcılar bu güvenlik açığından etkilenmemiştir.