Stream: git-wasmtime

Topic: wasmtime / issue #7037 Memory checker (wmemcheck) complet...


view this post on Zulip Wasmtime GitHub notifications bot (Sep 14 2023 at 17:44):

cfallin opened issue #7037:

This issue is meant to track what remains to make wmemcheck feature-complete and robust enough for practical use:

cc @iximeow for more thoughts, and others from today's Wasmtime meeting?

view this post on Zulip Wasmtime GitHub notifications bot (Sep 15 2023 at 15:39):

iximeow commented on issue #7037:

@alexcrichton noted earlier that it would be good to have:

and since wmemcheck doesn't support multiple memories (though we ought to make it so!),

view this post on Zulip Wasmtime GitHub notifications bot (Sep 15 2023 at 15:40):

iximeow edited a comment on issue #7037:

@alexcrichton noted earlier that it would be good to have:

and since wmemcheck doesn't support multiple memories (though we ought to make it so!),

or add that support multiple memories. but i think that's maybe a step after "robust enough for practical use" in terms of effort, warning seems more expedient for now :)


Last updated: Dec 23 2024 at 13:07 UTC