Stream: git-wasmtime

Topic: wasmtime / issue #9026 Handling pointer provenance in Pulley


view this post on Zulip Wasmtime GitHub notifications bot (Jul 26 2024 at 19:14):

alexcrichton opened issue #9026:

This started out as https://github.com/bytecodealliance/wasmtime/issues/9015 but I'm evolving this now to be about Pulley specifically. Current thinking is that Pulley will not be compatible with -Zmiri-strict-provenance, but changes are necessary to make it compatible with -Zmiri-permissive-provenance. I believe the concrete of changes are:

Right now expose_provenance and with_exposed_provenance are unstable so I don't believe that this is actionable at this time, but I wanted to write this down for later.

cc @fitzgen

view this post on Zulip Wasmtime GitHub notifications bot (Jul 26 2024 at 19:15):

alexcrichton commented on issue #9026:

Ralf also pointed to https://github.com/rust-lang/unsafe-code-guidelines/issues/497 which has some interesting discussion and I believe reaches a similar conclusion.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 29 2024 at 15:57):

fitzgen commented on issue #9026:

Ralf also pointed to rust-lang/unsafe-code-guidelines#497 which has some interesting discussion and I believe reaches a similar conclusion.

This comment from Ralf, in particular, seems to summarize our recent discussions: https://github.com/rust-lang/unsafe-code-guidelines/issues/497#issuecomment-2003100550


Last updated: Dec 23 2024 at 12:05 UTC