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)
78a5573
Bug Report
1. Minimal reproduce step (Required)
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)
78a5573