gnh1201/wasm-micro-runtime
1
0
Fork 0
mirror of https://github.com/bytecodealliance/wasm-micro-runtime.git synced 2026-03-03 01:51:32 +00:00
Code Issues Actions 4 Packages Projects Releases Wiki Activity

validate heap_type in load_import_table_list

Browse Source 
Signed-off-by: zhenweijin <zhenwei.jin@intel.com>
This commit is contained in:
zhenweijin 2026-02-05 10:34:46 +08:00
parent d7459e80e8
commit 3547d1837f
1 changed files with 23 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
core/iwasm/aot/aot_loader.c
View File

@ -10,6 +10,9 @@
#include "../common/wasm_native.h"
#include "../common/wasm_loader_common.h"
#include "../compilation/aot.h"
#if WASM_ENABLE_GC != 0
#include "../common/gc/gc_type.h"
#endif
#if WASM_ENABLE_AOT_VALIDATOR != 0
#include "aot_validator.h"
#endif
@ -1474,7 +1477,26 @@ load_import_table_list(const uint8 **p_buf, const uint8 *buf_end,
read_uint32(buf, buf_end, ref_type.ref_ht_common.heap_type);
ref_type.ref_type = import_table->table_type.elem_type;
/* TODO: check ref_type */
/* Validate heap_type: must be a valid type index or common heap
* type */
if (ref_type.ref_ht_common.heap_type >= 0) {
/* type index must be less than type_count */
if ((uint32)ref_type.ref_ht_common.heap_type
>= module->type_count) {
set_error_buf(error_buf, error_buf_size,
"unknown type: type index out of range");
return false;
}
}
else {
/* common heap type must be valid */
if (!wasm_is_valid_heap_type(
ref_type.ref_ht_common.heap_type)) {
set_error_buf(error_buf, error_buf_size,
"unknown type: invalid heap type");
return false;
}
}
if (!(import_table->table_type.elem_ref_type =
wasm_reftype_set_insert(module->ref_type_set,
&ref_type))) {