bytecodealliance / bytecodealliance/wizer

Validate the input Wasm while constructing the `ModuleInfo` tree in the parse pass

Open
#16 0 comments 0 reactions 0 assignees View on GitHub
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

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.