WasmEdge's regular load/store instructions (i32.load, i64.store, etc.) skip alignment validation at runtime. The effective address (EA) is computed and memory is accessed directly — without checking whether EA satisfies the alignment encoded in the instruction.
| Issue | What Happens |
|---|---|
| #2694 | Misaligned i32.load silently succeeds instead of trapping |
| #2733 | Fuzzer finds undefined behavior through unchecked misaligned paths |