gnh1201/wasm-micro-runtime
1
0
Fork 0
mirror of https://github.com/bytecodealliance/wasm-micro-runtime.git synced 2025-05-07 12:16:24 +00:00
Code Issues Actions 9 Packages Projects Releases Wiki Activity

prevent frame_offset underflow in wasm_loader (#4165)

Browse Source
This commit is contained in:
liang.he 2025-04-10 12:06:06 +08:00 committed by GitHub
parent 793135b41c
commit 9aaf3599ec
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 26 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
core/iwasm/interpreter/wasm_loader.c
View File

@ -11234,6 +11234,13 @@ wasm_loader_prepare_bytecode(WASMModule *module, WASMFunction *func,
bool disable_emit, preserve_local = false, if_condition_available = true;
float32 f32_const;
float64 f64_const;
/*
* It means that the fast interpreter detected an exception while preparing,
* typically near the block opcode, but it did not immediately trigger
* the exception. The loader should be capable of identifying it near
* the end opcode and then raising the exception.
*/
bool pending_exception = false;
LOG_OP("\nProcessing func | [%d] params | [%d] locals | [%d] return\n",
func->param_cell_num, func->local_cell_num, func->ret_cell_num);
@ -11584,6 +11591,16 @@ re_scan:
cell_num = wasm_value_type_cell_num(
wasm_type->types[wasm_type->param_count - i - 1]);
loader_ctx->frame_offset -= cell_num;
if (loader_ctx->frame_offset
< loader_ctx->frame_offset_bottom) {
LOG_DEBUG(
"frame_offset underflow, roll back and "
"let following stack checker report it\n");
loader_ctx->frame_offset += cell_num;
pending_exception = true;
break;
}
#endif
}
}
@ -12106,6 +12123,15 @@ re_scan:
}
}
#if WASM_ENABLE_FAST_INTERP != 0
if (pending_exception) {
set_error_buf(
error_buf, error_buf_size,
"There is a pending exception needs to be handled");
goto fail;
}
#endif
break;
}