cfallin opened issue #11485:
We should:
- [ ] ensure that wasm-smith can create modules with
try_table/throw/throw_ref- [ ] ensure that we permit exceptions to be chosen by our fuzzing configuration generation
- [ ] ensure that exceptions are enabled in our oracle engine(s) that support it -- at least V8 and the spec interpreter
- [ ] ensure that we can compare an "exception thrown" result
in order to test that the Wasm exception-handling proposal implementation is robust.
cfallin added the fuzzing label to Issue #11485.
cfallin added the wasm-proposal:exceptions label to Issue #11485.
github-actions[bot] commented on issue #11485:
Subscribe to Label Action
cc @fitzgen
<details>
This issue or pull request has been labeled: "fuzzing"Thus the following users have been cc'd because of the following labels:
- fitzgen: fuzzing
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Learn more.
</details>
cfallin closed issue #11485:
We should:
- [ ] ensure that wasm-smith can create modules with
try_table/throw/throw_ref- [ ] ensure that we permit exceptions to be chosen by our fuzzing configuration generation
- [ ] ensure that exceptions are enabled in our oracle engine(s) that support it -- at least V8 and the spec interpreter
- [ ] ensure that we can compare an "exception thrown" result
in order to test that the Wasm exception-handling proposal implementation is robust.
Last updated: Dec 06 2025 at 07:03 UTC