Stream: git-wasmtime

Topic: wasmtime / PR #6820 Memcheck for Wasm guests in Wasmtime

view this post on Zulip Wasmtime GitHub notifications bot (Aug 10 2023 at 21:50):

cfallin edited PR #6820:

This PR introduces wmemcheck, a memory checker for a Wasm guest running inside Wasmtime.

wmemcheck operates by recognizing calls to malloc and free inside the Wasm module, and tracking which bytes are valid. It then instruments loads and stores and flags errors when accesses are invalid. This is inspired by the memcheck tool in Valgrind, hence the name.

The functionality is off by default and is enabled with wasmtime run --wmemcheck.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 10 2023 at 22:12):

iximeow submitted PR review:

cross-acking @cfallin's commits, but also generally happy to approve. thanks so much for your work on this Sophia!

i know there are a few open comments here but they're all small enough we can do followup PRs specifically oriented towards f.ex docs/wmemcheck.md and usage advice. so, seems good!

view this post on Zulip Wasmtime GitHub notifications bot (Aug 10 2023 at 22:17):

cfallin edited PR #6820:

This PR introduces wmemcheck, a memory checker for a Wasm guest running inside Wasmtime.

wmemcheck operates by recognizing calls to malloc and free inside the Wasm module, and tracking which bytes are valid. It then instruments loads and stores and flags errors when accesses are invalid. This is inspired by the memcheck tool in Valgrind, hence the name.

The functionality is off by default and is enabled with wasmtime run --wmemcheck.

Co-authored-by: Chris Fallin <chris@cfallin.org>
Co-authored-by: iximeow <me@iximeow.net>

view this post on Zulip Wasmtime GitHub notifications bot (Aug 10 2023 at 22:21):

cfallin updated PR #6820.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 10 2023 at 22:21):

cfallin has enabled auto merge for PR #6820.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 11 2023 at 01:59):

cfallin updated PR #6820.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 11 2023 at 02:10):

cfallin has enabled auto merge for PR #6820.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 11 2023 at 02:41):

cfallin updated PR #6820.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 11 2023 at 02:41):

cfallin has enabled auto merge for PR #6820.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 14 2023 at 15:31):

cfallin updated PR #6820.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 14 2023 at 15:37):

cfallin updated PR #6820.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 14 2023 at 15:38):

cfallin has enabled auto merge for PR #6820.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 14 2023 at 16:31):

cfallin updated PR #6820.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 14 2023 at 16:32):

cfallin has enabled auto merge for PR #6820.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 16 2023 at 03:21):

cfallin updated PR #6820.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 16 2023 at 04:25):

cfallin merged PR #6820.

Last updated: Dec 23 2024 at 13:07 UTC