Stream: git-wasmtime

Topic: wasmtime / PR #3094 Cranelift CLIF Fuzzer generate blocks...

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

afonso360 opened PR #3094 from fuzzer-branching to main:

Hey,

Continuing the implementation of the CLIF Fuzzer (tracked in #3050), this PR implements block generation and generating basic branch instructions (jump, brnz, brz, br_icmp).

In this implementation we generate all blocks and signatures up front, and then while generating instructions pick random target blocks to jump to.

This PR is based on top of #3062 which should be merged soon. But I wanted to present this first because i'm having some issues which I can't tell if they are real crashes or a wrong implementation on my side.

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

afonso360 edited PR #3094 from fuzzer-branching to main:

Hey,

Continuing the implementation of the CLIF Fuzzer (tracked in #3050), this PR implements block generation and generating basic branch instructions (jump, brnz, brz, br_icmp).

In this implementation we generate all blocks and signatures up front, and then while generating instructions pick random target blocks to jump to.

This PR is based on top of #3062 which should be merged soon. But I think we can get some issues sorted out while waiting for that to be merged.

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

afonso360 edited PR #3094 from fuzzer-branching to main:

Hey,

Continuing the implementation of the CLIF Fuzzer (tracked in #3050), this PR implements block generation and generating basic branch instructions (jump, brnz, brz, br_icmp).

In this implementation we generate all blocks and signatures up front, and then while generating instructions pick random target blocks to jump to.

This PR is based on top of #3062 which should be merged soon, but I think we can get some issues sorted out while waiting for that to be merged.

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

afonso360 updated PR #3094 from fuzzer-branching to main.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 01 2021 at 08:24):

afonso360 updated PR #3094 from fuzzer-branching to main.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 01 2021 at 19:21):

afonso360 updated PR #3094 from fuzzer-branching to main.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 03 2021 at 17:29):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 03 2021 at 17:30):

cfallin merged PR #3094.

Last updated: Dec 23 2024 at 12:05 UTC