Stream: git-wasmtime

Topic: wasmtime / PR #3051 cranelift: Add fuel mechanism to the ...


view this post on Zulip Wasmtime GitHub notifications bot (Jul 02 2021 at 11:02):

afonso360 opened PR #3051 from interpreter-fuel to main:

Hey,

A precursor to adding control flow to the CLIF fuzzer is being able to stop infinite loops, we planned to do this by limiting the number of instructions allowed in the interpreter before running on the host.

This PR adds a fuel mechanism similar to what we have in wasmtime.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 02 2021 at 11:07):

bjorn3 submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 02 2021 at 11:07):

bjorn3 created PR review comment:

            Some(ref mut n) => {
                *n -= 1;

view this post on Zulip Wasmtime GitHub notifications bot (Jul 02 2021 at 12:01):

afonso360 updated PR #3051 from interpreter-fuel to main.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 02 2021 at 13:25):

abrown submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 02 2021 at 13:26):

abrown merged PR #3051.


Last updated: Dec 23 2024 at 13:07 UTC