Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1 | // Copyright 2015 the V8 project authors. All rights reserved. |
| 2 | // Use of this source code is governed by a BSD-style license that can be |
| 3 | // found in the LICENSE file. |
| 4 | |
| 5 | #include "test/unittests/test-utils.h" |
| 6 | |
| 7 | #include "src/wasm/module-decoder.h" |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 8 | #include "src/wasm/wasm-macro-gen.h" |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 9 | #include "src/wasm/wasm-opcodes.h" |
| 10 | |
| 11 | namespace v8 { |
| 12 | namespace internal { |
| 13 | namespace wasm { |
| 14 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 15 | #define EMPTY_FUNCTION(sig_index) 0, SIG_INDEX(sig_index), U16_LE(0) |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 16 | #define SIZEOF_EMPTY_FUNCTION ((size_t)5) |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 17 | #define EMPTY_BODY 0 |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 18 | #define SIZEOF_EMPTY_BODY ((size_t)1) |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 19 | #define NOP_BODY 2, 0, kExprNop |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 20 | #define SIZEOF_NOP_BODY ((size_t)3) |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 21 | |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 22 | #define SIG_ENTRY_i_i SIG_ENTRY_x_x(kLocalI32, kLocalI32) |
| 23 | |
| 24 | #define UNKNOWN_EMPTY_SECTION_NAME 1, '\0' |
| 25 | #define UNKNOWN_SECTION_NAME 4, 'l', 'u', 'l', 'z' |
| 26 | |
| 27 | #define SECTION(NAME, EXTRA_SIZE) WASM_SECTION_##NAME, U32V_1(EXTRA_SIZE) |
| 28 | |
| 29 | #define SIGNATURES_SECTION(count, ...) \ |
| 30 | SECTION(SIGNATURES, 1 + 3 * (count)), U32V_1(count), __VA_ARGS__ |
| 31 | #define FUNCTION_SIGNATURES_SECTION(count, ...) \ |
| 32 | SECTION(FUNCTION_SIGNATURES, 1 + (count)), U32V_1(count), __VA_ARGS__ |
| 33 | |
| 34 | #define FOO_STRING 3, 'f', 'o', 'o' |
| 35 | #define NO_LOCAL_NAMES 0 |
| 36 | |
| 37 | #define EMPTY_SIGNATURES_SECTION SECTION(SIGNATURES, 1), 0 |
| 38 | #define EMPTY_FUNCTION_SIGNATURES_SECTION SECTION(FUNCTION_SIGNATURES, 1), 0 |
| 39 | #define EMPTY_FUNCTION_BODIES_SECTION SECTION(FUNCTION_BODIES, 1), 0 |
| 40 | #define EMPTY_NAMES_SECTION SECTION(NAMES, 1), 0 |
| 41 | |
| 42 | #define SIGNATURES_SECTION_VOID_VOID \ |
| 43 | SECTION(SIGNATURES, 1 + SIZEOF_SIG_ENTRY_v_v), 1, SIG_ENTRY_v_v |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 44 | |
| 45 | #define EXPECT_VERIFIES(data) \ |
| 46 | do { \ |
| 47 | ModuleResult result = DecodeModule(data, data + arraysize(data)); \ |
| 48 | EXPECT_TRUE(result.ok()); \ |
| 49 | if (result.val) delete result.val; \ |
| 50 | } while (false) |
| 51 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 52 | #define EXPECT_FAILURE_LEN(data, length) \ |
| 53 | do { \ |
| 54 | ModuleResult result = DecodeModule(data, data + length); \ |
| 55 | EXPECT_FALSE(result.ok()); \ |
| 56 | if (result.val) delete result.val; \ |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 57 | } while (false) |
| 58 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 59 | #define EXPECT_FAILURE(data) EXPECT_FAILURE_LEN(data, sizeof(data)) |
| 60 | |
| 61 | #define EXPECT_OFF_END_FAILURE(data, min, max) \ |
| 62 | do { \ |
| 63 | for (size_t length = min; length < max; length++) { \ |
| 64 | EXPECT_FAILURE_LEN(data, length); \ |
| 65 | } \ |
| 66 | } while (false) |
| 67 | |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 68 | #define EXPECT_OK(result) \ |
| 69 | do { \ |
| 70 | EXPECT_TRUE(result.ok()); \ |
| 71 | if (!result.ok()) { \ |
| 72 | if (result.val) delete result.val; \ |
| 73 | return; \ |
| 74 | } \ |
| 75 | } while (false) |
| 76 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 77 | static size_t SizeOfVarInt(size_t value) { |
| 78 | size_t size = 0; |
| 79 | do { |
| 80 | size++; |
| 81 | value = value >> 7; |
| 82 | } while (value > 0); |
| 83 | return size; |
| 84 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 85 | |
| 86 | struct LocalTypePair { |
| 87 | uint8_t code; |
| 88 | LocalType type; |
| 89 | } kLocalTypes[] = {{kLocalI32, kAstI32}, |
| 90 | {kLocalI64, kAstI64}, |
| 91 | {kLocalF32, kAstF32}, |
| 92 | {kLocalF64, kAstF64}}; |
| 93 | |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 94 | class WasmModuleVerifyTest : public TestWithIsolateAndZone { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 95 | public: |
| 96 | ModuleResult DecodeModule(const byte* module_start, const byte* module_end) { |
| 97 | // Add the WASM magic and version number automatically. |
| 98 | size_t size = static_cast<size_t>(module_end - module_start); |
| 99 | byte header[] = {WASM_MODULE_HEADER}; |
| 100 | size_t total = sizeof(header) + size; |
| 101 | auto temp = new byte[total]; |
| 102 | memcpy(temp, header, sizeof(header)); |
| 103 | memcpy(temp + sizeof(header), module_start, size); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 104 | ModuleResult result = DecodeWasmModule(isolate(), zone(), temp, |
| 105 | temp + total, false, kWasmOrigin); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 106 | delete[] temp; |
| 107 | return result; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 108 | } |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 109 | ModuleResult DecodeModuleNoHeader(const byte* module_start, |
| 110 | const byte* module_end) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 111 | return DecodeWasmModule(isolate(), zone(), module_start, module_end, false, |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 112 | kWasmOrigin); |
| 113 | } |
| 114 | }; |
| 115 | |
| 116 | TEST_F(WasmModuleVerifyTest, WrongMagic) { |
| 117 | for (uint32_t x = 1; x; x <<= 1) { |
| 118 | const byte data[] = {U32_LE(kWasmMagic ^ x), U32_LE(kWasmVersion), |
| 119 | SECTION(END, 0)}; |
| 120 | ModuleResult result = DecodeModuleNoHeader(data, data + sizeof(data)); |
| 121 | EXPECT_FALSE(result.ok()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 122 | if (result.val) delete result.val; |
| 123 | } |
| 124 | } |
| 125 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 126 | TEST_F(WasmModuleVerifyTest, WrongVersion) { |
| 127 | for (uint32_t x = 1; x; x <<= 1) { |
| 128 | const byte data[] = {U32_LE(kWasmMagic), U32_LE(kWasmVersion ^ x), |
| 129 | SECTION(END, 0)}; |
| 130 | ModuleResult result = DecodeModuleNoHeader(data, data + sizeof(data)); |
| 131 | EXPECT_FALSE(result.ok()); |
| 132 | if (result.val) delete result.val; |
| 133 | } |
| 134 | } |
| 135 | |
| 136 | TEST_F(WasmModuleVerifyTest, DecodeEmpty) { |
| 137 | static const byte data[] = {SECTION(END, 0)}; |
| 138 | EXPECT_VERIFIES(data); |
| 139 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 140 | |
| 141 | TEST_F(WasmModuleVerifyTest, OneGlobal) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 142 | static const byte data[] = { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 143 | SECTION(GLOBALS, 5), // -- |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 144 | 1, |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 145 | NAME_LENGTH(1), |
| 146 | 'g', // name |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 147 | kMemI32, // memory type |
| 148 | 0, // exported |
| 149 | }; |
| 150 | |
| 151 | { |
| 152 | // Should decode to exactly one global. |
| 153 | ModuleResult result = DecodeModule(data, data + arraysize(data)); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 154 | EXPECT_OK(result); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 155 | EXPECT_EQ(1, result.val->globals.size()); |
| 156 | EXPECT_EQ(0, result.val->functions.size()); |
| 157 | EXPECT_EQ(0, result.val->data_segments.size()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 158 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 159 | WasmGlobal* global = &result.val->globals.back(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 160 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 161 | EXPECT_EQ(1, global->name_length); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 162 | EXPECT_EQ(MachineType::Int32(), global->type); |
| 163 | EXPECT_EQ(0, global->offset); |
| 164 | EXPECT_FALSE(global->exported); |
| 165 | |
| 166 | if (result.val) delete result.val; |
| 167 | } |
| 168 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 169 | EXPECT_OFF_END_FAILURE(data, 1, sizeof(data)); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 170 | } |
| 171 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 172 | TEST_F(WasmModuleVerifyTest, ZeroGlobals) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 173 | static const byte data[] = { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 174 | SECTION(GLOBALS, 1), // -- |
| 175 | 0, // declare 0 globals |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 176 | }; |
| 177 | ModuleResult result = DecodeModule(data, data + arraysize(data)); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 178 | EXPECT_OK(result); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 179 | if (result.val) delete result.val; |
| 180 | } |
| 181 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 182 | static void AppendUint32v(std::vector<byte>& buffer, uint32_t val) { |
| 183 | while (true) { |
| 184 | uint32_t next = val >> 7; |
| 185 | uint32_t out = val & 0x7f; |
| 186 | if (next) { |
| 187 | buffer.push_back(static_cast<byte>(0x80 | out)); |
| 188 | val = next; |
| 189 | } else { |
| 190 | buffer.push_back(static_cast<byte>(out)); |
| 191 | break; |
| 192 | } |
| 193 | } |
| 194 | } |
| 195 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 196 | TEST_F(WasmModuleVerifyTest, NGlobals) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 197 | static const byte data[] = { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 198 | NO_NAME, // name length |
| 199 | kMemI32, // memory type |
| 200 | 0, // exported |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 201 | }; |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 202 | |
| 203 | for (uint32_t i = 0; i < 1000000; i = i * 13 + 1) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 204 | std::vector<byte> buffer; |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 205 | size_t size = SizeOfVarInt(i) + i * sizeof(data); |
| 206 | const byte globals[] = {WASM_SECTION_GLOBALS, U32V_5(size)}; |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 207 | for (size_t g = 0; g != sizeof(globals); ++g) { |
| 208 | buffer.push_back(globals[g]); |
| 209 | } |
| 210 | AppendUint32v(buffer, i); // Number of globals. |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 211 | for (uint32_t j = 0; j < i; j++) { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 212 | buffer.insert(buffer.end(), data, data + sizeof(data)); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 213 | } |
| 214 | |
| 215 | ModuleResult result = DecodeModule(&buffer[0], &buffer[0] + buffer.size()); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 216 | EXPECT_OK(result); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 217 | if (result.val) delete result.val; |
| 218 | } |
| 219 | } |
| 220 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 221 | TEST_F(WasmModuleVerifyTest, GlobalWithInvalidNameOffset) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 222 | static const byte data[] = { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 223 | SECTION(GLOBALS, 7), |
| 224 | 1, // declare one global |
| 225 | NO_NAME, // name offset |
| 226 | 33, // memory type |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 227 | 0, // exported |
| 228 | }; |
| 229 | |
| 230 | EXPECT_FAILURE(data); |
| 231 | } |
| 232 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 233 | TEST_F(WasmModuleVerifyTest, GlobalWithInvalidMemoryType) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 234 | static const byte data[] = { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 235 | SECTION(GLOBALS, 7), |
| 236 | 1, // declare one global |
| 237 | NO_NAME, // name offset |
| 238 | 33, // memory type |
| 239 | 0, // exported |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 240 | }; |
| 241 | |
| 242 | EXPECT_FAILURE(data); |
| 243 | } |
| 244 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 245 | TEST_F(WasmModuleVerifyTest, TwoGlobals) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 246 | static const byte data[] = { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 247 | SECTION(GLOBALS, 7), |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 248 | 2, |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 249 | NO_NAME, // #0: name length |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 250 | kMemF32, // memory type |
| 251 | 0, // exported |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 252 | NO_NAME, // #1: name length |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 253 | kMemF64, // memory type |
| 254 | 1, // exported |
| 255 | }; |
| 256 | |
| 257 | { |
| 258 | // Should decode to exactly two globals. |
| 259 | ModuleResult result = DecodeModule(data, data + arraysize(data)); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 260 | EXPECT_OK(result); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 261 | EXPECT_EQ(2, result.val->globals.size()); |
| 262 | EXPECT_EQ(0, result.val->functions.size()); |
| 263 | EXPECT_EQ(0, result.val->data_segments.size()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 264 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 265 | WasmGlobal* g0 = &result.val->globals[0]; |
| 266 | WasmGlobal* g1 = &result.val->globals[1]; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 267 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 268 | EXPECT_EQ(0, g0->name_length); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 269 | EXPECT_EQ(MachineType::Float32(), g0->type); |
| 270 | EXPECT_EQ(0, g0->offset); |
| 271 | EXPECT_FALSE(g0->exported); |
| 272 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 273 | EXPECT_EQ(0, g1->name_length); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 274 | EXPECT_EQ(MachineType::Float64(), g1->type); |
| 275 | EXPECT_EQ(0, g1->offset); |
| 276 | EXPECT_TRUE(g1->exported); |
| 277 | |
| 278 | if (result.val) delete result.val; |
| 279 | } |
| 280 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 281 | EXPECT_OFF_END_FAILURE(data, 1, sizeof(data)); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 282 | } |
| 283 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 284 | TEST_F(WasmModuleVerifyTest, OneSignature) { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 285 | { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 286 | static const byte data[] = {SIGNATURES_SECTION_VOID_VOID}; |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 287 | EXPECT_VERIFIES(data); |
| 288 | } |
| 289 | |
| 290 | { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 291 | static const byte data[] = {SECTION(SIGNATURES, 1 + SIZEOF_SIG_ENTRY_x_x), |
| 292 | 1, SIG_ENTRY_i_i}; |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 293 | EXPECT_VERIFIES(data); |
| 294 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 295 | } |
| 296 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 297 | TEST_F(WasmModuleVerifyTest, MultipleSignatures) { |
| 298 | static const byte data[] = { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 299 | SECTION(SIGNATURES, 1 + SIZEOF_SIG_ENTRY_v_v + SIZEOF_SIG_ENTRY_x_x + |
| 300 | SIZEOF_SIG_ENTRY_x_xx), // -- |
| 301 | 3, // -- |
| 302 | SIG_ENTRY_v_v, // void -> void |
| 303 | SIG_ENTRY_x_x(kLocalI32, kLocalF32), // f32 -> i32 |
| 304 | SIG_ENTRY_x_xx(kLocalI32, kLocalF64, kLocalF64), // f64,f64 -> i32 |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 305 | }; |
| 306 | |
| 307 | ModuleResult result = DecodeModule(data, data + arraysize(data)); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 308 | EXPECT_OK(result); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 309 | EXPECT_EQ(3, result.val->signatures.size()); |
| 310 | if (result.val->signatures.size() == 3) { |
| 311 | EXPECT_EQ(0, result.val->signatures[0]->return_count()); |
| 312 | EXPECT_EQ(1, result.val->signatures[1]->return_count()); |
| 313 | EXPECT_EQ(1, result.val->signatures[2]->return_count()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 314 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 315 | EXPECT_EQ(0, result.val->signatures[0]->parameter_count()); |
| 316 | EXPECT_EQ(1, result.val->signatures[1]->parameter_count()); |
| 317 | EXPECT_EQ(2, result.val->signatures[2]->parameter_count()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 318 | } |
| 319 | if (result.val) delete result.val; |
| 320 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 321 | EXPECT_OFF_END_FAILURE(data, 1, sizeof(data)); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 322 | } |
| 323 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 324 | TEST_F(WasmModuleVerifyTest, FunctionWithoutSig) { |
| 325 | static const byte data[] = { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 326 | SECTION(OLD_FUNCTIONS, 25), 1, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 327 | // func#0 ------------------------------------------------------ |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 328 | SIG_INDEX(0), // signature index |
| 329 | NO_NAME, // name length |
| 330 | U32_LE(0), // code start offset |
| 331 | U32_LE(0), // code end offset |
| 332 | U16_LE(899), // local int32 count |
| 333 | U16_LE(799), // local int64 count |
| 334 | U16_LE(699), // local float32 count |
| 335 | U16_LE(599), // local float64 count |
| 336 | 0, // exported |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 337 | 0 // external |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 338 | }; |
| 339 | |
| 340 | ModuleResult result = DecodeModule(data, data + arraysize(data)); |
| 341 | EXPECT_FALSE(result.ok()); |
| 342 | if (result.val) delete result.val; |
| 343 | } |
| 344 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 345 | TEST_F(WasmModuleVerifyTest, OneEmptyVoidVoidFunction) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 346 | const int kCodeStartOffset = 41; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 347 | const int kCodeEndOffset = kCodeStartOffset + 1; |
| 348 | |
| 349 | static const byte data[] = { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 350 | // signatures |
| 351 | SIGNATURES_SECTION_VOID_VOID, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 352 | // func#0 ------------------------------------------------------ |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 353 | SECTION(OLD_FUNCTIONS, 10), 1, kDeclFunctionExport | kDeclFunctionName, |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 354 | SIG_INDEX(0), // signature index |
| 355 | NAME_LENGTH(2), 'h', 'i', // name |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 356 | 1, 0, // size |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 357 | kExprNop, |
| 358 | }; |
| 359 | |
| 360 | { |
| 361 | // Should decode to exactly one function. |
| 362 | ModuleResult result = DecodeModule(data, data + arraysize(data)); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 363 | EXPECT_OK(result); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 364 | EXPECT_EQ(0, result.val->globals.size()); |
| 365 | EXPECT_EQ(1, result.val->signatures.size()); |
| 366 | EXPECT_EQ(1, result.val->functions.size()); |
| 367 | EXPECT_EQ(0, result.val->data_segments.size()); |
| 368 | EXPECT_EQ(0, result.val->function_table.size()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 369 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 370 | WasmFunction* function = &result.val->functions.back(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 371 | |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 372 | EXPECT_EQ(37, function->name_offset); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 373 | EXPECT_EQ(2, function->name_length); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 374 | EXPECT_EQ(kCodeStartOffset, function->code_start_offset); |
| 375 | EXPECT_EQ(kCodeEndOffset, function->code_end_offset); |
| 376 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 377 | EXPECT_TRUE(function->exported); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 378 | |
| 379 | if (result.val) delete result.val; |
| 380 | } |
| 381 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 382 | EXPECT_OFF_END_FAILURE(data, 16, sizeof(data)); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 383 | } |
| 384 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 385 | TEST_F(WasmModuleVerifyTest, OneFunctionWithNopBody) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 386 | static const byte kCodeStartOffset = 38; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 387 | static const byte kCodeEndOffset = kCodeStartOffset + 1; |
| 388 | |
| 389 | static const byte data[] = { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 390 | SIGNATURES_SECTION_VOID_VOID, // -- |
| 391 | SECTION(OLD_FUNCTIONS, 7), 1, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 392 | // func#0 ------------------------------------------------------ |
| 393 | 0, // no name, no locals |
| 394 | 0, 0, // signature index |
| 395 | 1, 0, // body size |
| 396 | kExprNop // body |
| 397 | }; |
| 398 | |
| 399 | ModuleResult result = DecodeModule(data, data + arraysize(data)); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 400 | EXPECT_OK(result); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 401 | EXPECT_EQ(1, result.val->functions.size()); |
| 402 | WasmFunction* function = &result.val->functions.back(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 403 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 404 | EXPECT_EQ(0, function->name_length); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 405 | EXPECT_EQ(kCodeStartOffset, function->code_start_offset); |
| 406 | EXPECT_EQ(kCodeEndOffset, function->code_end_offset); |
| 407 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 408 | EXPECT_FALSE(function->exported); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 409 | |
| 410 | if (result.val) delete result.val; |
| 411 | } |
| 412 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 413 | TEST_F(WasmModuleVerifyTest, OneGlobalOneFunctionWithNopBodyOneDataSegment) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 414 | static const byte kNameOffset = 49; |
| 415 | static const byte kCodeStartOffset = 53; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 416 | static const byte kCodeEndOffset = kCodeStartOffset + 3; |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 417 | static const byte kDataSegmentSourceOffset = kCodeEndOffset + 22; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 418 | |
| 419 | static const byte data[] = { |
| 420 | // global#0 -------------------------------------------------- |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 421 | SECTION(GLOBALS, 4), 1, |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 422 | 0, // name length |
| 423 | kMemU8, // memory type |
| 424 | 0, // exported |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 425 | // sig#0 ----------------------------------------------------- |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 426 | SIGNATURES_SECTION_VOID_VOID, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 427 | // func#0 ---------------------------------------------------- |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 428 | SECTION(OLD_FUNCTIONS, 12), 1, |
| 429 | kDeclFunctionName, // -- |
| 430 | SIG_INDEX(0), // signature index |
| 431 | 2, 'h', 'i', // name |
| 432 | 3, 0, // body size |
| 433 | kExprNop, // func#0 body |
| 434 | kExprNop, // func#0 body |
| 435 | kExprNop, // func#0 body |
| 436 | // memory section -------------------------------------------- |
| 437 | SECTION(MEMORY, 3), 28, 28, 1, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 438 | // segment#0 ------------------------------------------------- |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 439 | SECTION(DATA_SEGMENTS, 10), 1, |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 440 | U32V_3(0x8b3ae), // dest addr |
| 441 | U32V_1(5), // source size |
| 442 | 0, 1, 2, 3, 4, // data bytes |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 443 | // rest ------------------------------------------------------ |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 444 | SECTION(END, 0), |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 445 | }; |
| 446 | |
| 447 | { |
| 448 | ModuleResult result = DecodeModule(data, data + arraysize(data)); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 449 | EXPECT_OK(result); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 450 | EXPECT_EQ(1, result.val->globals.size()); |
| 451 | EXPECT_EQ(1, result.val->functions.size()); |
| 452 | EXPECT_EQ(1, result.val->data_segments.size()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 453 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 454 | WasmGlobal* global = &result.val->globals.back(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 455 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 456 | EXPECT_EQ(0, global->name_length); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 457 | EXPECT_EQ(MachineType::Uint8(), global->type); |
| 458 | EXPECT_EQ(0, global->offset); |
| 459 | EXPECT_FALSE(global->exported); |
| 460 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 461 | WasmFunction* function = &result.val->functions.back(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 462 | |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 463 | EXPECT_EQ(kNameOffset, function->name_offset); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 464 | EXPECT_EQ(2, function->name_length); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 465 | EXPECT_EQ(kCodeStartOffset, function->code_start_offset); |
| 466 | EXPECT_EQ(kCodeEndOffset, function->code_end_offset); |
| 467 | |
| 468 | EXPECT_FALSE(function->exported); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 469 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 470 | WasmDataSegment* segment = &result.val->data_segments.back(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 471 | |
| 472 | EXPECT_EQ(0x8b3ae, segment->dest_addr); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 473 | EXPECT_EQ(kDataSegmentSourceOffset, segment->source_offset); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 474 | EXPECT_EQ(5, segment->source_size); |
| 475 | EXPECT_TRUE(segment->init); |
| 476 | |
| 477 | if (result.val) delete result.val; |
| 478 | } |
| 479 | } |
| 480 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 481 | TEST_F(WasmModuleVerifyTest, OneDataSegment) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 482 | const byte kDataSegmentSourceOffset = 30; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 483 | const byte data[] = { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 484 | SECTION(MEMORY, 3), |
| 485 | 28, |
| 486 | 28, |
| 487 | 1, |
| 488 | SECTION(DATA_SEGMENTS, 8), |
| 489 | 1, |
| 490 | U32V_3(0x9bbaa), // dest addr |
| 491 | U32V_1(3), // source size |
| 492 | 'a', |
| 493 | 'b', |
| 494 | 'c' // data bytes |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 495 | }; |
| 496 | |
| 497 | { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 498 | EXPECT_VERIFIES(data); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 499 | ModuleResult result = DecodeModule(data, data + arraysize(data)); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 500 | EXPECT_OK(result); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 501 | EXPECT_EQ(0, result.val->globals.size()); |
| 502 | EXPECT_EQ(0, result.val->functions.size()); |
| 503 | EXPECT_EQ(1, result.val->data_segments.size()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 504 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 505 | WasmDataSegment* segment = &result.val->data_segments.back(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 506 | |
| 507 | EXPECT_EQ(0x9bbaa, segment->dest_addr); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 508 | EXPECT_EQ(kDataSegmentSourceOffset, segment->source_offset); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 509 | EXPECT_EQ(3, segment->source_size); |
| 510 | EXPECT_TRUE(segment->init); |
| 511 | |
| 512 | if (result.val) delete result.val; |
| 513 | } |
| 514 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 515 | EXPECT_OFF_END_FAILURE(data, 13, sizeof(data)); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 516 | } |
| 517 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 518 | TEST_F(WasmModuleVerifyTest, TwoDataSegments) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 519 | const byte kDataSegment0SourceOffset = 30; |
| 520 | const byte kDataSegment1SourceOffset = 30 + 8; |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 521 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 522 | const byte data[] = { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 523 | SECTION(MEMORY, 3), |
| 524 | 28, |
| 525 | 28, |
| 526 | 1, |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 527 | SECTION(DATA_SEGMENTS, 23), |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 528 | 2, // segment count |
| 529 | U32V_3(0x7ffee), // #0: dest addr |
| 530 | U32V_1(4), // source size |
| 531 | 1, |
| 532 | 2, |
| 533 | 3, |
| 534 | 4, // data bytes |
| 535 | U32V_3(0x6ddcc), // #1: dest addr |
| 536 | U32V_1(10), // source size |
| 537 | 1, |
| 538 | 2, |
| 539 | 3, |
| 540 | 4, |
| 541 | 5, |
| 542 | 6, |
| 543 | 7, |
| 544 | 8, |
| 545 | 9, |
| 546 | 10 // data bytes |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 547 | }; |
| 548 | |
| 549 | { |
| 550 | ModuleResult result = DecodeModule(data, data + arraysize(data)); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 551 | EXPECT_OK(result); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 552 | EXPECT_EQ(0, result.val->globals.size()); |
| 553 | EXPECT_EQ(0, result.val->functions.size()); |
| 554 | EXPECT_EQ(2, result.val->data_segments.size()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 555 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 556 | WasmDataSegment* s0 = &result.val->data_segments[0]; |
| 557 | WasmDataSegment* s1 = &result.val->data_segments[1]; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 558 | |
| 559 | EXPECT_EQ(0x7ffee, s0->dest_addr); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 560 | EXPECT_EQ(kDataSegment0SourceOffset, s0->source_offset); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 561 | EXPECT_EQ(4, s0->source_size); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 562 | EXPECT_TRUE(s0->init); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 563 | |
| 564 | EXPECT_EQ(0x6ddcc, s1->dest_addr); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 565 | EXPECT_EQ(kDataSegment1SourceOffset, s1->source_offset); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 566 | EXPECT_EQ(10, s1->source_size); |
| 567 | EXPECT_TRUE(s1->init); |
| 568 | |
| 569 | if (result.val) delete result.val; |
| 570 | } |
| 571 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 572 | EXPECT_OFF_END_FAILURE(data, 13, sizeof(data)); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 573 | } |
| 574 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 575 | TEST_F(WasmModuleVerifyTest, DataSegmentWithInvalidDest) { |
| 576 | const int source_size = 3; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 577 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 578 | for (byte mem_pages = 1; mem_pages < 16; mem_pages++) { |
| 579 | int mem_size = mem_pages * 0x10000; // 64k pages. |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 580 | |
| 581 | for (int dest_addr = mem_size - source_size; |
| 582 | dest_addr < mem_size + source_size; dest_addr++) { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 583 | byte data[] = {SECTION(MEMORY, 3), |
| 584 | mem_pages, |
| 585 | mem_pages, |
| 586 | 1, |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 587 | SECTION(DATA_SEGMENTS, 8), |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 588 | 1, |
| 589 | U32V_3(dest_addr), |
| 590 | U32V_1(source_size), |
| 591 | 'a', |
| 592 | 'b', |
| 593 | 'c'}; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 594 | |
| 595 | if (dest_addr <= (mem_size - source_size)) { |
| 596 | EXPECT_VERIFIES(data); |
| 597 | } else { |
| 598 | EXPECT_FAILURE(data); |
| 599 | } |
| 600 | } |
| 601 | } |
| 602 | } |
| 603 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 604 | TEST_F(WasmModuleVerifyTest, OneIndirectFunction) { |
| 605 | static const byte data[] = { |
| 606 | // sig#0 ------------------------------------------------------- |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 607 | SIGNATURES_SECTION_VOID_VOID, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 608 | // func#0 ------------------------------------------------------ |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 609 | SECTION(OLD_FUNCTIONS, 1 + SIZEOF_EMPTY_FUNCTION), 1, // -- |
| 610 | EMPTY_FUNCTION(0), |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 611 | // indirect table ---------------------------------------------- |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 612 | SECTION(FUNCTION_TABLE, 2), 1, U32V_1(0)}; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 613 | |
| 614 | ModuleResult result = DecodeModule(data, data + arraysize(data)); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 615 | EXPECT_OK(result); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 616 | if (result.ok()) { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 617 | EXPECT_EQ(1, result.val->signatures.size()); |
| 618 | EXPECT_EQ(1, result.val->functions.size()); |
| 619 | EXPECT_EQ(1, result.val->function_table.size()); |
| 620 | EXPECT_EQ(0, result.val->function_table[0]); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 621 | } |
| 622 | if (result.val) delete result.val; |
| 623 | } |
| 624 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 625 | TEST_F(WasmModuleVerifyTest, MultipleIndirectFunctions) { |
| 626 | static const byte data[] = { |
| 627 | // sig#0 ------------------------------------------------------- |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 628 | SECTION(SIGNATURES, 1 + SIZEOF_SIG_ENTRY_v_v + SIZEOF_SIG_ENTRY_v_x), |
| 629 | 2, // -- |
| 630 | SIG_ENTRY_v_v, // void -> void |
| 631 | SIG_ENTRY_v_x(kLocalI32), // void -> i32 |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 632 | // func#0 ------------------------------------------------------ |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 633 | SECTION(OLD_FUNCTIONS, 1 + 4 * SIZEOF_EMPTY_FUNCTION), 4, // -- |
| 634 | EMPTY_FUNCTION(0), // -- |
| 635 | EMPTY_FUNCTION(1), // -- |
| 636 | EMPTY_FUNCTION(0), // -- |
| 637 | EMPTY_FUNCTION(1), // -- |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 638 | // indirect table ---------------------------------------------- |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 639 | SECTION(FUNCTION_TABLE, 9), 8, |
| 640 | U32V_1(0), // -- |
| 641 | U32V_1(1), // -- |
| 642 | U32V_1(2), // -- |
| 643 | U32V_1(3), // -- |
| 644 | U32V_1(0), // -- |
| 645 | U32V_1(1), // -- |
| 646 | U32V_1(2), // -- |
| 647 | U32V_1(3), // -- |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 648 | }; |
| 649 | |
| 650 | ModuleResult result = DecodeModule(data, data + arraysize(data)); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 651 | EXPECT_OK(result); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 652 | if (result.ok()) { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 653 | EXPECT_EQ(2, result.val->signatures.size()); |
| 654 | EXPECT_EQ(4, result.val->functions.size()); |
| 655 | EXPECT_EQ(8, result.val->function_table.size()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 656 | for (int i = 0; i < 8; i++) { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 657 | EXPECT_EQ(i & 3, result.val->function_table[i]); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 658 | } |
| 659 | } |
| 660 | if (result.val) delete result.val; |
| 661 | } |
| 662 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 663 | TEST_F(WasmModuleVerifyTest, IndirectFunctionNoFunctions) { |
| 664 | static const byte data[] = { |
| 665 | // sig#0 ------------------------------------------------------- |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 666 | SIGNATURES_SECTION_VOID_VOID, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 667 | // indirect table ---------------------------------------------- |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 668 | SECTION(FUNCTION_TABLE, 3), 1, 0, 0, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 669 | }; |
| 670 | |
| 671 | EXPECT_FAILURE(data); |
| 672 | } |
| 673 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 674 | TEST_F(WasmModuleVerifyTest, IndirectFunctionInvalidIndex) { |
| 675 | static const byte data[] = { |
| 676 | // sig#0 ------------------------------------------------------- |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 677 | SIGNATURES_SECTION_VOID_VOID, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 678 | // functions --------------------------------------------------- |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 679 | SECTION(OLD_FUNCTIONS, 1 + SIZEOF_EMPTY_FUNCTION), 1, // -- |
| 680 | EMPTY_FUNCTION(0), |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 681 | // indirect table ---------------------------------------------- |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 682 | SECTION(FUNCTION_TABLE, 3), 1, 1, 0, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 683 | }; |
| 684 | |
| 685 | EXPECT_FAILURE(data); |
| 686 | } |
| 687 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 688 | class WasmSignatureDecodeTest : public TestWithZone {}; |
| 689 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 690 | TEST_F(WasmSignatureDecodeTest, Ok_v_v) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 691 | static const byte data[] = {SIG_ENTRY_v_v}; |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 692 | base::AccountingAllocator allocator; |
| 693 | Zone zone(&allocator); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 694 | FunctionSig* sig = |
| 695 | DecodeWasmSignatureForTesting(&zone, data, data + arraysize(data)); |
| 696 | |
| 697 | EXPECT_TRUE(sig != nullptr); |
| 698 | EXPECT_EQ(0, sig->parameter_count()); |
| 699 | EXPECT_EQ(0, sig->return_count()); |
| 700 | } |
| 701 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 702 | TEST_F(WasmSignatureDecodeTest, Ok_t_v) { |
| 703 | for (size_t i = 0; i < arraysize(kLocalTypes); i++) { |
| 704 | LocalTypePair ret_type = kLocalTypes[i]; |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 705 | const byte data[] = {SIG_ENTRY_x(ret_type.code)}; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 706 | FunctionSig* sig = |
| 707 | DecodeWasmSignatureForTesting(zone(), data, data + arraysize(data)); |
| 708 | |
| 709 | EXPECT_TRUE(sig != nullptr); |
| 710 | EXPECT_EQ(0, sig->parameter_count()); |
| 711 | EXPECT_EQ(1, sig->return_count()); |
| 712 | EXPECT_EQ(ret_type.type, sig->GetReturn()); |
| 713 | } |
| 714 | } |
| 715 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 716 | TEST_F(WasmSignatureDecodeTest, Ok_v_t) { |
| 717 | for (size_t i = 0; i < arraysize(kLocalTypes); i++) { |
| 718 | LocalTypePair param_type = kLocalTypes[i]; |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 719 | const byte data[] = {SIG_ENTRY_v_x(param_type.code)}; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 720 | FunctionSig* sig = |
| 721 | DecodeWasmSignatureForTesting(zone(), data, data + arraysize(data)); |
| 722 | |
| 723 | EXPECT_TRUE(sig != nullptr); |
| 724 | EXPECT_EQ(1, sig->parameter_count()); |
| 725 | EXPECT_EQ(0, sig->return_count()); |
| 726 | EXPECT_EQ(param_type.type, sig->GetParam(0)); |
| 727 | } |
| 728 | } |
| 729 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 730 | TEST_F(WasmSignatureDecodeTest, Ok_t_t) { |
| 731 | for (size_t i = 0; i < arraysize(kLocalTypes); i++) { |
| 732 | LocalTypePair ret_type = kLocalTypes[i]; |
| 733 | for (size_t j = 0; j < arraysize(kLocalTypes); j++) { |
| 734 | LocalTypePair param_type = kLocalTypes[j]; |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 735 | const byte data[] = {SIG_ENTRY_x_x(ret_type.code, param_type.code)}; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 736 | FunctionSig* sig = |
| 737 | DecodeWasmSignatureForTesting(zone(), data, data + arraysize(data)); |
| 738 | |
| 739 | EXPECT_TRUE(sig != nullptr); |
| 740 | EXPECT_EQ(1, sig->parameter_count()); |
| 741 | EXPECT_EQ(1, sig->return_count()); |
| 742 | EXPECT_EQ(param_type.type, sig->GetParam(0)); |
| 743 | EXPECT_EQ(ret_type.type, sig->GetReturn()); |
| 744 | } |
| 745 | } |
| 746 | } |
| 747 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 748 | TEST_F(WasmSignatureDecodeTest, Ok_i_tt) { |
| 749 | for (size_t i = 0; i < arraysize(kLocalTypes); i++) { |
| 750 | LocalTypePair p0_type = kLocalTypes[i]; |
| 751 | for (size_t j = 0; j < arraysize(kLocalTypes); j++) { |
| 752 | LocalTypePair p1_type = kLocalTypes[j]; |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 753 | const byte data[] = { |
| 754 | SIG_ENTRY_x_xx(kLocalI32, p0_type.code, p1_type.code)}; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 755 | FunctionSig* sig = |
| 756 | DecodeWasmSignatureForTesting(zone(), data, data + arraysize(data)); |
| 757 | |
| 758 | EXPECT_TRUE(sig != nullptr); |
| 759 | EXPECT_EQ(2, sig->parameter_count()); |
| 760 | EXPECT_EQ(1, sig->return_count()); |
| 761 | EXPECT_EQ(p0_type.type, sig->GetParam(0)); |
| 762 | EXPECT_EQ(p1_type.type, sig->GetParam(1)); |
| 763 | } |
| 764 | } |
| 765 | } |
| 766 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 767 | TEST_F(WasmSignatureDecodeTest, Fail_off_end) { |
| 768 | byte data[256]; |
| 769 | for (int p = 0; p <= 255; p = p + 1 + p * 3) { |
| 770 | for (int i = 0; i <= p; i++) data[i] = kLocalI32; |
| 771 | data[0] = static_cast<byte>(p); |
| 772 | |
| 773 | for (int i = 0; i < p + 1; i++) { |
| 774 | // Should fall off the end for all signatures. |
| 775 | FunctionSig* sig = DecodeWasmSignatureForTesting(zone(), data, data + i); |
| 776 | EXPECT_EQ(nullptr, sig); |
| 777 | } |
| 778 | } |
| 779 | } |
| 780 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 781 | TEST_F(WasmSignatureDecodeTest, Fail_invalid_type) { |
| 782 | byte kInvalidType = 76; |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 783 | for (size_t i = 0; i < SIZEOF_SIG_ENTRY_x_xx; i++) { |
| 784 | byte data[] = {SIG_ENTRY_x_xx(kLocalI32, kLocalI32, kLocalI32)}; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 785 | data[i] = kInvalidType; |
| 786 | FunctionSig* sig = |
| 787 | DecodeWasmSignatureForTesting(zone(), data, data + arraysize(data)); |
| 788 | EXPECT_EQ(nullptr, sig); |
| 789 | } |
| 790 | } |
| 791 | |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 792 | TEST_F(WasmSignatureDecodeTest, Fail_invalid_ret_type1) { |
| 793 | static const byte data[] = {SIG_ENTRY_x_x(kLocalVoid, kLocalI32)}; |
| 794 | FunctionSig* sig = |
| 795 | DecodeWasmSignatureForTesting(zone(), data, data + arraysize(data)); |
| 796 | EXPECT_EQ(nullptr, sig); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 797 | } |
| 798 | |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 799 | TEST_F(WasmSignatureDecodeTest, Fail_invalid_param_type1) { |
| 800 | static const byte data[] = {SIG_ENTRY_x_x(kLocalI32, kLocalVoid)}; |
| 801 | FunctionSig* sig = |
| 802 | DecodeWasmSignatureForTesting(zone(), data, data + arraysize(data)); |
| 803 | EXPECT_EQ(nullptr, sig); |
| 804 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 805 | |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 806 | TEST_F(WasmSignatureDecodeTest, Fail_invalid_param_type2) { |
| 807 | static const byte data[] = {SIG_ENTRY_x_xx(kLocalI32, kLocalI32, kLocalVoid)}; |
| 808 | FunctionSig* sig = |
| 809 | DecodeWasmSignatureForTesting(zone(), data, data + arraysize(data)); |
| 810 | EXPECT_EQ(nullptr, sig); |
| 811 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 812 | |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 813 | class WasmFunctionVerifyTest : public TestWithIsolateAndZone {}; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 814 | |
| 815 | TEST_F(WasmFunctionVerifyTest, Ok_v_v_empty) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 816 | static const byte data[] = { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 817 | SIG_ENTRY_v_v, // signature entry |
| 818 | 4, // locals |
| 819 | 3, |
| 820 | kLocalI32, // -- |
| 821 | 4, |
| 822 | kLocalI64, // -- |
| 823 | 5, |
| 824 | kLocalF32, // -- |
| 825 | 6, |
| 826 | kLocalF64, // -- |
| 827 | kExprNop // body |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 828 | }; |
| 829 | |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 830 | FunctionResult result = DecodeWasmFunction(isolate(), zone(), nullptr, data, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 831 | data + arraysize(data)); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 832 | EXPECT_OK(result); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 833 | |
| 834 | if (result.val && result.ok()) { |
| 835 | WasmFunction* function = result.val; |
| 836 | EXPECT_EQ(0, function->sig->parameter_count()); |
| 837 | EXPECT_EQ(0, function->sig->return_count()); |
| 838 | EXPECT_EQ(0, function->name_offset); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 839 | EXPECT_EQ(SIZEOF_SIG_ENTRY_v_v, function->code_start_offset); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 840 | EXPECT_EQ(arraysize(data), function->code_end_offset); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 841 | // TODO(titzer): verify encoding of local declarations |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 842 | EXPECT_FALSE(function->exported); |
| 843 | } |
| 844 | |
| 845 | if (result.val) delete result.val; |
| 846 | } |
| 847 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 848 | TEST_F(WasmModuleVerifyTest, SectionWithoutNameLength) { |
| 849 | const byte data[] = {1}; |
| 850 | EXPECT_FAILURE(data); |
| 851 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 852 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 853 | TEST_F(WasmModuleVerifyTest, TheLoneliestOfValidModulesTheTrulyEmptyOne) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 854 | const byte data[] = { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 855 | 0, // Empty section name. |
| 856 | // No section name, no content, nothing but sadness. |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 857 | 0, // No section content. |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 858 | }; |
| 859 | EXPECT_VERIFIES(data); |
| 860 | } |
| 861 | |
| 862 | TEST_F(WasmModuleVerifyTest, OnlyUnknownSectionEmpty) { |
| 863 | const byte data[] = { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 864 | UNKNOWN_SECTION_NAME, 0, |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 865 | }; |
| 866 | EXPECT_VERIFIES(data); |
| 867 | } |
| 868 | |
| 869 | TEST_F(WasmModuleVerifyTest, OnlyUnknownSectionNonEmpty) { |
| 870 | const byte data[] = { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 871 | UNKNOWN_SECTION_NAME, |
| 872 | 5, // section size |
| 873 | 0xff, |
| 874 | 0xff, |
| 875 | 0xff, |
| 876 | 0xff, |
| 877 | 0xff, // section data |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 878 | }; |
| 879 | EXPECT_VERIFIES(data); |
| 880 | } |
| 881 | |
| 882 | TEST_F(WasmModuleVerifyTest, SignatureFollowedByEmptyUnknownSection) { |
| 883 | const byte data[] = { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 884 | // signatures |
| 885 | SIGNATURES_SECTION_VOID_VOID, |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 886 | // ----------------------------------------------------------- |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 887 | UNKNOWN_SECTION_NAME, |
| 888 | 0 // empty section |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 889 | }; |
| 890 | EXPECT_VERIFIES(data); |
| 891 | } |
| 892 | |
| 893 | TEST_F(WasmModuleVerifyTest, SignatureFollowedByUnknownSection) { |
| 894 | const byte data[] = { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 895 | // signatures |
| 896 | SIGNATURES_SECTION_VOID_VOID, |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 897 | // ----------------------------------------------------------- |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 898 | UNKNOWN_SECTION_NAME, |
| 899 | 5, // section size |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 900 | 0xff, 0xff, 0xff, 0xff, 0xff, |
| 901 | }; |
| 902 | EXPECT_VERIFIES(data); |
| 903 | } |
| 904 | |
| 905 | TEST_F(WasmModuleVerifyTest, SignatureFollowedByUnknownSectionWithLongLEB) { |
| 906 | const byte data[] = { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 907 | // signatures |
| 908 | SIGNATURES_SECTION_VOID_VOID, |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 909 | // ----------------------------------------------------------- |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 910 | UNKNOWN_SECTION_NAME, 0x81, 0x80, 0x80, 0x80, |
| 911 | 0x00, // section size: 1 but in a 5-byte LEB |
| 912 | 0, |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 913 | }; |
| 914 | EXPECT_VERIFIES(data); |
| 915 | } |
| 916 | |
| 917 | TEST_F(WasmModuleVerifyTest, UnknownSectionOverflow) { |
| 918 | static const byte data[] = { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 919 | UNKNOWN_EMPTY_SECTION_NAME, |
| 920 | 9, // section size |
| 921 | 1, |
| 922 | 2, |
| 923 | 3, |
| 924 | 4, |
| 925 | 5, |
| 926 | 6, |
| 927 | 7, |
| 928 | 8, |
| 929 | 9, |
| 930 | 10, // 10 byte section |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 931 | }; |
| 932 | EXPECT_FAILURE(data); |
| 933 | } |
| 934 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 935 | TEST_F(WasmModuleVerifyTest, UnknownSectionUnderflow) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 936 | static const byte data[] = { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 937 | UNKNOWN_EMPTY_SECTION_NAME, |
| 938 | 0xff, |
| 939 | 0xff, |
| 940 | 0xff, |
| 941 | 0xff, |
| 942 | 0x0f, // Section size LEB128 0xffffffff |
| 943 | 1, |
| 944 | 2, |
| 945 | 3, |
| 946 | 4, // 4 byte section |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 947 | }; |
| 948 | EXPECT_FAILURE(data); |
| 949 | } |
| 950 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 951 | TEST_F(WasmModuleVerifyTest, UnknownSectionLoop) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 952 | // Would infinite loop decoding if wrapping and allowed. |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 953 | static const byte data[] = { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 954 | UNKNOWN_EMPTY_SECTION_NAME, |
| 955 | 1, |
| 956 | 2, |
| 957 | 3, |
| 958 | 4, // 4 byte section |
| 959 | 0xfa, |
| 960 | 0xff, |
| 961 | 0xff, |
| 962 | 0xff, |
| 963 | 0x0f, // Section size LEB128 0xfffffffa |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 964 | }; |
| 965 | EXPECT_FAILURE(data); |
| 966 | } |
| 967 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 968 | TEST_F(WasmModuleVerifyTest, UnknownSectionSkipped) { |
| 969 | static const byte data[] = { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 970 | UNKNOWN_EMPTY_SECTION_NAME, |
| 971 | 1, // section size |
| 972 | 0, // one byte section |
| 973 | SECTION(GLOBALS, 4), |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 974 | 1, |
| 975 | 0, // name length |
| 976 | kMemI32, // memory type |
| 977 | 0, // exported |
| 978 | }; |
| 979 | ModuleResult result = DecodeModule(data, data + arraysize(data)); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 980 | EXPECT_OK(result); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 981 | |
| 982 | EXPECT_EQ(1, result.val->globals.size()); |
| 983 | EXPECT_EQ(0, result.val->functions.size()); |
| 984 | EXPECT_EQ(0, result.val->data_segments.size()); |
| 985 | |
| 986 | WasmGlobal* global = &result.val->globals.back(); |
| 987 | |
| 988 | EXPECT_EQ(0, global->name_length); |
| 989 | EXPECT_EQ(MachineType::Int32(), global->type); |
| 990 | EXPECT_EQ(0, global->offset); |
| 991 | EXPECT_FALSE(global->exported); |
| 992 | |
| 993 | if (result.val) delete result.val; |
| 994 | } |
| 995 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 996 | TEST_F(WasmModuleVerifyTest, ImportTable_empty) { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 997 | static const byte data[] = {SECTION(SIGNATURES, 1), 0, |
| 998 | SECTION(IMPORT_TABLE, 1), 0}; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 999 | EXPECT_VERIFIES(data); |
| 1000 | } |
| 1001 | |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 1002 | TEST_F(WasmModuleVerifyTest, ImportTable_nosigs1) { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 1003 | static const byte data[] = {SECTION(IMPORT_TABLE, 1), 0}; |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 1004 | EXPECT_VERIFIES(data); |
| 1005 | } |
| 1006 | |
| 1007 | TEST_F(WasmModuleVerifyTest, ImportTable_nosigs2) { |
| 1008 | static const byte data[] = { |
| 1009 | SECTION(IMPORT_TABLE, 6), 1, // sig table |
| 1010 | IMPORT_SIG_INDEX(0), // sig index |
| 1011 | NAME_LENGTH(1), 'm', // module name |
| 1012 | NAME_LENGTH(1), 'f', // function name |
| 1013 | }; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1014 | EXPECT_FAILURE(data); |
| 1015 | } |
| 1016 | |
| 1017 | TEST_F(WasmModuleVerifyTest, ImportTable_invalid_sig) { |
| 1018 | static const byte data[] = { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 1019 | SECTION(SIGNATURES, 1), 0, // -- |
| 1020 | SECTION(IMPORT_TABLE, 6), 1, // -- |
| 1021 | IMPORT_SIG_INDEX(0), // sig index |
| 1022 | NAME_LENGTH(1), 'm', // module name |
| 1023 | NAME_LENGTH(1), 'f', // function name |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1024 | }; |
| 1025 | EXPECT_FAILURE(data); |
| 1026 | } |
| 1027 | |
| 1028 | TEST_F(WasmModuleVerifyTest, ImportTable_one_sig) { |
| 1029 | static const byte data[] = { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 1030 | // signatures |
| 1031 | SIGNATURES_SECTION_VOID_VOID, |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 1032 | SECTION(IMPORT_TABLE, 6), |
| 1033 | 1, // -- |
| 1034 | IMPORT_SIG_INDEX(0), // sig index |
| 1035 | NAME_LENGTH(1), |
| 1036 | 'm', // module name |
| 1037 | NAME_LENGTH(1), |
| 1038 | 'f', // function name |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1039 | }; |
| 1040 | EXPECT_VERIFIES(data); |
| 1041 | } |
| 1042 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 1043 | TEST_F(WasmModuleVerifyTest, ImportTable_invalid_module) { |
| 1044 | static const byte data[] = { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 1045 | // signatures |
| 1046 | SIGNATURES_SECTION_VOID_VOID, |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 1047 | SECTION(IMPORT_TABLE, 6), |
| 1048 | 1, // -- |
| 1049 | IMPORT_SIG_INDEX(0), // sig index |
| 1050 | NO_NAME, // module name |
| 1051 | NAME_LENGTH(1), |
| 1052 | 'f' // function name |
| 1053 | }; |
| 1054 | EXPECT_FAILURE(data); |
| 1055 | } |
| 1056 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1057 | TEST_F(WasmModuleVerifyTest, ImportTable_off_end) { |
| 1058 | static const byte data[] = { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 1059 | // signatures |
| 1060 | SIGNATURES_SECTION_VOID_VOID, |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 1061 | SECTION(IMPORT_TABLE, 6), |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1062 | 1, |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 1063 | IMPORT_SIG_INDEX(0), // sig index |
| 1064 | NAME_LENGTH(1), |
| 1065 | 'm', // module name |
| 1066 | NAME_LENGTH(1), |
| 1067 | 'f', // function name |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1068 | }; |
| 1069 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 1070 | EXPECT_OFF_END_FAILURE(data, 16, sizeof(data)); |
| 1071 | } |
| 1072 | |
| 1073 | TEST_F(WasmModuleVerifyTest, ExportTable_empty1) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 1074 | static const byte data[] = { |
| 1075 | // signatures |
| 1076 | SIGNATURES_SECTION_VOID_VOID, |
| 1077 | SECTION(OLD_FUNCTIONS, 1 + SIZEOF_EMPTY_FUNCTION), |
| 1078 | 1, |
| 1079 | EMPTY_FUNCTION(0), |
| 1080 | SECTION(EXPORT_TABLE, 1), |
| 1081 | 0 // -- |
| 1082 | }; |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 1083 | EXPECT_VERIFIES(data); |
| 1084 | } |
| 1085 | |
| 1086 | TEST_F(WasmModuleVerifyTest, ExportTable_empty2) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 1087 | static const byte data[] = { |
| 1088 | SECTION(SIGNATURES, 1), 0, SECTION(OLD_FUNCTIONS, 1), 0, |
| 1089 | SECTION(EXPORT_TABLE, 1), 0 // -- |
| 1090 | }; |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 1091 | // TODO(titzer): current behavior treats empty functions section as missing. |
| 1092 | EXPECT_FAILURE(data); |
| 1093 | } |
| 1094 | |
| 1095 | TEST_F(WasmModuleVerifyTest, ExportTable_NoFunctions1) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 1096 | static const byte data[] = { |
| 1097 | SECTION(SIGNATURES, 1), 0, SECTION(EXPORT_TABLE, 1), 0 // -- |
| 1098 | }; |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 1099 | EXPECT_FAILURE(data); |
| 1100 | } |
| 1101 | |
| 1102 | TEST_F(WasmModuleVerifyTest, ExportTable_NoFunctions2) { |
| 1103 | static const byte data[] = {SECTION(EXPORT_TABLE, 1), 0}; |
| 1104 | EXPECT_FAILURE(data); |
| 1105 | } |
| 1106 | |
| 1107 | TEST_F(WasmModuleVerifyTest, ExportTableOne) { |
| 1108 | static const byte data[] = { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 1109 | // signatures |
| 1110 | SIGNATURES_SECTION_VOID_VOID, |
| 1111 | SECTION(OLD_FUNCTIONS, 1 + SIZEOF_EMPTY_FUNCTION), |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 1112 | 1, // functions |
| 1113 | EMPTY_FUNCTION(0), // -- |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 1114 | SECTION(EXPORT_TABLE, 3), |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 1115 | 1, // exports |
| 1116 | FUNC_INDEX(0), // -- |
| 1117 | NO_NAME // -- |
| 1118 | }; |
| 1119 | EXPECT_VERIFIES(data); |
| 1120 | } |
| 1121 | |
| 1122 | TEST_F(WasmModuleVerifyTest, ExportTableTwo) { |
| 1123 | static const byte data[] = { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 1124 | // signatures |
| 1125 | SIGNATURES_SECTION_VOID_VOID, |
| 1126 | SECTION(OLD_FUNCTIONS, 1 + SIZEOF_EMPTY_FUNCTION), |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 1127 | 1, // functions |
| 1128 | EMPTY_FUNCTION(0), // -- |
| 1129 | SECTION(EXPORT_TABLE, 12), |
| 1130 | 2, // exports |
| 1131 | FUNC_INDEX(0), // -- |
| 1132 | NAME_LENGTH(4), |
| 1133 | 'n', |
| 1134 | 'a', |
| 1135 | 'm', |
| 1136 | 'e', // -- |
| 1137 | FUNC_INDEX(0), // -- |
| 1138 | NAME_LENGTH(3), |
| 1139 | 'n', |
| 1140 | 'o', |
| 1141 | 'm' // -- |
| 1142 | }; |
| 1143 | EXPECT_VERIFIES(data); |
| 1144 | } |
| 1145 | |
| 1146 | TEST_F(WasmModuleVerifyTest, ExportTableThree) { |
| 1147 | static const byte data[] = { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 1148 | // signatures |
| 1149 | SIGNATURES_SECTION_VOID_VOID, |
| 1150 | SECTION(OLD_FUNCTIONS, 1 + 3 * SIZEOF_EMPTY_FUNCTION), |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 1151 | 3, // functions |
| 1152 | EMPTY_FUNCTION(0), // -- |
| 1153 | EMPTY_FUNCTION(0), // -- |
| 1154 | EMPTY_FUNCTION(0), // -- |
| 1155 | SECTION(EXPORT_TABLE, 10), |
| 1156 | 3, // exports |
| 1157 | FUNC_INDEX(0), // -- |
| 1158 | NAME_LENGTH(1), |
| 1159 | 'a', // -- |
| 1160 | FUNC_INDEX(1), // -- |
| 1161 | NAME_LENGTH(1), |
| 1162 | 'b', // -- |
| 1163 | FUNC_INDEX(2), // -- |
| 1164 | NAME_LENGTH(1), |
| 1165 | 'c' // -- |
| 1166 | }; |
| 1167 | EXPECT_VERIFIES(data); |
| 1168 | } |
| 1169 | |
| 1170 | TEST_F(WasmModuleVerifyTest, ExportTableThreeOne) { |
| 1171 | for (int i = 0; i < 6; i++) { |
| 1172 | const byte data[] = { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 1173 | // signatures |
| 1174 | SIGNATURES_SECTION_VOID_VOID, |
| 1175 | SECTION(OLD_FUNCTIONS, 1 + 3 * SIZEOF_EMPTY_FUNCTION), |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 1176 | 3, // functions |
| 1177 | EMPTY_FUNCTION(0), // -- |
| 1178 | EMPTY_FUNCTION(0), // -- |
| 1179 | EMPTY_FUNCTION(0), // -- |
| 1180 | SECTION(EXPORT_TABLE, 5), |
| 1181 | 1, // exports |
| 1182 | FUNC_INDEX(i), // -- |
| 1183 | NAME_LENGTH(2), |
| 1184 | 'e', |
| 1185 | 'x', // -- |
| 1186 | }; |
| 1187 | |
| 1188 | if (i < 3) { |
| 1189 | EXPECT_VERIFIES(data); |
| 1190 | } else { |
| 1191 | EXPECT_FAILURE(data); |
| 1192 | } |
| 1193 | } |
| 1194 | } |
| 1195 | |
| 1196 | TEST_F(WasmModuleVerifyTest, ExportTableOne_off_end) { |
| 1197 | static const byte data[] = { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 1198 | // signatures |
| 1199 | SIGNATURES_SECTION_VOID_VOID, |
| 1200 | SECTION(OLD_FUNCTIONS, 1 + SIZEOF_EMPTY_FUNCTION), |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 1201 | 1, // functions |
| 1202 | EMPTY_FUNCTION(0), // -- |
| 1203 | SECTION(EXPORT_TABLE, 1 + 6), |
| 1204 | 1, // exports |
| 1205 | FUNC_INDEX(0), // -- |
| 1206 | NO_NAME // -- |
| 1207 | }; |
| 1208 | |
| 1209 | for (int length = 33; length < sizeof(data); length++) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1210 | ModuleResult result = DecodeModule(data, data + length); |
| 1211 | EXPECT_FALSE(result.ok()); |
| 1212 | if (result.val) delete result.val; |
| 1213 | } |
| 1214 | } |
| 1215 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 1216 | TEST_F(WasmModuleVerifyTest, FunctionSignatures_empty) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 1217 | static const byte data[] = { |
| 1218 | SECTION(SIGNATURES, 1), 0, // -- |
| 1219 | SECTION(FUNCTION_SIGNATURES, 1), 0 // -- |
| 1220 | }; // -- |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 1221 | EXPECT_VERIFIES(data); |
| 1222 | } |
| 1223 | |
| 1224 | TEST_F(WasmModuleVerifyTest, FunctionSignatures_one) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 1225 | static const byte data[] = { |
| 1226 | SIGNATURES_SECTION(1, SIG_ENTRY_v_v), // -- |
| 1227 | FUNCTION_SIGNATURES_SECTION(1, 0) // -- |
| 1228 | }; |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 1229 | EXPECT_VERIFIES(data); |
| 1230 | } |
| 1231 | |
| 1232 | TEST_F(WasmModuleVerifyTest, FunctionBodies_empty) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 1233 | static const byte data[] = { |
| 1234 | EMPTY_SIGNATURES_SECTION, // -- |
| 1235 | EMPTY_FUNCTION_SIGNATURES_SECTION, // -- |
| 1236 | EMPTY_FUNCTION_BODIES_SECTION // -- |
| 1237 | }; |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 1238 | EXPECT_VERIFIES(data); |
| 1239 | } |
| 1240 | |
| 1241 | TEST_F(WasmModuleVerifyTest, FunctionBodies_one_empty) { |
| 1242 | static const byte data[] = { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 1243 | SIGNATURES_SECTION(1, SIG_ENTRY_v_v), // -- |
| 1244 | FUNCTION_SIGNATURES_SECTION(1, 0), // -- |
| 1245 | SECTION(FUNCTION_BODIES, 1 + SIZEOF_EMPTY_BODY), 1, EMPTY_BODY // -- |
| 1246 | }; |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 1247 | EXPECT_VERIFIES(data); |
| 1248 | } |
| 1249 | |
| 1250 | TEST_F(WasmModuleVerifyTest, FunctionBodies_one_nop) { |
| 1251 | static const byte data[] = { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 1252 | SIGNATURES_SECTION(1, SIG_ENTRY_v_v), // -- |
| 1253 | FUNCTION_SIGNATURES_SECTION(1, 0), // -- |
| 1254 | SECTION(FUNCTION_BODIES, 1 + SIZEOF_NOP_BODY), 1, NOP_BODY // -- |
| 1255 | }; |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 1256 | EXPECT_VERIFIES(data); |
| 1257 | } |
| 1258 | |
| 1259 | TEST_F(WasmModuleVerifyTest, FunctionBodies_count_mismatch1) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 1260 | static const byte data[] = { |
| 1261 | SIGNATURES_SECTION(1, SIG_ENTRY_v_v), // -- |
| 1262 | FUNCTION_SIGNATURES_SECTION(2, 0, 0), // -- |
| 1263 | SECTION(FUNCTION_BODIES, 1 + SIZEOF_EMPTY_BODY), 1, // -- |
| 1264 | EMPTY_BODY // -- |
| 1265 | }; |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 1266 | EXPECT_FAILURE(data); |
| 1267 | } |
| 1268 | |
| 1269 | TEST_F(WasmModuleVerifyTest, FunctionBodies_count_mismatch2) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 1270 | static const byte data[] = { |
| 1271 | SIGNATURES_SECTION(1, SIG_ENTRY_v_v), // -- |
| 1272 | FUNCTION_SIGNATURES_SECTION(1, 0), // -- |
| 1273 | SECTION(FUNCTION_BODIES, 1 + 2 * SIZEOF_NOP_BODY), // -- |
| 1274 | 2, // -- |
| 1275 | NOP_BODY, // -- |
| 1276 | NOP_BODY // -- |
| 1277 | }; |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 1278 | EXPECT_FAILURE(data); |
| 1279 | } |
| 1280 | |
| 1281 | TEST_F(WasmModuleVerifyTest, Names_empty) { |
| 1282 | static const byte data[] = { |
| 1283 | EMPTY_SIGNATURES_SECTION, EMPTY_FUNCTION_SIGNATURES_SECTION, |
| 1284 | EMPTY_FUNCTION_BODIES_SECTION, EMPTY_NAMES_SECTION}; |
| 1285 | EXPECT_VERIFIES(data); |
| 1286 | } |
| 1287 | |
| 1288 | TEST_F(WasmModuleVerifyTest, Names_one_empty) { |
| 1289 | static const byte data[] = { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 1290 | SIGNATURES_SECTION(1, SIG_ENTRY_v_v), // -- |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 1291 | FUNCTION_SIGNATURES_SECTION(1, 0), // -- |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 1292 | SECTION(FUNCTION_BODIES, 1 + SIZEOF_EMPTY_BODY), |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 1293 | 1, |
| 1294 | EMPTY_BODY, // -- |
| 1295 | SECTION(NAMES, 1 + 5), |
| 1296 | 1, |
| 1297 | FOO_STRING, |
| 1298 | NO_LOCAL_NAMES // -- |
| 1299 | }; |
| 1300 | EXPECT_VERIFIES(data); |
| 1301 | } |
| 1302 | |
| 1303 | TEST_F(WasmModuleVerifyTest, Names_two_empty) { |
| 1304 | static const byte data[] = { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 1305 | SIGNATURES_SECTION(1, SIG_ENTRY_v_v), // -- |
| 1306 | FUNCTION_SIGNATURES_SECTION(2, 0, 0), // -- |
| 1307 | SECTION(FUNCTION_BODIES, 1 + 2 * SIZEOF_EMPTY_BODY), // -- |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 1308 | 2, |
| 1309 | EMPTY_BODY, |
| 1310 | EMPTY_BODY, // -- |
| 1311 | SECTION(NAMES, 1 + 10), |
| 1312 | 2, // -- |
| 1313 | FOO_STRING, |
| 1314 | NO_LOCAL_NAMES, // -- |
| 1315 | FOO_STRING, |
| 1316 | NO_LOCAL_NAMES, // -- |
| 1317 | }; |
| 1318 | EXPECT_VERIFIES(data); |
| 1319 | } |
| 1320 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1321 | } // namespace wasm |
| 1322 | } // namespace internal |
| 1323 | } // namespace v8 |