Stream: git-wasmtime

Topic: wasmtime / issue #3175 fuzz: fully fuzz Wasmtime against ...

Wasmtime GitHub notifications bot (Aug 10 2021 at 18:23):

abrown opened issue #3175:

https://github.com/bytecodealliance/wasmtime/pull/3124 adds the initial steps for fuzzing Wasmtime against the official WebAssembly spec interpreter. There are several pieces to finish for more complete coverage:

• [ ] After execution, compare the memory contents of Wasmtime against the memory contents of the spec interpreter
• [ ] After execution, compare the global values of the module in Wasmtime against those in the spec interpreter
• [ ] Add support in the wasm-spec-interpreter crate for v128 types; this implies turning on SIMD for the differential_spec fuzz target as well as merging the Wasm SIMD proposal into https://github.com/bytecodealliance/wasm-spec-mirror.
• [ ] Add support in the wasm-spec-interpreter crate for ref types
  

Wasmtime GitHub notifications bot (Aug 23 2022 at 20:28):

abrown edited issue #3175:

https://github.com/bytecodealliance/wasmtime/pull/3124 adds the initial steps for fuzzing Wasmtime against the official WebAssembly spec interpreter. There are several pieces to finish for more complete coverage:

• [ ] After execution, compare the memory contents of Wasmtime against the memory contents of the spec interpreter
• [ ] After execution, compare the global values of the module in Wasmtime against those in the spec interpreter
• [x] Add support in the wasm-spec-interpreter crate for v128 types; this implies turning on SIMD for the differential_spec fuzz target as well as merging the Wasm SIMD proposal into https://github.com/bytecodealliance/wasm-spec-mirror.
• [ ] Add support in the wasm-spec-interpreter crate for ref types
  

Wasmtime GitHub notifications bot (Aug 23 2022 at 20:29):

abrown commented on issue #3175:

SIMD support added by @conrad-watt in #3843.

Wasmtime GitHub notifications bot (Dec 02 2022 at 00:16):

alexcrichton commented on issue #3175:

This is more-or-less done now modulo reference types, but that seems ok for now so I'm going to close.

Wasmtime GitHub notifications bot (Dec 02 2022 at 00:16):

alexcrichton closed issue #3175:

https://github.com/bytecodealliance/wasmtime/pull/3124 adds the initial steps for fuzzing Wasmtime against the official WebAssembly spec interpreter. There are several pieces to finish for more complete coverage:

• [ ] After execution, compare the memory contents of Wasmtime against the memory contents of the spec interpreter
• [ ] After execution, compare the global values of the module in Wasmtime against those in the spec interpreter
• [x] Add support in the wasm-spec-interpreter crate for v128 types; this implies turning on SIMD for the differential_spec fuzz target as well as merging the Wasm SIMD proposal into https://github.com/bytecodealliance/wasm-spec-mirror.
• [ ] Add support in the wasm-spec-interpreter crate for ref types
  

Last updated: Oct 23 2024 at 20:03 UTC