Stream: git-wasmtime

Topic: wasmtime / PR #3797 Agenda item 03-17


view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 14 2022 at 14:29):

tschneidereit submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 14 2022 at 14:29):

tschneidereit merged PR #3797.


Last updated: Dec 23 2024 at 13:07 UTC