CVE-2025-64704

W WebAssembly Micro Runtime (WAMR) przed wersją 2.4.5 funkcja wasi_poll_oneoff waliduje wskaźnik wyjściowy tylko dla jednego zdarzenia wasi_event_t, podczas gdy wasmtime_ssp_poll_oneoff może zapisać tyle zdarzeń, ile wynosi kontrolowana przez gościa wartość nsubscriptions. Złośliwy moduł gościa może spowodować zapis poza zwalidowaną granicą pamięci liniowej Wasm do sąsiedniej pamięci sterty hosta, co prowadzi do awarii procesu hosta, a w zależności od układu sterty także do naruszenia poufności lub integralności.

WebAssembly Micro Runtime (WAMR) przed wersją 2.4.5 w funkcji load_init_expr akceptuje nieprawidłowy bajt typu sterty dla ref.null, gdy WASM_ENABLE_GC=0, a unia WASMValue cur_value nie jest zerowana. Złośliwy moduł może zadeklarować globalną zmienną i64, f64 lub v128 zainicjalizowaną przez nieprawidłową formę ref.null, powodując skopiowanie niezainicjalizowanych bajtów stosu hosta do wartości czytelnej dla gościa.

W WebAssembly Micro Runtime (WAMR) przed wersją 2.4.5 dwuprzebiegowy loader szybkiego interpretera w wasm_loader.c może podejmować niespójne decyzje dotyczące tablicy stałych między przebiegiem rozmiarowania a przebiegiem emisji. Złośliwy moduł może spowodować, że drugi przebieg zapisze częściowo kontrolowane przez atakującego dane skompilowanego kodu poza buforem sterty przydzielonym na podstawie obliczeń rozmiaru z pierwszego przebiegu, co uszkadza metadane sterty hosta i powoduje deterministyczną awarię procesu.

WebAssembly Micro Runtime (WAMR) to lekki samodzielny runtime WebAssembly. Przed wersją 2.4.4 w trybie szybkiego interpretera podczas ładowania bajtkodu WASM występuje problem dostępu poza granice tablicy związany z tablicami frame_ref_bottom i frame_offset_bottom. Został on naprawiony w wersji 2.4.4.