bytecodealliance / bytecodealliance/wizer
Validate the input Wasm while constructing the `ModuleInfo` tree in the parse pass
Open
- Dominant language
- Rust
- Stars
- 1.1k
- Forks
- 64
- PR merge metrics
- No merged PRs in 30d
Description
Rather than fully parsing the wasm to validate it via `wasmparser::Validator::validate_all` and then full re-parsing the Wasm *again* inside the `parse` pass when constructing the `ModuleInfo` tree, we should use the lower-level `wasmparser::Validator` APIs to validate each parsed payload as we get it during the `parse` pass.
Also we should do the checking for table-manipulation instructions inside this single pass too.
Contributor guide
Assessment
This issue has not been assessed yet.