Stream: git-wasmtime

Topic: wasmtime / PR #10332 Enable the GC proposal during genera...


view this post on Zulip Wasmtime GitHub notifications bot (Mar 05 2025 at 01:00):

fitzgen opened PR #10332 from fitzgen:gc-fuzzing to bytecodealliance:main:

This allows us to fuzz Wasm GC in our fuzz targets that use the common config-generation infrastructure, such as the differential fuzz target.

Fixes #10328


I've been running this locally for about 20 minutes since I last hit a bug. Let's let it run longer before we merge it, just in case. Figured that there was no reason I couldn't make the PR now and optimistically and speculatively pipeline with review and CI potentially and all that.

<!--
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 (Mar 05 2025 at 01:00):

fitzgen requested alexcrichton for a review on PR #10332.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 05 2025 at 01:00):

fitzgen requested wasmtime-fuzz-reviewers for a review on PR #10332.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 05 2025 at 01:00):

fitzgen requested wasmtime-core-reviewers for a review on PR #10332.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 05 2025 at 02:11):

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

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 (Mar 05 2025 at 15:24):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 05 2025 at 18:05):

fitzgen commented on PR #10332:

Found a couple issues that need to be fixed before this lands.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 12 2025 at 15:10):

fitzgen commented on PR #10332:

Fuzzing has successfully run overnight on my machine locally, so I'll clean up what I have and update this PR so it can merge. There are still outstanding GC bugs, but I think we're at the point where the fuzzers run long enough that it makes sense to move forward with this PR and start exercising GC programs in OSS-Fuzz.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 12 2025 at 17:48):

fitzgen updated PR #10332.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 12 2025 at 18:16):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 12 2025 at 18:16):

alexcrichton created PR review comment:

I think we'll want to remove all the logging here because this is called from a signal handler. Or maybe a per-module debugging macro which can be toggle locally without committing it or something like that?

view this post on Zulip Wasmtime GitHub notifications bot (Mar 12 2025 at 18:20):

fitzgen updated PR #10332.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 12 2025 at 18:21):

fitzgen has enabled auto merge for PR #10332.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 12 2025 at 18:56):

fitzgen merged PR #10332.


Last updated: Apr 18 2025 at 13:08 UTC