Q1IQ

Aborted in CWriter::Write at wasm2c

1

### Environment ``` OS : Linux ubuntu 5.15.0-46-generic #49~20.04.1-Ubuntu SMP Thu Aug 4 19:15:44 UTC 2022 x86_64 x86_64 x86_64 GNU/Linux Commit : 3054d61f703d609995798f872fc86b462617c294 Version : 1.0.29 Build : make clang-debug-asan...

Incorrect Function Signature Validation for Import Section

1

### Description Wasm3 does not correctly validate the function signature of imported functions, leading to a segmentation fault. ### Environment ``` $ ./wasm3 --version Wasm3 v0.5.1 on x86_64 Build: Jan...

Missing Argument Type Validation in br_table Instruction

3

### Description Wasm3 fails to validate the type of the argument passed to the `br_table` instruction. According to the [WebAssembly specification](https://webassembly.github.io/spec/core/valid/instructions.html#valid-br-table), the index parameter used in `br_table` must have the...

### Description Wasm3 does not validate the table type to ensure that it is defaultable when defining a table. ### Environment ``` $ ./wasm3 --version Wasm3 v0.5.1 on x86_64 Build:...

### Description wasm3 does not enforce type validation for operands in binary instructions. This behavior violates the [WebAssembly specification](https://webassembly.github.io/spec/core/valid/instructions.html#valid-binary), which mandates that binary operations should only be performed on operands...

### Description Wasm3 does not correctly validate the size of the element section against the available table size in a WebAssembly module. This behavior violates the [WebAssembly specification](https://webassembly.github.io/spec/core/valid/modules.html#element-segments), which mandates...

Missing Callee Type Checking in call and call_indirect Instructions

1

### Description Wasm3 fails to validate callee parameter types in call and call_indirect instructions, violating the [WebAssembly specification](https://webassembly.github.io/spec/core/valid/instructions.html#valid-call). This allows mismatched argument types to bypass validation, leading to incorrect behavior....

### Description Wasm3 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`...

### Description Wasm3 fails to validate the type of the function index parameter for the `call_indirect` instruction. According to the [WebAssembly specification](https://webassembly.github.io/spec/core/exec/instructions.html#xref-syntax-instructions-syntax-instr-control-mathsf-call-indirect-x-y), the index used in `call_indirect` must always be...

### Missing Table Definition Validation in call_indirect Instruction ### Description Wasm3 does not enforce the requirement for at least one table to be defined or imported when using the `call_indirect`...