-
Notifications
You must be signed in to change notification settings - Fork 1.3k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
CLIF interpreter: handle divide-by-zero traps #3058
Comments
afonso360
added a commit
to afonso360/wasmtime
that referenced
this issue
Jul 21, 2021
afonso360
added a commit
to afonso360/wasmtime
that referenced
this issue
Jul 21, 2021
afonso360
added a commit
to afonso360/wasmtime
that referenced
this issue
Jul 21, 2021
afonso360
added a commit
to afonso360/wasmtime
that referenced
this issue
Jul 21, 2021
abrown
pushed a commit
that referenced
this issue
Jul 22, 2021
wgwoods
pushed a commit
to wgwoods/wasmtime
that referenced
this issue
Jul 29, 2021
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
We received an oss-fuzz bug report yesterday with a very simple test case:
with
v0 = 0
as input.We don't yet handle traps in the differential fuzzing (one step in the checklist in #3050) so this might be an easy starting-point for that issue: we should refactor the interpreter to carry through a
Result
of some sort such that traps propagate upward, and then reject inputs that trap.cc @afonso360 @abrown
The text was updated successfully, but these errors were encountered: