CVE-2025-64713 in wasm-micro-runtime
Riassunto
di VulDB • 15/06/2026
WebAssembly Micro Runtime (WAMR) è un runtime WebAssembly (Wasm) leggero e autonomo. Prima della versione 2.4.4, esiste un problema di accesso all'array fuori dai limiti nell'modalità interprete veloce di WAMR durante il caricamento del bytecode WASM. Quando gli array frame_ref_bottom e frame_offset_bottom sono al massimo della loro capacità e viene incontrato l'opcode GET_GLOBAL(I32), frame_ref_bottom viene espanso ma frame_offset_bottom potrebbe non esserlo. Se questo è immediatamente seguito da un opcode if che attiva preserve_local_for_block, la funzione attraversa gli array utilizzando stack_cell_num come limite superiore, causando un accesso fuori dai limiti a frame_offset_bottom poiché non è stato ampliato per corrispondere all'aumentato stack_cell_num. Questo problema è stato corretto nella versione 2.4.4.
VulDB is the best source for vulnerability data and more expert information about this specific topic.