From 68bf9868afae04d603810c862642c794e8eb998f Mon Sep 17 00:00:00 2001
From: Alon Zakai <alonzakai@gmail.com>
Date: Thu, 14 Jan 2016 15:14:07 -0800
Subject: add assert on wasm segments

---
 src/binaryen-shell.cpp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/binaryen-shell.cpp')

diff --git a/src/binaryen-shell.cpp b/src/binaryen-shell.cpp
index facc706a4..b0965344c 100644
--- a/src/binaryen-shell.cpp
+++ b/src/binaryen-shell.cpp
@@ -63,6 +63,7 @@ struct ShellExternalInterface : ModuleInstance::ExternalInterface {
     memory = (char*)calloc(wasm.memory.initial, 1);
     // apply memory segments
     for (auto segment : wasm.memory.segments) {
+      assert(segment.offset + segment.size <= wasm.memory.initial);
       memcpy(memory + segment.offset, segment.data, segment.size);
     }
   }
-- 
cgit v1.2.3