asm-js / validator

A reference validator for asm.js.
Apache License 2.0
1.78k stars 148 forks source link

enforce shifting of heap loads and stores #29

Closed dherman closed 11 years ago

dherman commented 12 years ago

Formula:

a[(p&K)>>k]

where a is a b-bit array type, k = b/8 and K is a power of 2 minus 1.