Q1IQ

bug: Missing Subtyping Depth Validation

15

### Summary WasmEdge does not enforce the subtyping depth limit when compiling WebAssembly modules, which leads to successful execution of modules that should otherwise fail validation due to excessive subtyping...

bug: Missing Section Order Validation

10

### Summary WasmEdge does not enforce the requirement for WebAssembly sections to be in the correct order. ### Current State Run program.wasm: [program.wasm.txt](https://github.com/user-attachments/files/18360735/program.wasm.txt) Observed output: ``` No validation error is...

`wasm-interp` does not correctly handle element segment initialization using `global.get` for non-imported globals. ### Test case program.wasm [program.wasm.txt](https://github.com/user-attachments/files/18361702/program.wasm.txt) ### Environment * OS: Ubuntu 20.04 * CPU: amd64 * WABT version:...

Missing Validation for catch_all Instruction

1

`wasm-interp` does not enforce the requirement that a `catch` block must be associated with a `try` block. ### Test case program.wasm [program.wasm.txt](https://github.com/user-attachments/files/18348289/program.wasm.txt) ### Environment * OS: Ubuntu 20.04 * CPU:...

`wasm-interp` encounters an "Aborted (core dumped)" error when executing a WebAssembly module that contains call instructions. This issue leads to an unexpected termination of the program. ### Test case [program.wasm.txt](https://github.com/user-attachments/files/18333089/program.wasm.txt)...

`wasm-interp` fails to validate the type of the table used in the `call_indirect` instruction. According to the [WebAssembly specification](https://webassembly.github.io/spec/core/valid/instructions.html#valid-call-indirect), the table associated with `call_indirect` must have a `funcref` type. ###...

### Summary Run the following command: ```bash wasmedge run --enable-jit test.wasm main ``` Observed output: ``` /work/harnesses/wasmedge/bin/wasmedge run --enable-jit /work/Data/sample/wasmedge/test.wasm main [2025-11-24 06:54:52.025] [info] compile start [2025-11-24 06:54:52.026] [info] verify...

bug: Segmentation fault on recursive function

2

### Summary ## Crash Command ```bash wasmedge/bin/wasmedge run --enable-jit 0_0_call_crash.wasm main -959 ``` [0_0_call_crash.wasm.txt](https://github.com/user-attachments/files/23413852/0_0_call_crash.wasm.txt) ## Execution Result ### Standard Output ``` [2025-11-07 09:08:24.541] [info] compile start [2025-11-07 09:08:24.731] [info] verify...

## Current State Run the following command: ```bash wasm-interp --enable-all --run-export=main test.wasm -a i64:707 -a i32:1 ``` [test.wasm.txt](https://github.com/user-attachments/files/23687300/test.wasm.txt) Observed output: ``` ================================================================= ==332069==ERROR: AddressSanitizer: requested allocation size 0x1000000000000 (0x1000000001000 after...

Assertion `t == type || type == ValueType::Any' failed at wasm-interp

1

## Current State Run the following command: ```bash wasm-interp --enable-all --run-export=main test.wasm -a f64:833.432115754113 -a f64:115.57568723568522 -a f64:646.4519538036589 ``` [test.wasm.txt](https://github.com/user-attachments/files/23437238/test.wasm.txt) Observed output: ``` wasm-interp: /work/harnesses/sources/wabt/include/wabt/interp/interp.h:591: void wabt::interp::Value::CheckType(wabt::interp::ValueType) const: Assertion `t...