linear_memory_wasm_test.cc 9.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312
  1. /*
  2. * Copyright (C) 2019 Intel Corporation. All rights reserved.
  3. * SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  4. */
  5. #include "test_helper.h"
  6. #include "gtest/gtest.h"
  7. #include "bh_read_file.h"
  8. #include "wasm_runtime_common.h"
  9. static std::string CWD;
  10. #if WASM_DISABLE_HW_BOUND_CHECK != 0
  11. #define TEST_SUITE_NAME linear_memory_test_suite_wasm_no_hw_bound
  12. #else
  13. #define TEST_SUITE_NAME linear_memory_test_suite_wasm
  14. #endif
  15. class TEST_SUITE_NAME : public testing::Test
  16. {
  17. protected:
  18. // You should make the members protected s.t. they can be
  19. // accessed from sub-classes.
  20. // virtual void SetUp() will be called before each test is run. You
  21. // should define it if you need to initialize the variables.
  22. // Otherwise, this can be skipped.
  23. virtual void SetUp() {}
  24. static void SetUpTestCase() { CWD = get_test_binary_dir(); }
  25. // virtual void TearDown() will be called after each test is run.
  26. // You should define it if there is cleanup work to do. Otherwise,
  27. // you don't have to provide it.
  28. //
  29. virtual void TearDown() {}
  30. WAMRRuntimeRAII<512 * 1024> runtime;
  31. };
  32. struct ret_env {
  33. wasm_exec_env_t exec_env;
  34. wasm_module_t wasm_module;
  35. wasm_module_inst_t wasm_module_inst;
  36. unsigned char *wasm_file_buf;
  37. char error_buf[128];
  38. };
  39. struct ret_env
  40. load_wasm(char *wasm_file_tested, unsigned int app_heap_size)
  41. {
  42. std::string wasm_mem_page = wasm_file_tested;
  43. const char *wasm_file = strdup((CWD + wasm_mem_page).c_str());
  44. wasm_module_inst_t wasm_module_inst = nullptr;
  45. wasm_module_t wasm_module = nullptr;
  46. wasm_exec_env_t exec_env = nullptr;
  47. unsigned char *wasm_file_buf = nullptr;
  48. unsigned int wasm_file_size = 0;
  49. unsigned int stack_size = 16 * 1024, heap_size = app_heap_size;
  50. char error_buf[128] = { 0 };
  51. struct ret_env ret_module_env;
  52. memset(ret_module_env.error_buf, 0, 128);
  53. wasm_file_buf =
  54. (unsigned char *)bh_read_file_to_buffer(wasm_file, &wasm_file_size);
  55. if (!wasm_file_buf) {
  56. goto fail;
  57. }
  58. wasm_module = wasm_runtime_load(wasm_file_buf, wasm_file_size, error_buf,
  59. sizeof(error_buf));
  60. if (!wasm_module) {
  61. memcpy(ret_module_env.error_buf, error_buf, 128);
  62. goto fail;
  63. }
  64. wasm_module_inst = wasm_runtime_instantiate(
  65. wasm_module, stack_size, heap_size, error_buf, sizeof(error_buf));
  66. if (!wasm_module_inst) {
  67. memcpy(ret_module_env.error_buf, error_buf, 128);
  68. goto fail;
  69. }
  70. exec_env = wasm_runtime_create_exec_env(wasm_module_inst, stack_size);
  71. fail:
  72. ret_module_env.exec_env = exec_env;
  73. ret_module_env.wasm_module = wasm_module;
  74. ret_module_env.wasm_module_inst = wasm_module_inst;
  75. ret_module_env.wasm_file_buf = wasm_file_buf;
  76. return ret_module_env;
  77. }
  78. void
  79. destroy_module_env(struct ret_env module_env)
  80. {
  81. if (module_env.exec_env) {
  82. wasm_runtime_destroy_exec_env(module_env.exec_env);
  83. }
  84. if (module_env.wasm_module_inst) {
  85. wasm_runtime_deinstantiate(module_env.wasm_module_inst);
  86. }
  87. if (module_env.wasm_module) {
  88. wasm_runtime_unload(module_env.wasm_module);
  89. }
  90. if (module_env.wasm_file_buf) {
  91. wasm_runtime_free(module_env.wasm_file_buf);
  92. }
  93. }
  94. TEST_F(TEST_SUITE_NAME, test_wasm_mem_page_count)
  95. {
  96. struct ret_env tmp_module_env;
  97. const char *wasm_file_normal[9] = {
  98. "/wasm_mem_page_01.wasm", "/wasm_mem_page_02.wasm",
  99. "/wasm_mem_page_05.wasm", "/wasm_mem_page_07.wasm",
  100. "/wasm_mem_page_08.wasm", "/wasm_mem_page_09.wasm",
  101. "/wasm_mem_page_10.wasm", "/wasm_mem_page_12.wasm",
  102. "/wasm_mem_page_14.wasm"
  103. };
  104. unsigned int num_normal_wasm =
  105. sizeof(wasm_file_normal) / sizeof(wasm_file_normal[0]);
  106. const char *wasm_file_error[10] = {
  107. "/wasm_mem_page_03.wasm", "/wasm_mem_page_04.wasm",
  108. "/wasm_mem_page_06.wasm", "/wasm_mem_page_11.wasm",
  109. "/wasm_mem_page_13.wasm", "/wasm_mem_page_15.wasm",
  110. "/wasm_mem_page_16.wasm", "/wasm_mem_page_17.wasm",
  111. "/wasm_mem_page_18.wasm", "/wasm_mem_page_19.wasm"
  112. };
  113. unsigned int num_error_wasm =
  114. sizeof(wasm_file_error) / sizeof(wasm_file_error[0]);
  115. // Test normal wasm file.
  116. for (int i = 0; i < num_normal_wasm; i++) {
  117. #if UINTPTR_MAX != UINT64_MAX
  118. // 32 bit do not load this wasm.
  119. if ((0 == strcmp("/wasm_mem_page_12.wasm", wasm_file_normal[i]))
  120. || (0 == strcmp("/wasm_mem_page_14.wasm", wasm_file_normal[i]))) {
  121. continue;
  122. }
  123. #endif
  124. tmp_module_env = load_wasm((char *)wasm_file_normal[i], 16 * 1024);
  125. EXPECT_NE(nullptr, tmp_module_env.wasm_module);
  126. EXPECT_NE(nullptr, tmp_module_env.wasm_file_buf);
  127. #if WASM_DISABLE_HW_BOUND_CHECK == 0
  128. EXPECT_NE(nullptr, tmp_module_env.exec_env);
  129. EXPECT_NE(nullptr, tmp_module_env.wasm_module_inst);
  130. #endif
  131. destroy_module_env(tmp_module_env);
  132. }
  133. // Test error wasm file.
  134. for (int i = 0; i < num_error_wasm; i++) {
  135. tmp_module_env = load_wasm((char *)wasm_file_error[i], 16 * 1024);
  136. if (0 != strlen(tmp_module_env.error_buf)) {
  137. EXPECT_EQ(0, strncmp("WASM module",
  138. (const char *)tmp_module_env.error_buf, 11));
  139. }
  140. destroy_module_env(tmp_module_env);
  141. }
  142. }
  143. TEST_F(TEST_SUITE_NAME, test_wasm_about_app_heap)
  144. {
  145. struct ret_env tmp_module_env;
  146. // Test case: init_page_count = 65536, app heap size = 1.
  147. tmp_module_env = load_wasm((char *)"/wasm_mem_page_03.wasm", 1);
  148. EXPECT_EQ(0, strncmp("WASM module instantiate failed",
  149. (const char *)tmp_module_env.error_buf, 30));
  150. destroy_module_env(tmp_module_env);
  151. // Test case: init_page_count = 65535, app heap size = 65537.
  152. tmp_module_env = load_wasm((char *)"/wasm_mem_page_20.wasm", 65537);
  153. EXPECT_EQ(0, strncmp("WASM module instantiate failed",
  154. (const char *)tmp_module_env.error_buf, 30));
  155. destroy_module_env(tmp_module_env);
  156. }
  157. TEST_F(TEST_SUITE_NAME, test_throw_exception_out_of_bounds)
  158. {
  159. struct ret_env tmp_module_env;
  160. WASMFunctionInstanceCommon *func = nullptr;
  161. bool ret = false;
  162. uint32 argv[1] = { 9999 * 64 * 1024 };
  163. const char *exception = nullptr;
  164. tmp_module_env = load_wasm((char *)"/out_of_bounds.wasm", 16 * 1024);
  165. func =
  166. wasm_runtime_lookup_function(tmp_module_env.wasm_module_inst, "load");
  167. if (!func) {
  168. printf("\nFailed to wasm_runtime_lookup_function!\n");
  169. goto failed_out_of_bounds;
  170. }
  171. ret = wasm_runtime_call_wasm(tmp_module_env.exec_env, func, 1, argv);
  172. if (!ret) {
  173. printf("\nFailed to wasm_runtime_call_wasm!\n");
  174. }
  175. exception = wasm_runtime_get_exception(tmp_module_env.wasm_module_inst);
  176. EXPECT_EQ(0,
  177. strncmp("Exception: out of bounds memory access", exception, 38));
  178. failed_out_of_bounds:
  179. destroy_module_env(tmp_module_env);
  180. }
  181. TEST_F(TEST_SUITE_NAME, test_mem_grow_out_of_bounds)
  182. {
  183. struct ret_env tmp_module_env;
  184. WASMFunctionInstanceCommon *func_mem_grow = nullptr;
  185. WASMFunctionInstanceCommon *func_mem_size = nullptr;
  186. bool ret = false;
  187. // after refactor, the 65536 pages to one 4G page optimization is removed
  188. // the size can be 65536 now, so use 2 + 65535 to test OOB
  189. uint32 argv[1] = { 65535 };
  190. const char *exception = nullptr;
  191. // Test case: module((memory 2)), memory.grow 65535, then memory.size.
  192. tmp_module_env = load_wasm((char *)"/mem_grow_out_of_bounds_01.wasm", 0);
  193. func_mem_grow = wasm_runtime_lookup_function(
  194. tmp_module_env.wasm_module_inst, "mem_grow");
  195. if (!func_mem_grow) {
  196. printf("\nFailed to wasm_runtime_lookup_function!\n");
  197. goto failed_out_of_bounds;
  198. }
  199. func_mem_size = wasm_runtime_lookup_function(
  200. tmp_module_env.wasm_module_inst, "mem_size");
  201. if (!func_mem_size) {
  202. printf("\nFailed to wasm_runtime_lookup_function!\n");
  203. goto failed_out_of_bounds;
  204. }
  205. ret =
  206. wasm_runtime_call_wasm(tmp_module_env.exec_env, func_mem_grow, 1, argv);
  207. if (!ret) {
  208. printf("\nFailed to wasm_runtime_call_wasm!\n");
  209. goto failed_out_of_bounds;
  210. }
  211. EXPECT_EQ(-1, argv[0]);
  212. ret =
  213. wasm_runtime_call_wasm(tmp_module_env.exec_env, func_mem_size, 0, argv);
  214. if (!ret) {
  215. printf("\nFailed to wasm_runtime_call_wasm!\n");
  216. goto failed_out_of_bounds;
  217. }
  218. EXPECT_EQ(2, argv[0]);
  219. // Test case: wasm_runtime_instantiate(heap_size=32768), memory.grow 65535,
  220. // memory.grow 1.
  221. destroy_module_env(tmp_module_env);
  222. tmp_module_env =
  223. load_wasm((char *)"/mem_grow_out_of_bounds_02.wasm", 32768);
  224. func_mem_grow = wasm_runtime_lookup_function(
  225. tmp_module_env.wasm_module_inst, "mem_grow");
  226. if (!func_mem_grow) {
  227. printf("\nFailed to wasm_runtime_lookup_function!\n");
  228. goto failed_out_of_bounds;
  229. }
  230. func_mem_size = wasm_runtime_lookup_function(
  231. tmp_module_env.wasm_module_inst, "mem_size");
  232. if (!func_mem_size) {
  233. printf("\nFailed to wasm_runtime_lookup_function!\n");
  234. goto failed_out_of_bounds;
  235. }
  236. ret =
  237. wasm_runtime_call_wasm(tmp_module_env.exec_env, func_mem_size, 0, argv);
  238. if (!ret) {
  239. printf("\nFailed to wasm_runtime_call_wasm!\n");
  240. goto failed_out_of_bounds;
  241. }
  242. EXPECT_EQ(2, argv[0]);
  243. argv[0] = 65535;
  244. ret =
  245. wasm_runtime_call_wasm(tmp_module_env.exec_env, func_mem_grow, 1, argv);
  246. if (!ret) {
  247. printf("\nFailed to wasm_runtime_call_wasm!\n");
  248. goto failed_out_of_bounds;
  249. }
  250. EXPECT_NE(2, argv[0]);
  251. argv[0] = 1;
  252. ret =
  253. wasm_runtime_call_wasm(tmp_module_env.exec_env, func_mem_grow, 1, argv);
  254. if (!ret) {
  255. printf("\nFailed to wasm_runtime_call_wasm!\n");
  256. goto failed_out_of_bounds;
  257. }
  258. EXPECT_EQ(2, argv[0]);
  259. failed_out_of_bounds:
  260. destroy_module_env(tmp_module_env);
  261. }