Stream: git-wasmtime

Topic: wasmtime / PR #11006 Execute component lifts/lowers with ...

Wasmtime GitHub notifications bot (Jun 10 2025 at 20:02):

alexcrichton requested fitzgen for a review on PR #11006.

Wasmtime GitHub notifications bot (Jun 10 2025 at 20:02):

alexcrichton opened PR #11006 from alexcrichton:miri-components to bytecodealliance:main:

Historically nothing related to components has been able to run through Miri due to the limitation that components, unlike core wasm, require compiled wasm code to call between the host and the guest. With the advent of Pulley, however, this has changed! We already have a test that's run specifically on CI which precompiles a wasm module on the host and then uses the *.cwasm in Miri, so this does the same for components.

This adds a new test which instantiates a component and then runs lifts/lowers for some basic types with the static and dynamic host APIs. This is intended to weed out a large class of possible soundness issues but doesn't touch on all the unsafe code that we have at this time. Nevertheless there's a lot more run through Miri than before and a few minor locations were fixed up as a result. The hope is that this can serve as a basis for extending the set of component tests in Miri over time.

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

• If this work has been discussed elsewhere, please include a link to that
  conversation. If it was discussed in an issue, just mention "issue #...".

• Explain why this change is needed. If the details are in an issue already,
  this can be brief.

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
-->

Wasmtime GitHub notifications bot (Jun 10 2025 at 20:02):

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

Wasmtime GitHub notifications bot (Jun 10 2025 at 20:02):

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

Wasmtime GitHub notifications bot (Jun 10 2025 at 20:12):

alexcrichton updated PR #11006.

Wasmtime GitHub notifications bot (Jun 10 2025 at 20:18):

alexcrichton updated PR #11006.

Wasmtime GitHub notifications bot (Jun 10 2025 at 22:32):

pchickey submitted PR review.

Wasmtime GitHub notifications bot (Jun 11 2025 at 00:58):

alexcrichton merged PR #11006.

Last updated: Dec 06 2025 at 06:05 UTC