Wasmtime GitHub notifications bot (Feb 14 2022 at 13:44): Wasmtime GitHub notifications bot (Feb 14 2022 at 13:44):conrad-watt opened PR #3797 from patch-1 to main:
A while ago, it was observed that the official reference interpreter has performance issues which limit its usefulness as a fuzzing oracle. I currently maintain a fork of the reference interpreter which implements some optimisations to avoid the quadratic behaviour above. The core of this interpreter is a verified definition generated from my mechanisation of Wasm's semantics.
I've been speaking to @cfallin, @alexcrichton, @abrown, and @fitzgen about the feasibility of using this interpreter as a fuzzing oracle, and they suggested I bring this idea up for wider discussion in a Wasmtime meeting.
Wasmtime GitHub notifications bot (Feb 14 2022 at 13:49):conrad-watt edited PR #3797 from patch-1 to main:
A while ago, it was observed that the official reference interpreter has performance issues which limit its usefulness as a fuzzing oracle. I currently maintain a fork of the reference interpreter which uses a more efficient representation of Wasm's runtime state, avoiding the quadratic behaviour above. The core of this interpreter is a generated from and verified against my mechanisation of Wasm's semantics.
I've been speaking to @cfallin, @alexcrichton, @abrown, and @fitzgen about the feasibility of using this interpreter as a fuzzing oracle, and they suggested I bring this idea up for wider discussion in a Wasmtime meeting.
Wasmtime GitHub notifications bot (Feb 14 2022 at 14:29):tschneidereit submitted PR review.
Wasmtime GitHub notifications bot (Feb 14 2022 at 14:29):tschneidereit merged PR #3797.
Last updated: Oct 23 2024 at 20:03 UTC