Stream: git-wasmtime

Topic: wasmtime / PR #6273 Fix differential fuzzing when Wasmtim...


view this post on Zulip Wasmtime GitHub notifications bot (Apr 24 2023 at 14:57):

alexcrichton requested pchickey for a review on PR #6273.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 24 2023 at 14:57):

alexcrichton opened PR #6273 from alexcrichton:fix-differential-fuzz to bytecodealliance:main:

OSS-Fuzz found a case where the differential fuzzer was failing and the underlying cause was that Wasmtime was hitting an OOM while Wasmi wasn't. This meant that the two modules were producing "different results" since memories had differing lengths, but this isn't a failure we're interested in. This commit updates the differential fuzzer to discard the test case once the Wasmtime half reaches OOM.

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

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

view this post on Zulip Wasmtime GitHub notifications bot (Apr 24 2023 at 14:57):

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

view this post on Zulip Wasmtime GitHub notifications bot (Apr 24 2023 at 16:00):

pchickey submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 24 2023 at 17:32):

pchickey merged PR #6273.


Last updated: Dec 23 2024 at 12:05 UTC