CVE-2025-64713

WebAssembly Micro Runtime (WAMR) is a lightweight standalone WebAssembly (Wasm) runtime. Prior to version 2.4.4, an out-of-bounds array access issue exists in WAMR's fast interpreter mode during WASM bytecode loading. When frame_ref_bottom and frame_offset_bottom arrays are at capacity and a GET_GLOBAL(I32) opcode is encountered, frame_ref_bottom is expanded but frame_offset_bottom may not be. If this is immediately followed by an if opcode that triggers preserve_local_for_block, the function traverses arrays using stack_cell_num as the upper bound, causing out-of-bounds access to frame_offset_bottom since it wasn't expanded to match the increased stack_cell_num. This issue has been patched in version 2.4.4.
Configurations

Configuration 1 (hide)

cpe:2.3:a:bytecodealliance:webassembly_micro_runtime:*:*:*:*:*:*:*:*

History

18 Oct 2026, 20:10

Type Values Removed Values Added
Summary
  • (es) WebAssembly Micro Runtime (WAMR) es un tiempo de ejecución (runtime) de WebAssembly (Wasm) ligero y autónomo. Versiones anteriores a la versión 2.4.4, existe un problema de acceso a un array fuera de límites en el modo de intérprete rápido de WAMR durante la carga de bytecode WASM. Cuando los arrays 'frame_ref_bottom' y 'frame_offset_bottom' están a su máxima capacidad y se encuentra un código de operación (opcode) 'GET_GLOBAL(I32)', 'frame_ref_bottom' se expande, pero 'frame_offset_bottom' podría no hacerlo. Si esto es seguido inmediatamente por un código de operación 'if' que activa 'preserve_local_for_block', la función recorre los arrays utilizando 'stack_cell_num' como límite superior, causando un acceso fuera de límites a 'frame_offset_bottom' ya que no se expandió para coincidir con el 'stack_cell_num' incrementado. Este problema ha sido parcheado en la versión 2.4.4.

Information

Published : 2025-11-25 23:15

Updated : 2026-10-18 20:10


NVD link : CVE-2025-64713

Mitre link : CVE-2025-64713

CVE.ORG link : CVE-2025-64713


JSON object : View

Products Affected

bytecodealliance

  • webassembly_micro_runtime
CWE
CWE-119

Improper Restriction of Operations within the Bounds of a Memory Buffer