Skip to content

Conversation

@kylo5aby
Copy link
Contributor

@kylo5aby kylo5aby commented Feb 5, 2026

add validation to ensure heap_type to be either a valid type index (0 <= heap_type < type_count) or a valid common heap type via wasm_is_valid_heap_type()

Signed-off-by: zhenweijin <zhenwei.jin@intel.com>
@kylo5aby kylo5aby force-pushed the heap-type-check branch 2 times, most recently from 80b1527 to 3547d18 Compare February 6, 2026 06:39
@lum1n0us
Copy link
Contributor

We usually assume that WASM files can be malformed, but AOT files are not. This is mostly because, in WAMR's security model, the AOT compiler is in the trusted zone. Therefore, I can hold off on this patch.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants