-
Notifications
You must be signed in to change notification settings - Fork 25
Open
Description
Bug Report
1. Minimal reproduce step (Required)
(module
(type (;0;) (func))
(func (;0;) (type 0)
i32.const -2097153
i64.const 0
i64.store16 offset=1257956348 align=1)
(memory (;0;) 32769)
(export "to_test" (func 0)))- Transform the WAT to WASM
- Use the singlepass mode to execute it
dtvm -m singlepass -f to_test <test_case>
2. What did you expect to see? (Required)
There is a memory OOB.
3. What did you see instead (Required)
No Exception
4. What is the version of this project you are using? (Required)
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
No labels