Skip to content

Better const fuzzing#2972

Merged
kripken merged 4 commits into
masterfrom
const2
Jul 30, 2020
Merged

Better const fuzzing#2972
kripken merged 4 commits into
masterfrom
const2

Conversation

@kripken

@kripken kripken commented Jul 21, 2020

Copy link
Copy Markdown
Member

Tweak floating-point numbers with not just a +-1 integer, but also a
float in [-1, 1].

Apply a tweak to powers of 2 as well.

@kripken

kripken commented Jul 21, 2020

Copy link
Copy Markdown
Member Author

This would have more easily found #2968, and has already found a new bug in just a few hours of fuzzing (WebAssembly/spec#1224)

@kripken kripken requested a review from aheejin July 21, 2020 20:41
@kripken

kripken commented Jul 22, 2020

Copy link
Copy Markdown
Member Author

This is finding multiple bugs now...(!) Not landing until those are all fixed.

@kripken

kripken commented Jul 30, 2020

Copy link
Copy Markdown
Member Author

The bugs found have been fixed in the spec, binaryen, wabt, and jsc, so landing.

@kripken kripken merged commit 6733a05 into master Jul 30, 2020
@kripken kripken deleted the const2 branch July 30, 2020 18:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants