Stream: git-wasmtime

Topic: wasmtime / PR #13369 New fuzz generator and oracle for GC...

view this post on Zulip Wasmtime GitHub notifications bot (May 15 2026 at 21:28):

fitzgen edited PR #13369.

view this post on Zulip Wasmtime GitHub notifications bot (May 15 2026 at 21:30):

fitzgen edited PR #13369:

Introduce a new fuzz generator and oracle pair that gets/creates an object, accesses it, does a GC, and then asserts it still has the expected value. And it does that a few times inside loops and such in a way that if we mis-optimize (bad GVN/LICM) then we should trigger assertion failures.

view this post on Zulip Wasmtime GitHub notifications bot (May 15 2026 at 23:53):

:thumbs_up: alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (May 15 2026 at 23:53):

:speech_balloon: alexcrichton created PR review comment:

When doing this, mind moving the default-enabling of v8 from the wasmtime-fuzzing crate to the wasmtime-fuzz harness at fuzz/Cargo.toml? Otherwise I think this change will turn off v8 fuzzing by default on oss-fuzz

view this post on Zulip Wasmtime GitHub notifications bot (May 16 2026 at 03:57):

github-actions[bot] added the label fuzzing on PR #13369.

view this post on Zulip Wasmtime GitHub notifications bot (May 16 2026 at 03:58):

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

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:

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 (May 18 2026 at 17:16):

fitzgen updated PR #13369.

view this post on Zulip Wasmtime GitHub notifications bot (May 18 2026 at 17:17):

fitzgen has enabled auto merge for PR #13369.

view this post on Zulip Wasmtime GitHub notifications bot (May 18 2026 at 17:28):

fitzgen added PR #13369 New fuzz generator and oracle for GC object accesses to the merge queue.

view this post on Zulip Wasmtime GitHub notifications bot (May 18 2026 at 17:52):

github-merge-queue[bot] removed PR #13369 New fuzz generator and oracle for GC object accesses from the merge queue.

view this post on Zulip Wasmtime GitHub notifications bot (May 18 2026 at 18:37):

fitzgen commented on PR #13369:

I believe that the CI failures are due to the regression fixed in https://github.com/bytecodealliance/wasmtime/pull/13402

Will rebase once that merges.

view this post on Zulip Wasmtime GitHub notifications bot (May 18 2026 at 20:34):

fitzgen updated PR #13369.

view this post on Zulip Wasmtime GitHub notifications bot (May 18 2026 at 20:34):

fitzgen has enabled auto merge for PR #13369.

view this post on Zulip Wasmtime GitHub notifications bot (May 18 2026 at 20:45):

fitzgen added PR #13369 New fuzz generator and oracle for GC object accesses to the merge queue.

view this post on Zulip Wasmtime GitHub notifications bot (May 18 2026 at 21:09):

:check: fitzgen merged PR #13369.

view this post on Zulip Wasmtime GitHub notifications bot (May 18 2026 at 21:09):

fitzgen removed PR #13369 New fuzz generator and oracle for GC object accesses from the merge queue.

Last updated: Jun 01 2026 at 09:49 UTC