Source code
Revision control
Copy as Markdown
Other Tools
// |jit-test| test-join=--spectre-mitigations=off
let { load, memory } = wasmEvalText(`(module
(memory (export "memory") i64 1)
(func (export "load") (param i64) (result i32)
(i32.load
(local.get 0)
)
)
)`).exports;
// a wasm page is 64k
let pageSize = 0x1_0000n;
// if an upper 32-bit is non-zero, the bounds check is skipped. the upper 32-bits is truncated and ignored
let fourGiB = 0x1_0000_0000n;
// there is always a wasm page sized guard after the initial memory
let guardSize = pageSize;
// the initial size of memory is 1 page
let initialSize = pageSize;
// access immediately beyond the guard region
let badAccess = fourGiB + initialSize + guardSize;
// this should trap
assertErrorMessage(() => load(badAccess), WebAssembly.RuntimeError, /out of bounds/);