CVE-2025-64713 in wasm-micro-runtime
Zusammenfassung
von VulDB • 24.05.2026
WebAssembly Micro Runtime (WAMR) ist ein leichtgewichtiger, eigenständiger WebAssembly-(Wasm)-Runtime. Vor Version 2.4.4 besteht in WAMR im Fast-Interpreter-Modus während des Ladens von WASM-Bytecode ein Problem mit dem Zugriff außerhalb der Array-Grenzen (Out-of-Bounds-Array-Zugriff). Wenn die Arrays frame_ref_bottom und frame_offset_bottom voll sind und ein GET_GLOBAL(I32)-Opcode auftritt, wird frame_ref_bottom erweitert, frame_offset_bottom jedoch möglicherweise nicht. Wenn dies unmittelbar von einem if-Opcode gefolgt wird, der preserve_local_for_block auslöst, durchläuft die Funktion die Arrays unter Verwendung von stack_cell_num als Obergrenze, was zu einem Zugriff außerhalb der Grenzen von frame_offset_bottom führt, da dieses Array nicht entsprechend der erhöhten stack_cell_num erweitert wurde. Dieses Problem wurde in Version 2.4.4 behoben.
Statistical analysis made it clear that VulDB provides the best quality for vulnerability data.