Stream: git-wasmtime

Topic: wasmtime / issue #4798 Queued cranelift-fuzzgen enhancements

view this post on Zulip Wasmtime GitHub notifications bot (Aug 27 2022 at 00:41):

jameysharp opened issue #4798:

We got a large batch of new fuzz-bugs from cranelift-fuzzgen (and cranelift-icache) this week. Some of them are bugs we don't want to fix yet because they're just x64 lowerings that aren't implemented yet, or things that we do want to test eventually but haven't built all the testing infrastructure for yet. We're trying to make sure that all the bugs we _do_ want to fix are fully dealt with before we start changing fuzzing input formats and invalidating our current test cases.

Check off these issues once they are addressed by either an already-merged fix, or by a pending PR that we aren't ready to merge yet:

And these are the PRs that we need to merge when we're satisfied with our investigations of the above issues:

I think we're ready to merge these. @afonso360 and @cfallin, do you agree?

view this post on Zulip Wasmtime GitHub notifications bot (Aug 27 2022 at 00:43):

jameysharp edited issue #4798:

We got a large batch of new fuzz-bugs from cranelift-fuzzgen (and cranelift-icache) this week. Some of them are bugs we don't want to fix yet because they're just x64 lowerings that aren't implemented yet, or things that we do want to test eventually but haven't built all the testing infrastructure for yet. We're trying to make sure that all the bugs we _do_ want to fix are fully dealt with before we start changing fuzzing input formats and invalidating our current test cases.

Check off these issues once they are addressed by either an already-merged fix, or by a pending PR that we aren't ready to merge yet:

And these are the PRs that we need to merge when we're satisfied with our investigations of the above issues:

I think we're ready to merge these. @afonso360 and @cfallin, do you agree?

view this post on Zulip Wasmtime GitHub notifications bot (Aug 27 2022 at 08:23):

afonso360 commented on issue #4798:

Yeah, I think we should be good to merge those. I'm really happy that fuzzgen is finding real bugs like https://github.com/bytecodealliance/wasmtime/pull/4752 and https://github.com/bytecodealliance/wasmtime/pull/4790 :tada:

view this post on Zulip Wasmtime GitHub notifications bot (Sep 02 2022 at 15:49):

akirilov-arm labeled issue #4798:

We got a large batch of new fuzz-bugs from cranelift-fuzzgen (and cranelift-icache) this week. Some of them are bugs we don't want to fix yet because they're just x64 lowerings that aren't implemented yet, or things that we do want to test eventually but haven't built all the testing infrastructure for yet. We're trying to make sure that all the bugs we _do_ want to fix are fully dealt with before we start changing fuzzing input formats and invalidating our current test cases.

Check off these issues once they are addressed by either an already-merged fix, or by a pending PR that we aren't ready to merge yet:

And these are the PRs that we need to merge when we're satisfied with our investigations of the above issues:

I think we're ready to merge these. @afonso360 and @cfallin, do you agree?

view this post on Zulip Wasmtime GitHub notifications bot (Sep 02 2022 at 15:49):

akirilov-arm labeled issue #4798:

We got a large batch of new fuzz-bugs from cranelift-fuzzgen (and cranelift-icache) this week. Some of them are bugs we don't want to fix yet because they're just x64 lowerings that aren't implemented yet, or things that we do want to test eventually but haven't built all the testing infrastructure for yet. We're trying to make sure that all the bugs we _do_ want to fix are fully dealt with before we start changing fuzzing input formats and invalidating our current test cases.

Check off these issues once they are addressed by either an already-merged fix, or by a pending PR that we aren't ready to merge yet:

And these are the PRs that we need to merge when we're satisfied with our investigations of the above issues:

I think we're ready to merge these. @afonso360 and @cfallin, do you agree?

view this post on Zulip Wasmtime GitHub notifications bot (Sep 02 2022 at 15:49):

github-actions[bot] commented on issue #4798:

Subscribe to Label Action

cc @fitzgen

<details>
This issue or pull request has been labeled: "fuzzing"

Thus the following users have been cc'd because of the following labels:

To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.

Learn more.
</details>

view this post on Zulip Wasmtime GitHub notifications bot (Sep 02 2022 at 23:59):

jameysharp commented on issue #4798:

...I guess I should close this since all the PRs I was tracking are merged now.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 02 2022 at 23:59):

jameysharp closed issue #4798:

We got a large batch of new fuzz-bugs from cranelift-fuzzgen (and cranelift-icache) this week. Some of them are bugs we don't want to fix yet because they're just x64 lowerings that aren't implemented yet, or things that we do want to test eventually but haven't built all the testing infrastructure for yet. We're trying to make sure that all the bugs we _do_ want to fix are fully dealt with before we start changing fuzzing input formats and invalidating our current test cases.

Check off these issues once they are addressed by either an already-merged fix, or by a pending PR that we aren't ready to merge yet:

And these are the PRs that we need to merge when we're satisfied with our investigations of the above issues:

I think we're ready to merge these. @afonso360 and @cfallin, do you agree?

Last updated: Nov 22 2024 at 17:03 UTC