Stream: git-wasmtime

Topic: wasmtime / PR #10386 Update Wasmi fuzzing oracle to v0.42

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

Robbepop opened PR #10386 from Robbepop:rf-update-wasmi-for-fuzzing-v0.42 to bytecodealliance:main:

Wasmi v0.42 now supports the following Wasm proposals:

I think they are a welcome addition for Wasmtime's differential fuzzing. :)

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

Robbepop requested alexcrichton for a review on PR #10386.

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

Robbepop requested wasmtime-fuzz-reviewers for a review on PR #10386.

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

Robbepop requested wasmtime-default-reviewers for a review on PR #10386.

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

fitzgen submitted PR review:

Nice! Thanks!

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

fitzgen commented on PR #10386:

This will need a cargo vet before landing. Don't have time at this exact moment but can maybe get to it later today if no one else beats me to it.

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

Robbepop commented on PR #10386:

If it helps we could even disable some crate features that are not strictly needed for differential fuzzing, such as wat (Wat files support) and we could enable prefer-btree-collections to avoid the dependency on string-interner and transitively also hashbrown.

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

Robbepop edited a comment on PR #10386:

If it helps we could even disable some crate features that are not strictly needed for differential fuzzing, such as wat (Wat files support) and we could enable prefer-btree-collections to avoid the dependency on string-interner and transitively also hashbrown:

wasmi = { version = "0.42.0", default-features = false, features = ["prefer-btree-collections"] }

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

Robbepop edited a comment on PR #10386:

If it helps we could even disable some crate features that are not strictly needed for differential fuzzing, such as wat (Wat files support) and we could enable prefer-btree-collections to avoid the dependency on string-interner and transitively also hashbrown:

wasmi = { version = "0.42.0", default-features = false, features = ["std", "prefer-btree-collections"] }

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

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

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 (Mar 12 2025 at 22:52):

alexcrichton updated PR #10386.

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

alexcrichton has enabled auto merge for PR #10386.

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

alexcrichton merged PR #10386.

Last updated: Apr 16 2025 at 23:03 UTC