Stream: git-wasmtime

Topic: wasmtime / PR #8440 Add a fuzzer for async wasm


view this post on Zulip Wasmtime GitHub notifications bot (Apr 22 2024 at 21:31):

alexcrichton opened PR #8440 from alexcrichton:fuzz-async to bytecodealliance:main:

This commit revives a very old branch of mine to add a fuzzer for Wasmtime in async mode. This work was originally blocked on llvm/llvm-project#53891 and while that's still an issue it now contains a workaround for that issue. Support for async fuzzing required a good deal of refactorings and changes, and the highlights are:

With all of the above a new fuzzer is added. This fuzzer generates an arbitrary module, selects an arbitrary means of async (e.g. epochs/fuel), and then tries to execute the exports of the module with various values. In general the fuzzer is looking for crashes/panics as opposed to correct answers as there's no oracle here. This is also intended to stress the code used to switch on and off stacks.

<!--
Please make sure you include the following information:

Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.html

Please ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->

view this post on Zulip Wasmtime GitHub notifications bot (Apr 22 2024 at 21:31):

alexcrichton has marked PR #8440 as ready for review.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 22 2024 at 21:31):

alexcrichton requested fitzgen for a review on PR #8440.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 22 2024 at 21:31):

alexcrichton requested wasmtime-fuzz-reviewers for a review on PR #8440.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 22 2024 at 21:31):

alexcrichton requested wasmtime-core-reviewers for a review on PR #8440.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 22 2024 at 21:31):

alexcrichton requested wasmtime-default-reviewers for a review on PR #8440.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 22 2024 at 21:44):

github-actions[bot] commented on PR #8440:

Subscribe to Label Action

cc @fitzgen

<details>
This issue or pull request has been labeled: "fuzzing", "wasmtime:api"

Thus the following users have been cc'd because of the following labels:

To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.

Learn more.
</details>

view this post on Zulip Wasmtime GitHub notifications bot (Apr 23 2024 at 14:36):

alexcrichton updated PR #8440.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 23 2024 at 15:55):

fitzgen submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 23 2024 at 15:55):

fitzgen submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 23 2024 at 15:55):

fitzgen created PR review comment:

This is to leave room for a guard page? Can we have a comment to that effect?

view this post on Zulip Wasmtime GitHub notifications bot (Apr 23 2024 at 17:31):

alexcrichton updated PR #8440.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 23 2024 at 17:32):

alexcrichton has enabled auto merge for PR #8440.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 23 2024 at 17:55):

alexcrichton updated PR #8440.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 23 2024 at 17:55):

alexcrichton has enabled auto merge for PR #8440.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 23 2024 at 19:03):

alexcrichton updated PR #8440.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 23 2024 at 19:03):

alexcrichton has enabled auto merge for PR #8440.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 23 2024 at 19:57):

alexcrichton merged PR #8440.


Last updated: Dec 23 2024 at 13:07 UTC