Stream: git-wasmtime

Topic: wasmtime / PR #3836 `wasm-mutate` fuzz targets

view this post on Zulip Wasmtime GitHub notifications bot (Feb 22 2022 at 21:37):

fitzgen requested alexcrichton for a review on PR #3836.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 22 2022 at 21:37):

fitzgen opened PR #3836 from wasm-mutate-fuzz-targets to main:

There's definitely more to be done here but I think this is a good starting point.

The big open question for the future in my mind is how this will integrate with the way we heavily rely on swarm testing for Wasmtime configuration. What's great about wasm-mutate is that the seed file is the Wasm, so you can just throw a bunch of interesting Wasm files in your corpus and start exploring some really interesting Wasm programs. But our swarm configuration relies on interpreting the start of the seed files as "DNA" for Wasmtime's configuration. If we do that, we lose the ability to easily add interesting Wasm programs to our corpus. Maybe we don't use swarm testing with wasm-mutate? And choose only N interesting points in the configuration space at which to test?

Also we could basically have a wasm-mutate version of every fuzz target we have if we made our infra a little more generic and always used fuel to avoid infinite loops. That seems do-able but will require another overhaul of a lot of our infra, since it kind of assumes wasm-smith right now.

Happy to brainstorm on these things, but I think solving them is something for the future.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 22 2022 at 21:45):

fitzgen updated PR #3836 from wasm-mutate-fuzz-targets to main.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 22 2022 at 23:28):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 22 2022 at 23:28):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 22 2022 at 23:28):

alexcrichton created PR review comment:

Could wasmparser be updated elsewhere in wasmtime to ensure we've only got one at a time?

view this post on Zulip Wasmtime GitHub notifications bot (Feb 23 2022 at 19:35):

fitzgen updated PR #3836 from wasm-mutate-fuzz-targets to main.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 23 2022 at 20:14):

fitzgen merged PR #3836.

Last updated: Oct 23 2024 at 20:03 UTC