Improper Restriction of Operations within the Bounds of a Memory Buffer
CVE-2025-64713
Summary
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".
- HIGH
- LOCAL
- HIGH
- UNCHANGED
- NONE
- NONE
- HIGH
- HIGH
CWE-119 - Buffer Overflow
Buffer overflow attacks involve data transit and operations exceeding the restricted memory buffer, thereby corrupting or overwriting data in adjacent memory locations. Such overflow allows the attacker to run arbitrary code or manipulate the existing code to cause privilege escalation, data breach, denial of service, system crash and even complete system compromise. Given that languages such as C and C++ lack default safeguards against overwriting or accessing data in their memory, applications utilizing these languages are most susceptible to buffer overflows attacks.
References
Advisory Timeline
- Published
