Module zingen::validator

Pre-visitor for parsing WASM.

Macros

• validate_then_visit 🔒

Structs

• ValidateThenVisit
  A pre-visitor that validates the WASM and then visits it.

Traits

• ReachableState 🔒
  Trait to handle reachability state.

Functions

• visit_op_when_unreachable 🔒