Stream: git-wasmtime

Topic: wasmtime / PR #2185 Expand modules instantiated in instan...


view this post on Zulip Wasmtime GitHub notifications bot (Sep 03 2020 at 19:16):

alexcrichton opened PR #2185 from fuzz-maybe-invalid to main:

This commit uses the new MaybeInvalidModule type in wasm-smith to
try to explore more points in the fuzz target space in the
instantiate-wasm-smith fuzz target. The goal here is to use the raw
fuzz input as the body of a function to stress the validator/decoder a
bit more, and try to get inputs we might not otherwise generate.

This also removes the reliance on inherent termination of the wasm
module, instead using the timeout mechanism in wasmtime to ensure that
wasm runs for a limited amount of time.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 04 2020 at 17:09):

fitzgen submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 04 2020 at 17:10):

fitzgen submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 08 2020 at 17:29):

alexcrichton updated PR #2185 from fuzz-maybe-invalid to main:

This commit uses the new MaybeInvalidModule type in wasm-smith to
try to explore more points in the fuzz target space in the
instantiate-wasm-smith fuzz target. The goal here is to use the raw
fuzz input as the body of a function to stress the validator/decoder a
bit more, and try to get inputs we might not otherwise generate.

This also removes the reliance on inherent termination of the wasm
module, instead using the timeout mechanism in wasmtime to ensure that
wasm runs for a limited amount of time.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 08 2020 at 21:27):

alexcrichton updated PR #2185 from fuzz-maybe-invalid to main:

This commit uses the new MaybeInvalidModule type in wasm-smith to
try to explore more points in the fuzz target space in the
instantiate-wasm-smith fuzz target. The goal here is to use the raw
fuzz input as the body of a function to stress the validator/decoder a
bit more, and try to get inputs we might not otherwise generate.

This also removes the reliance on inherent termination of the wasm
module, instead using the timeout mechanism in wasmtime to ensure that
wasm runs for a limited amount of time.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 08 2020 at 21:29):

alexcrichton updated PR #2185 from fuzz-maybe-invalid to main:

This commit uses the new MaybeInvalidModule type in wasm-smith to
try to explore more points in the fuzz target space in the
instantiate-wasm-smith fuzz target. The goal here is to use the raw
fuzz input as the body of a function to stress the validator/decoder a
bit more, and try to get inputs we might not otherwise generate.

This also removes the reliance on inherent termination of the wasm
module, instead using the timeout mechanism in wasmtime to ensure that
wasm runs for a limited amount of time.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 09 2020 at 00:05):

fitzgen submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 09 2020 at 00:05):

fitzgen merged PR #2185.


Last updated: Dec 23 2024 at 13:07 UTC