/src/capstonenext/arch/WASM/WASMDisassembler.c
Line | Count | Source (jump to first uncovered line) |
1 | | /* Capstone Disassembly Engine */ |
2 | | /* By Spike, xwings 2019 */ |
3 | | |
4 | | #include <string.h> |
5 | | #include <stddef.h> |
6 | | |
7 | | #include "WASMDisassembler.h" |
8 | | #include "WASMMapping.h" |
9 | | #include "../../cs_priv.h" |
10 | | |
11 | | static const short opcodes[256] = { |
12 | | WASM_INS_UNREACHABLE, |
13 | | WASM_INS_NOP, |
14 | | WASM_INS_BLOCK, |
15 | | WASM_INS_LOOP, |
16 | | WASM_INS_IF, |
17 | | WASM_INS_ELSE, |
18 | | -1, |
19 | | -1, |
20 | | -1, |
21 | | -1, |
22 | | -1, |
23 | | WASM_INS_END, |
24 | | WASM_INS_BR, |
25 | | WASM_INS_BR_IF, |
26 | | WASM_INS_BR_TABLE, |
27 | | WASM_INS_RETURN, |
28 | | WASM_INS_CALL, |
29 | | WASM_INS_CALL_INDIRECT, |
30 | | -1, |
31 | | -1, |
32 | | -1, |
33 | | -1, |
34 | | -1, |
35 | | -1, |
36 | | -1, |
37 | | -1, |
38 | | WASM_INS_DROP, |
39 | | WASM_INS_SELECT, |
40 | | -1, |
41 | | -1, |
42 | | -1, |
43 | | -1, |
44 | | WASM_INS_GET_LOCAL, |
45 | | WASM_INS_SET_LOCAL, |
46 | | WASM_INS_TEE_LOCAL, |
47 | | WASM_INS_GET_GLOBAL, |
48 | | WASM_INS_SET_GLOBAL, |
49 | | -1, |
50 | | -1, |
51 | | -1, |
52 | | WASM_INS_I32_LOAD, |
53 | | WASM_INS_I64_LOAD, |
54 | | WASM_INS_F32_LOAD, |
55 | | WASM_INS_F64_LOAD, |
56 | | WASM_INS_I32_LOAD8_S, |
57 | | WASM_INS_I32_LOAD8_U, |
58 | | WASM_INS_I32_LOAD16_S, |
59 | | WASM_INS_I32_LOAD16_U, |
60 | | WASM_INS_I64_LOAD8_S, |
61 | | WASM_INS_I64_LOAD8_U, |
62 | | WASM_INS_I64_LOAD16_S, |
63 | | WASM_INS_I64_LOAD16_U, |
64 | | WASM_INS_I64_LOAD32_S, |
65 | | WASM_INS_I64_LOAD32_U, |
66 | | WASM_INS_I32_STORE, |
67 | | WASM_INS_I64_STORE, |
68 | | WASM_INS_F32_STORE, |
69 | | WASM_INS_F64_STORE, |
70 | | WASM_INS_I32_STORE8, |
71 | | WASM_INS_I32_STORE16, |
72 | | WASM_INS_I64_STORE8, |
73 | | WASM_INS_I64_STORE16, |
74 | | WASM_INS_I64_STORE32, |
75 | | WASM_INS_CURRENT_MEMORY, |
76 | | WASM_INS_GROW_MEMORY, |
77 | | WASM_INS_I32_CONST, |
78 | | WASM_INS_I64_CONST, |
79 | | WASM_INS_F32_CONST, |
80 | | WASM_INS_F64_CONST, |
81 | | WASM_INS_I32_EQZ, |
82 | | WASM_INS_I32_EQ, |
83 | | WASM_INS_I32_NE, |
84 | | WASM_INS_I32_LT_S, |
85 | | WASM_INS_I32_LT_U, |
86 | | WASM_INS_I32_GT_S, |
87 | | WASM_INS_I32_GT_U, |
88 | | WASM_INS_I32_LE_S, |
89 | | WASM_INS_I32_LE_U, |
90 | | WASM_INS_I32_GE_S, |
91 | | WASM_INS_I32_GE_U, |
92 | | WASM_INS_I64_EQZ, |
93 | | WASM_INS_I64_EQ, |
94 | | WASM_INS_I64_NE, |
95 | | WASM_INS_I64_LT_S, |
96 | | WASM_INS_I64_LT_U, |
97 | | WASN_INS_I64_GT_S, |
98 | | WASM_INS_I64_GT_U, |
99 | | WASM_INS_I64_LE_S, |
100 | | WASM_INS_I64_LE_U, |
101 | | WASM_INS_I64_GE_S, |
102 | | WASM_INS_I64_GE_U, |
103 | | WASM_INS_F32_EQ, |
104 | | WASM_INS_F32_NE, |
105 | | WASM_INS_F32_LT, |
106 | | WASM_INS_F32_GT, |
107 | | WASM_INS_F32_LE, |
108 | | WASM_INS_F32_GE, |
109 | | WASM_INS_F64_EQ, |
110 | | WASM_INS_F64_NE, |
111 | | WASM_INS_F64_LT, |
112 | | WASM_INS_F64_GT, |
113 | | WASM_INS_F64_LE, |
114 | | WASM_INS_F64_GE, |
115 | | WASM_INS_I32_CLZ, |
116 | | WASM_INS_I32_CTZ, |
117 | | WASM_INS_I32_POPCNT, |
118 | | WASM_INS_I32_ADD, |
119 | | WASM_INS_I32_SUB, |
120 | | WASM_INS_I32_MUL, |
121 | | WASM_INS_I32_DIV_S, |
122 | | WASM_INS_I32_DIV_U, |
123 | | WASM_INS_I32_REM_S, |
124 | | WASM_INS_I32_REM_U, |
125 | | WASM_INS_I32_AND, |
126 | | WASM_INS_I32_OR, |
127 | | WASM_INS_I32_XOR, |
128 | | WASM_INS_I32_SHL, |
129 | | WASM_INS_I32_SHR_S, |
130 | | WASM_INS_I32_SHR_U, |
131 | | WASM_INS_I32_ROTL, |
132 | | WASM_INS_I32_ROTR, |
133 | | WASM_INS_I64_CLZ, |
134 | | WASM_INS_I64_CTZ, |
135 | | WASM_INS_I64_POPCNT, |
136 | | WASM_INS_I64_ADD, |
137 | | WASM_INS_I64_SUB, |
138 | | WASM_INS_I64_MUL, |
139 | | WASM_INS_I64_DIV_S, |
140 | | WASM_INS_I64_DIV_U, |
141 | | WASM_INS_I64_REM_S, |
142 | | WASM_INS_I64_REM_U, |
143 | | WASM_INS_I64_AND, |
144 | | WASM_INS_I64_OR, |
145 | | WASM_INS_I64_XOR, |
146 | | WASM_INS_I64_SHL, |
147 | | WASM_INS_I64_SHR_S, |
148 | | WASM_INS_I64_SHR_U, |
149 | | WASM_INS_I64_ROTL, |
150 | | WASM_INS_I64_ROTR, |
151 | | WASM_INS_F32_ABS, |
152 | | WASM_INS_F32_NEG, |
153 | | WASM_INS_F32_CEIL, |
154 | | WASM_INS_F32_FLOOR, |
155 | | WASM_INS_F32_TRUNC, |
156 | | WASM_INS_F32_NEAREST, |
157 | | WASM_INS_F32_SQRT, |
158 | | WASM_INS_F32_ADD, |
159 | | WASM_INS_F32_SUB, |
160 | | WASM_INS_F32_MUL, |
161 | | WASM_INS_F32_DIV, |
162 | | WASM_INS_F32_MIN, |
163 | | WASM_INS_F32_MAX, |
164 | | WASM_INS_F32_COPYSIGN, |
165 | | WASM_INS_F64_ABS, |
166 | | WASM_INS_F64_NEG, |
167 | | WASM_INS_F64_CEIL, |
168 | | WASM_INS_F64_FLOOR, |
169 | | WASM_INS_F64_TRUNC, |
170 | | WASM_INS_F64_NEAREST, |
171 | | WASM_INS_F64_SQRT, |
172 | | WASM_INS_F64_ADD, |
173 | | WASM_INS_F64_SUB, |
174 | | WASM_INS_F64_MUL, |
175 | | WASM_INS_F64_DIV, |
176 | | WASM_INS_F64_MIN, |
177 | | WASM_INS_F64_MAX, |
178 | | WASM_INS_F64_COPYSIGN, |
179 | | WASM_INS_I32_WARP_I64, |
180 | | WASP_INS_I32_TRUNC_S_F32, |
181 | | WASM_INS_I32_TRUNC_U_F32, |
182 | | WASM_INS_I32_TRUNC_S_F64, |
183 | | WASM_INS_I32_TRUNC_U_F64, |
184 | | WASM_INS_I64_EXTEND_S_I32, |
185 | | WASM_INS_I64_EXTEND_U_I32, |
186 | | WASM_INS_I64_TRUNC_S_F32, |
187 | | WASM_INS_I64_TRUNC_U_F32, |
188 | | WASM_INS_I64_TRUNC_S_F64, |
189 | | WASM_INS_I64_TRUNC_U_F64, |
190 | | WASM_INS_F32_CONVERT_S_I32, |
191 | | WASM_INS_F32_CONVERT_U_I32, |
192 | | WASM_INS_F32_CONVERT_S_I64, |
193 | | WASM_INS_F32_CONVERT_U_I64, |
194 | | WASM_INS_F32_DEMOTE_F64, |
195 | | WASM_INS_F64_CONVERT_S_I32, |
196 | | WASM_INS_F64_CONVERT_U_I32, |
197 | | WASM_INS_F64_CONVERT_S_I64, |
198 | | WASM_INS_F64_CONVERT_U_I64, |
199 | | WASM_INS_F64_PROMOTE_F32, |
200 | | WASM_INS_I32_REINTERPRET_F32, |
201 | | WASM_INS_I64_REINTERPRET_F64, |
202 | | WASM_INS_F32_REINTERPRET_I32, |
203 | | WASM_INS_F64_REINTERPRET_I64, |
204 | | -1, |
205 | | -1, |
206 | | -1, |
207 | | -1, |
208 | | -1, |
209 | | -1, |
210 | | -1, |
211 | | -1, |
212 | | -1, |
213 | | -1, |
214 | | -1, |
215 | | -1, |
216 | | -1, |
217 | | -1, |
218 | | -1, |
219 | | -1, |
220 | | -1, |
221 | | -1, |
222 | | -1, |
223 | | -1, |
224 | | -1, |
225 | | -1, |
226 | | -1, |
227 | | -1, |
228 | | -1, |
229 | | -1, |
230 | | -1, |
231 | | -1, |
232 | | -1, |
233 | | -1, |
234 | | -1, |
235 | | -1, |
236 | | -1, |
237 | | -1, |
238 | | -1, |
239 | | -1, |
240 | | -1, |
241 | | -1, |
242 | | -1, |
243 | | -1, |
244 | | -1, |
245 | | -1, |
246 | | -1, |
247 | | -1, |
248 | | -1, |
249 | | -1, |
250 | | -1, |
251 | | -1, |
252 | | -1, |
253 | | -1, |
254 | | -1, |
255 | | -1, |
256 | | -1, |
257 | | -1, |
258 | | -1, |
259 | | -1, |
260 | | -1, |
261 | | -1, |
262 | | -1, |
263 | | -1, |
264 | | -1, |
265 | | -1, |
266 | | -1, |
267 | | -1, |
268 | | }; |
269 | | |
270 | | // input | code: code pointer start from varuint32 |
271 | | // | code_len: real code len count from varint |
272 | | // | leng: return value, means length of varint. -1 means error |
273 | | // return | varint |
274 | | static uint32_t get_varuint32(const uint8_t *code, size_t code_len, |
275 | | size_t *leng) |
276 | 47.4k | { |
277 | 47.4k | uint32_t data = 0; |
278 | 47.4k | int i; |
279 | | |
280 | 66.5k | for (i = 0;; i++) { |
281 | 66.5k | if (code_len < i + 1) { |
282 | 486 | *leng = -1; |
283 | 486 | return 0; |
284 | 486 | } |
285 | | |
286 | 66.1k | if (i > 4 || (i == 4 && (code[i] & 0x7f) > 0x0f)) { |
287 | 813 | *leng = -1; |
288 | 813 | return 0; |
289 | 813 | } |
290 | | |
291 | 65.2k | data = data + (((uint32_t)code[i] & 0x7f) << (i * 7)); |
292 | 65.2k | if (code[i] >> 7 == 0) { |
293 | 46.1k | break; |
294 | 46.1k | } |
295 | 65.2k | } |
296 | | |
297 | 46.1k | *leng = i + 1; |
298 | | |
299 | 46.1k | return data; |
300 | 47.4k | } |
301 | | |
302 | | // input | code : code pointer start from varuint64 |
303 | | // | code_len : real code len count from varint |
304 | | // | leng: return value, means length of varint. -1 means error |
305 | | // return | varint |
306 | | static uint64_t get_varuint64(const uint8_t *code, size_t code_len, |
307 | | size_t *leng) |
308 | 1.25k | { |
309 | 1.25k | uint64_t data; |
310 | 1.25k | int i; |
311 | | |
312 | 1.25k | data = 0; |
313 | 2.83k | for (i = 0;; i++) { |
314 | 2.83k | if (code_len < i + 1) { |
315 | 9 | *leng = -1; |
316 | 9 | return 0; |
317 | 9 | } |
318 | | |
319 | 2.82k | if (i > 9 || (i == 9 && (code[i] & 0x7f) > 0x01)) { |
320 | 2 | *leng = -1; |
321 | 2 | return 0; |
322 | 2 | } |
323 | | |
324 | 2.82k | data = data + (((uint64_t)code[i] & 0x7f) << (i * 7)); |
325 | 2.82k | if (code[i] >> 7 == 0) { |
326 | 1.24k | break; |
327 | 1.24k | } |
328 | 2.82k | } |
329 | | |
330 | 1.24k | *leng = i + 1; |
331 | | |
332 | 1.24k | return data; |
333 | 1.25k | } |
334 | | |
335 | | // input | code : code pointer start from uint32 |
336 | | // | dest : the pointer where we store the uint32 |
337 | | // return | None |
338 | | static void get_uint32(const uint8_t *code, uint32_t *dest) |
339 | 832 | { |
340 | 832 | memcpy(dest, code, 4); |
341 | 832 | } |
342 | | |
343 | | // input | code : code pointer start from uint32 |
344 | | // | dest : the pointer where we store the uint64 |
345 | | // return | None |
346 | | static void get_uint64(const uint8_t *code, uint64_t *dest) |
347 | 988 | { |
348 | 988 | memcpy(dest, code, 8); |
349 | 988 | } |
350 | | |
351 | | // input | code : code pointer start from varint7 |
352 | | // | code_len : start from the code pointer to the end, how long is it |
353 | | // | leng : length of the param , -1 means error |
354 | | // return | data of varint7 |
355 | | static int8_t get_varint7(const uint8_t *code, size_t code_len, size_t *leng) |
356 | 1.77k | { |
357 | 1.77k | int8_t data; |
358 | | |
359 | 1.77k | if (code_len < 1) { |
360 | 0 | *leng = -1; |
361 | 0 | return -1; |
362 | 0 | } |
363 | | |
364 | 1.77k | *leng = 1; |
365 | | |
366 | 1.77k | if (code[0] == 0x40) { |
367 | 136 | return -1; |
368 | 136 | } |
369 | | |
370 | 1.63k | data = code[0] & 0x7f; |
371 | | |
372 | 1.63k | return data; |
373 | 1.77k | } |
374 | | |
375 | | // input | code : code pointer start from varuint32 |
376 | | // | code_len : start from the code pointer to the end, how long is it |
377 | | // | param_size : pointer of the param size |
378 | | // | MI : Mcinst handler in this round of disasm |
379 | | // return | true/false if the function successfully finished |
380 | | static bool read_varuint32(const uint8_t *code, size_t code_len, |
381 | | uint16_t *param_size, MCInst *MI) |
382 | 6.36k | { |
383 | 6.36k | size_t len = 0; |
384 | 6.36k | uint32_t data; |
385 | | |
386 | 6.36k | data = get_varuint32(code, code_len, &len); |
387 | 6.36k | if (len == -1) { |
388 | 38 | return false; |
389 | 38 | } |
390 | | |
391 | 6.32k | if (MI->flat_insn->detail) { |
392 | 6.32k | MI->flat_insn->detail->wasm.op_count = 1; |
393 | 6.32k | MI->flat_insn->detail->wasm.operands[0].type = |
394 | 6.32k | WASM_OP_VARUINT32; |
395 | 6.32k | MI->flat_insn->detail->wasm.operands[0].size = len; |
396 | 6.32k | MI->flat_insn->detail->wasm.operands[0].varuint32 = data; |
397 | 6.32k | } |
398 | | |
399 | 6.32k | MI->wasm_data.size = len; |
400 | 6.32k | MI->wasm_data.type = WASM_OP_VARUINT32; |
401 | 6.32k | MI->wasm_data.uint32 = data; |
402 | 6.32k | *param_size = len; |
403 | | |
404 | 6.32k | return true; |
405 | 6.36k | } |
406 | | |
407 | | // input | code : code pointer start from varuint64 |
408 | | // | code_len : start from the code pointer to the end, how long is it |
409 | | // | param_size : pointer of the param size |
410 | | // | MI : Mcinst handler in this round of disasm |
411 | | // return | true/false if the function successfully finished |
412 | | static bool read_varuint64(const uint8_t *code, size_t code_len, |
413 | | uint16_t *param_size, MCInst *MI) |
414 | 1.25k | { |
415 | 1.25k | size_t len = 0; |
416 | 1.25k | uint64_t data; |
417 | | |
418 | 1.25k | data = get_varuint64(code, code_len, &len); |
419 | 1.25k | if (len == -1) { |
420 | 11 | return false; |
421 | 11 | } |
422 | | |
423 | 1.24k | if (MI->flat_insn->detail) { |
424 | 1.24k | MI->flat_insn->detail->wasm.op_count = 1; |
425 | 1.24k | MI->flat_insn->detail->wasm.operands[0].type = |
426 | 1.24k | WASM_OP_VARUINT64; |
427 | 1.24k | MI->flat_insn->detail->wasm.operands[0].size = len; |
428 | 1.24k | MI->flat_insn->detail->wasm.operands[0].varuint64 = data; |
429 | 1.24k | } |
430 | | |
431 | 1.24k | MI->wasm_data.size = len; |
432 | 1.24k | MI->wasm_data.type = WASM_OP_VARUINT64; |
433 | 1.24k | MI->wasm_data.uint64 = data; |
434 | 1.24k | *param_size = len; |
435 | | |
436 | 1.24k | return true; |
437 | 1.25k | } |
438 | | |
439 | | // input | code : code pointer start from memoryimmediate |
440 | | // | code_len : start from the code pointer to the end, how long is it |
441 | | // | param_size : pointer of the param size (sum of two params) |
442 | | // | MI : Mcinst handler in this round of disasm |
443 | | // return | true/false if the function successfully finished |
444 | | static bool read_memoryimmediate(const uint8_t *code, size_t code_len, |
445 | | uint16_t *param_size, MCInst *MI) |
446 | 6.49k | { |
447 | 6.49k | size_t tmp, len = 0; |
448 | 6.49k | uint32_t data[2]; |
449 | | |
450 | 6.49k | if (MI->flat_insn->detail) { |
451 | 6.49k | MI->flat_insn->detail->wasm.op_count = 2; |
452 | 6.49k | } |
453 | | |
454 | 6.49k | data[0] = get_varuint32(code, code_len, &tmp); |
455 | 6.49k | if (tmp == -1) { |
456 | 44 | return false; |
457 | 44 | } |
458 | | |
459 | 6.45k | if (MI->flat_insn->detail) { |
460 | 6.45k | MI->flat_insn->detail->wasm.operands[0].type = |
461 | 6.45k | WASM_OP_VARUINT32; |
462 | 6.45k | MI->flat_insn->detail->wasm.operands[0].size = tmp; |
463 | 6.45k | MI->flat_insn->detail->wasm.operands[0].varuint32 = data[0]; |
464 | 6.45k | } |
465 | | |
466 | 6.45k | len = tmp; |
467 | 6.45k | data[1] = get_varuint32(&code[len], code_len - len, &tmp); |
468 | | |
469 | 6.45k | if (MI->flat_insn->detail) { |
470 | 6.45k | MI->flat_insn->detail->wasm.operands[1].type = |
471 | 6.45k | WASM_OP_VARUINT32; |
472 | 6.45k | MI->flat_insn->detail->wasm.operands[1].size = tmp; |
473 | 6.45k | MI->flat_insn->detail->wasm.operands[1].varuint32 = data[1]; |
474 | 6.45k | } |
475 | | |
476 | 6.45k | len += tmp; |
477 | 6.45k | MI->wasm_data.size = len; |
478 | 6.45k | MI->wasm_data.type = WASM_OP_IMM; |
479 | 6.45k | MI->wasm_data.immediate[0] = data[0]; |
480 | 6.45k | MI->wasm_data.immediate[1] = data[1]; |
481 | 6.45k | *param_size = len; |
482 | | |
483 | 6.45k | return true; |
484 | 6.49k | } |
485 | | |
486 | | // input | code : code pointer start from uint32 |
487 | | // | code_len : start from the code pointer to the end, how long is it |
488 | | // | param_size : pointer of the param size |
489 | | // | MI : Mcinst handler in this round of disasm |
490 | | // return | true/false if the function successfully finished |
491 | | static bool read_uint32(const uint8_t *code, size_t code_len, |
492 | | uint16_t *param_size, MCInst *MI) |
493 | 426 | { |
494 | 426 | if (code_len < 4) { |
495 | 10 | return false; |
496 | 10 | } |
497 | | |
498 | 416 | get_uint32(code, &(MI->wasm_data.uint32)); |
499 | | |
500 | 416 | if (MI->flat_insn->detail) { |
501 | 416 | MI->flat_insn->detail->wasm.op_count = 1; |
502 | 416 | MI->flat_insn->detail->wasm.operands[0].type = WASM_OP_UINT32; |
503 | 416 | MI->flat_insn->detail->wasm.operands[0].size = 4; |
504 | 416 | get_uint32(code, |
505 | 416 | &(MI->flat_insn->detail->wasm.operands[0].uint32)); |
506 | 416 | } |
507 | | |
508 | 416 | MI->wasm_data.size = 4; |
509 | 416 | MI->wasm_data.type = WASM_OP_UINT32; |
510 | 416 | *param_size = 4; |
511 | | |
512 | 416 | return true; |
513 | 426 | } |
514 | | |
515 | | // input | code : code pointer start from uint64 |
516 | | // | code_len : start from the code pointer to the end, how long is it |
517 | | // | param_size : pointer of the param size |
518 | | // | MI : Mcinst handler in this round of disasm |
519 | | // return | true/false if the function successfully finished |
520 | | static bool read_uint64(const uint8_t *code, size_t code_len, |
521 | | uint16_t *param_size, MCInst *MI) |
522 | 508 | { |
523 | 508 | if (code_len < 8) { |
524 | 14 | return false; |
525 | 14 | } |
526 | | |
527 | 494 | get_uint64(code, &(MI->wasm_data.uint64)); |
528 | | |
529 | 494 | if (MI->flat_insn->detail) { |
530 | 494 | MI->flat_insn->detail->wasm.op_count = 1; |
531 | 494 | MI->flat_insn->detail->wasm.operands[0].type = WASM_OP_UINT64; |
532 | 494 | MI->flat_insn->detail->wasm.operands[0].size = 8; |
533 | 494 | get_uint64(code, |
534 | 494 | &(MI->flat_insn->detail->wasm.operands[0].uint64)); |
535 | 494 | } |
536 | | |
537 | 494 | MI->wasm_data.size = 8; |
538 | 494 | MI->wasm_data.type = WASM_OP_UINT64; |
539 | 494 | *param_size = 8; |
540 | | |
541 | 494 | return true; |
542 | 508 | } |
543 | | |
544 | | // input | code : code pointer start from brtable |
545 | | // | code_len : start from the code pointer to the end, how long is it |
546 | | // | param_size : pointer of the param size (sum of all param) |
547 | | // | MI : Mcinst handler in this round of disasm |
548 | | // return | true/false if the function successfully finished |
549 | | static bool read_brtable(const uint8_t *code, size_t code_len, |
550 | | uint16_t *param_size, MCInst *MI) |
551 | 2.16k | { |
552 | 2.16k | uint32_t length, default_target; |
553 | 2.16k | int tmp_len = 0, i; |
554 | 2.16k | size_t var_len; |
555 | | |
556 | | // read length |
557 | 2.16k | length = get_varuint32(code, code_len, &var_len); |
558 | 2.16k | if (var_len == -1) { |
559 | 16 | return false; |
560 | 16 | } |
561 | | |
562 | 2.15k | tmp_len += var_len; |
563 | 2.15k | MI->wasm_data.brtable.length = length; |
564 | 2.15k | if (length >= UINT32_MAX - tmp_len) { |
565 | | // integer overflow check |
566 | 2 | return false; |
567 | 2 | } |
568 | 2.14k | if (code_len < tmp_len + length) { |
569 | | // safety check that we have minimum enough data to read |
570 | 106 | return false; |
571 | 106 | } |
572 | | // base address + 1 byte opcode + tmp_len for number of cases = start of targets |
573 | 2.04k | MI->wasm_data.brtable.address = MI->address + 1 + tmp_len; |
574 | | |
575 | 2.04k | if (MI->flat_insn->detail) { |
576 | 2.04k | MI->flat_insn->detail->wasm.op_count = 1; |
577 | 2.04k | MI->flat_insn->detail->wasm.operands[0].type = WASM_OP_BRTABLE; |
578 | 2.04k | MI->flat_insn->detail->wasm.operands[0].brtable.length = |
579 | 2.04k | MI->wasm_data.brtable.length; |
580 | 2.04k | MI->flat_insn->detail->wasm.operands[0].brtable.address = |
581 | 2.04k | MI->wasm_data.brtable.address; |
582 | 2.04k | } |
583 | | |
584 | | // read data |
585 | 13.9k | for (i = 0; i < length; i++) { |
586 | 11.9k | if (code_len < tmp_len) { |
587 | 0 | return false; |
588 | 0 | } |
589 | | |
590 | 11.9k | get_varuint32(code + tmp_len, code_len - tmp_len, &var_len); |
591 | 11.9k | if (var_len == -1) { |
592 | 42 | return false; |
593 | 42 | } |
594 | | |
595 | 11.9k | tmp_len += var_len; |
596 | 11.9k | } |
597 | | |
598 | | // read default target |
599 | 2.00k | default_target = |
600 | 2.00k | get_varuint32(code + tmp_len, code_len - tmp_len, &var_len); |
601 | 2.00k | if (var_len == -1) { |
602 | 54 | return false; |
603 | 54 | } |
604 | | |
605 | 1.94k | MI->wasm_data.brtable.default_target = default_target; |
606 | 1.94k | MI->wasm_data.type = WASM_OP_BRTABLE; |
607 | 1.94k | *param_size = tmp_len + var_len; |
608 | | |
609 | 1.94k | if (MI->flat_insn->detail) { |
610 | 1.94k | MI->flat_insn->detail->wasm.operands[0].size = *param_size; |
611 | 1.94k | MI->flat_insn->detail->wasm.operands[0].brtable.default_target = |
612 | 1.94k | MI->wasm_data.brtable.default_target; |
613 | 1.94k | } |
614 | | |
615 | 1.94k | return true; |
616 | 2.00k | } |
617 | | |
618 | | // input | code : code pointer start from varint7 |
619 | | // | code_len : start from the code pointer to the end, how long is it |
620 | | // | param_size : pointer of the param size |
621 | | // | MI : Mcinst handler in this round of disasm |
622 | | // return | true/false if the function successfully finished |
623 | | static bool read_varint7(const uint8_t *code, size_t code_len, |
624 | | uint16_t *param_size, MCInst *MI) |
625 | 1.77k | { |
626 | 1.77k | size_t len = 0; |
627 | | |
628 | 1.77k | MI->wasm_data.type = WASM_OP_INT7; |
629 | 1.77k | MI->wasm_data.int7 = get_varint7(code, code_len, &len); |
630 | 1.77k | if (len == -1) { |
631 | 0 | return false; |
632 | 0 | } |
633 | | |
634 | 1.77k | if (MI->flat_insn->detail) { |
635 | 1.77k | MI->flat_insn->detail->wasm.op_count = 1; |
636 | 1.77k | MI->flat_insn->detail->wasm.operands[0].type = WASM_OP_INT7; |
637 | 1.77k | MI->flat_insn->detail->wasm.operands[0].size = 1; |
638 | 1.77k | MI->flat_insn->detail->wasm.operands[0].int7 = |
639 | 1.77k | MI->wasm_data.int7; |
640 | 1.77k | } |
641 | | |
642 | 1.77k | *param_size = len; |
643 | | |
644 | 1.77k | return true; |
645 | 1.77k | } |
646 | | |
647 | | bool WASM_getInstruction(csh ud, const uint8_t *code, size_t code_len, |
648 | | MCInst *MI, uint16_t *size, uint64_t address, |
649 | | void *inst_info) |
650 | 112k | { |
651 | 112k | unsigned char opcode; |
652 | 112k | uint16_t param_size; |
653 | | |
654 | 112k | if (code_len == 0) |
655 | 0 | return false; |
656 | | |
657 | 112k | opcode = code[0]; |
658 | 112k | if (opcodes[opcode] == -1) { |
659 | | // invalid opcode |
660 | 262 | return false; |
661 | 262 | } |
662 | | |
663 | | // valid opcode |
664 | 112k | MI->address = address; |
665 | 112k | MI->OpcodePub = MI->Opcode = opcode; |
666 | | |
667 | 112k | if (MI->flat_insn->detail) { |
668 | 112k | memset(MI->flat_insn->detail, 0, |
669 | 112k | offsetof(cs_detail, wasm) + sizeof(cs_wasm)); |
670 | 112k | WASM_get_insn_id((cs_struct *)ud, MI->flat_insn, opcode); |
671 | 112k | } |
672 | | |
673 | | // setup groups |
674 | 112k | switch (opcode) { |
675 | 0 | default: |
676 | 0 | return false; |
677 | | |
678 | 744 | case WASM_INS_I32_CONST: |
679 | 744 | if (code_len == 1 || |
680 | 744 | !read_varuint32(&code[1], code_len - 1, ¶m_size, MI)) { |
681 | 20 | return false; |
682 | 20 | } |
683 | | |
684 | 724 | if (MI->flat_insn->detail) { |
685 | 724 | MI->flat_insn->detail->wasm.op_count = 1; |
686 | 724 | MI->flat_insn->detail |
687 | 724 | ->groups[MI->flat_insn->detail->groups_count] = |
688 | 724 | WASM_GRP_NUMBERIC; |
689 | 724 | MI->flat_insn->detail->groups_count++; |
690 | 724 | } |
691 | | |
692 | 724 | *size = param_size + 1; |
693 | | |
694 | 724 | break; |
695 | | |
696 | 1.26k | case WASM_INS_I64_CONST: |
697 | 1.26k | if (code_len == 1 || |
698 | 1.26k | !read_varuint64(&code[1], code_len - 1, ¶m_size, MI)) { |
699 | 19 | return false; |
700 | 19 | } |
701 | | |
702 | 1.24k | if (MI->flat_insn->detail) { |
703 | 1.24k | MI->flat_insn->detail->wasm.op_count = 1; |
704 | 1.24k | MI->flat_insn->detail |
705 | 1.24k | ->groups[MI->flat_insn->detail->groups_count] = |
706 | 1.24k | WASM_GRP_NUMBERIC; |
707 | 1.24k | MI->flat_insn->detail->groups_count++; |
708 | 1.24k | } |
709 | | |
710 | 1.24k | *size = param_size + 1; |
711 | | |
712 | 1.24k | break; |
713 | | |
714 | 431 | case WASM_INS_F32_CONST: |
715 | 431 | if (code_len == 1 || |
716 | 431 | !read_uint32(&code[1], code_len - 1, ¶m_size, MI)) { |
717 | 15 | return false; |
718 | 15 | } |
719 | | |
720 | 416 | if (MI->flat_insn->detail) { |
721 | 416 | MI->flat_insn->detail->wasm.op_count = 1; |
722 | 416 | MI->flat_insn->detail |
723 | 416 | ->groups[MI->flat_insn->detail->groups_count] = |
724 | 416 | WASM_GRP_NUMBERIC; |
725 | 416 | MI->flat_insn->detail->groups_count++; |
726 | 416 | } |
727 | | |
728 | 416 | *size = param_size + 1; |
729 | | |
730 | 416 | break; |
731 | | |
732 | 512 | case WASM_INS_F64_CONST: |
733 | 512 | if (code_len == 1 || |
734 | 512 | !read_uint64(&code[1], code_len - 1, ¶m_size, MI)) { |
735 | 18 | return false; |
736 | 18 | } |
737 | | |
738 | 494 | if (MI->flat_insn->detail) { |
739 | 494 | MI->flat_insn->detail->wasm.op_count = 1; |
740 | 494 | MI->flat_insn->detail |
741 | 494 | ->groups[MI->flat_insn->detail->groups_count] = |
742 | 494 | WASM_GRP_NUMBERIC; |
743 | 494 | MI->flat_insn->detail->groups_count++; |
744 | 494 | } |
745 | | |
746 | 494 | *size = param_size + 1; |
747 | | |
748 | 494 | break; |
749 | | |
750 | 583 | case WASM_INS_I32_EQZ: |
751 | 1.23k | case WASM_INS_I32_EQ: |
752 | 1.65k | case WASM_INS_I32_NE: |
753 | 2.08k | case WASM_INS_I32_LT_S: |
754 | 2.50k | case WASM_INS_I32_LT_U: |
755 | 2.94k | case WASM_INS_I32_GT_S: |
756 | 3.40k | case WASM_INS_I32_GT_U: |
757 | 3.81k | case WASM_INS_I32_LE_S: |
758 | 5.64k | case WASM_INS_I32_LE_U: |
759 | 6.24k | case WASM_INS_I32_GE_S: |
760 | 6.66k | case WASM_INS_I32_GE_U: |
761 | 7.07k | case WASM_INS_I64_EQZ: |
762 | 8.17k | case WASM_INS_I64_EQ: |
763 | 9.35k | case WASM_INS_I64_NE: |
764 | 9.80k | case WASM_INS_I64_LT_S: |
765 | 10.2k | case WASM_INS_I64_LT_U: |
766 | 10.6k | case WASN_INS_I64_GT_S: |
767 | 11.1k | case WASM_INS_I64_GT_U: |
768 | 11.6k | case WASM_INS_I64_LE_S: |
769 | 12.0k | case WASM_INS_I64_LE_U: |
770 | 12.6k | case WASM_INS_I64_GE_S: |
771 | 13.0k | case WASM_INS_I64_GE_U: |
772 | 13.6k | case WASM_INS_F32_EQ: |
773 | 14.0k | case WASM_INS_F32_NE: |
774 | 14.7k | case WASM_INS_F32_LT: |
775 | 15.2k | case WASM_INS_F32_GT: |
776 | 15.6k | case WASM_INS_F32_LE: |
777 | 16.0k | case WASM_INS_F32_GE: |
778 | 20.6k | case WASM_INS_F64_EQ: |
779 | 21.2k | case WASM_INS_F64_NE: |
780 | 21.8k | case WASM_INS_F64_LT: |
781 | 22.3k | case WASM_INS_F64_GT: |
782 | 22.8k | case WASM_INS_F64_LE: |
783 | 23.5k | case WASM_INS_F64_GE: |
784 | 23.9k | case WASM_INS_I32_CLZ: |
785 | 24.4k | case WASM_INS_I32_CTZ: |
786 | 24.9k | case WASM_INS_I32_POPCNT: |
787 | 25.3k | case WASM_INS_I32_ADD: |
788 | 25.8k | case WASM_INS_I32_SUB: |
789 | 26.4k | case WASM_INS_I32_MUL: |
790 | 27.3k | case WASM_INS_I32_DIV_S: |
791 | 27.8k | case WASM_INS_I32_DIV_U: |
792 | 28.3k | case WASM_INS_I32_REM_S: |
793 | 28.7k | case WASM_INS_I32_REM_U: |
794 | 29.4k | case WASM_INS_I32_AND: |
795 | 29.9k | case WASM_INS_I32_OR: |
796 | 30.5k | case WASM_INS_I32_XOR: |
797 | 31.1k | case WASM_INS_I32_SHL: |
798 | 31.8k | case WASM_INS_I32_SHR_S: |
799 | 32.3k | case WASM_INS_I32_SHR_U: |
800 | 32.7k | case WASM_INS_I32_ROTL: |
801 | 33.4k | case WASM_INS_I32_ROTR: |
802 | 33.8k | case WASM_INS_I64_CLZ: |
803 | 34.3k | case WASM_INS_I64_CTZ: |
804 | 35.2k | case WASM_INS_I64_POPCNT: |
805 | 35.6k | case WASM_INS_I64_ADD: |
806 | 36.7k | case WASM_INS_I64_SUB: |
807 | 37.1k | case WASM_INS_I64_MUL: |
808 | 37.6k | case WASM_INS_I64_DIV_S: |
809 | 38.4k | case WASM_INS_I64_DIV_U: |
810 | 38.9k | case WASM_INS_I64_REM_S: |
811 | 39.4k | case WASM_INS_I64_REM_U: |
812 | 39.8k | case WASM_INS_I64_AND: |
813 | 40.2k | case WASM_INS_I64_OR: |
814 | 40.7k | case WASM_INS_I64_XOR: |
815 | 41.5k | case WASM_INS_I64_SHL: |
816 | 42.1k | case WASM_INS_I64_SHR_S: |
817 | 44.9k | case WASM_INS_I64_SHR_U: |
818 | 46.4k | case WASM_INS_I64_ROTL: |
819 | 47.3k | case WASM_INS_I64_ROTR: |
820 | 48.3k | case WASM_INS_F32_ABS: |
821 | 48.8k | case WASM_INS_F32_NEG: |
822 | 49.4k | case WASM_INS_F32_CEIL: |
823 | 49.8k | case WASM_INS_F32_FLOOR: |
824 | 50.3k | case WASM_INS_F32_TRUNC: |
825 | 50.9k | case WASM_INS_F32_NEAREST: |
826 | 51.3k | case WASM_INS_F32_SQRT: |
827 | 52.3k | case WASM_INS_F32_ADD: |
828 | 52.8k | case WASM_INS_F32_SUB: |
829 | 53.3k | case WASM_INS_F32_MUL: |
830 | 53.8k | case WASM_INS_F32_DIV: |
831 | 54.3k | case WASM_INS_F32_MIN: |
832 | 54.7k | case WASM_INS_F32_MAX: |
833 | 55.3k | case WASM_INS_F32_COPYSIGN: |
834 | 55.8k | case WASM_INS_F64_ABS: |
835 | 56.3k | case WASM_INS_F64_NEG: |
836 | 56.8k | case WASM_INS_F64_CEIL: |
837 | 57.2k | case WASM_INS_F64_FLOOR: |
838 | 57.8k | case WASM_INS_F64_TRUNC: |
839 | 58.4k | case WASM_INS_F64_NEAREST: |
840 | 58.8k | case WASM_INS_F64_SQRT: |
841 | 59.2k | case WASM_INS_F64_ADD: |
842 | 60.0k | case WASM_INS_F64_SUB: |
843 | 60.5k | case WASM_INS_F64_MUL: |
844 | 60.9k | case WASM_INS_F64_DIV: |
845 | 61.3k | case WASM_INS_F64_MIN: |
846 | 61.9k | case WASM_INS_F64_MAX: |
847 | 62.5k | case WASM_INS_F64_COPYSIGN: |
848 | 62.9k | case WASM_INS_I32_WARP_I64: |
849 | 63.9k | case WASP_INS_I32_TRUNC_S_F32: |
850 | 64.4k | case WASM_INS_I32_TRUNC_U_F32: |
851 | 65.0k | case WASM_INS_I32_TRUNC_S_F64: |
852 | 65.4k | case WASM_INS_I32_TRUNC_U_F64: |
853 | 65.9k | case WASM_INS_I64_EXTEND_S_I32: |
854 | 66.5k | case WASM_INS_I64_EXTEND_U_I32: |
855 | 67.1k | case WASM_INS_I64_TRUNC_S_F32: |
856 | 67.6k | case WASM_INS_I64_TRUNC_U_F32: |
857 | 68.0k | case WASM_INS_I64_TRUNC_S_F64: |
858 | 68.8k | case WASM_INS_I64_TRUNC_U_F64: |
859 | 69.2k | case WASM_INS_F32_CONVERT_S_I32: |
860 | 69.6k | case WASM_INS_F32_CONVERT_U_I32: |
861 | 70.1k | case WASM_INS_F32_CONVERT_S_I64: |
862 | 71.9k | case WASM_INS_F32_CONVERT_U_I64: |
863 | 72.5k | case WASM_INS_F32_DEMOTE_F64: |
864 | 73.0k | case WASM_INS_F64_CONVERT_S_I32: |
865 | 73.5k | case WASM_INS_F64_CONVERT_U_I32: |
866 | 73.9k | case WASM_INS_F64_CONVERT_S_I64: |
867 | 74.4k | case WASM_INS_F64_CONVERT_U_I64: |
868 | 74.8k | case WASM_INS_F64_PROMOTE_F32: |
869 | 75.2k | case WASM_INS_I32_REINTERPRET_F32: |
870 | 75.6k | case WASM_INS_I64_REINTERPRET_F64: |
871 | 76.1k | case WASM_INS_F32_REINTERPRET_I32: |
872 | 76.9k | case WASM_INS_F64_REINTERPRET_I64: |
873 | 76.9k | MI->wasm_data.type = WASM_OP_NONE; |
874 | | |
875 | 76.9k | if (MI->flat_insn->detail) { |
876 | 76.9k | MI->flat_insn->detail->wasm.op_count = 0; |
877 | 76.9k | MI->flat_insn->detail |
878 | 76.9k | ->groups[MI->flat_insn->detail->groups_count] = |
879 | 76.9k | WASM_GRP_NUMBERIC; |
880 | 76.9k | MI->flat_insn->detail->groups_count++; |
881 | 76.9k | } |
882 | | |
883 | 76.9k | *size = 1; |
884 | | |
885 | 76.9k | break; |
886 | | |
887 | 406 | case WASM_INS_DROP: |
888 | 916 | case WASM_INS_SELECT: |
889 | 916 | MI->wasm_data.type = WASM_OP_NONE; |
890 | | |
891 | 916 | if (MI->flat_insn->detail) { |
892 | 916 | MI->flat_insn->detail->wasm.op_count = 0; |
893 | 916 | MI->flat_insn->detail |
894 | 916 | ->groups[MI->flat_insn->detail->groups_count] = |
895 | 916 | WASM_GRP_PARAMETRIC; |
896 | 916 | MI->flat_insn->detail->groups_count++; |
897 | 916 | } |
898 | | |
899 | 916 | *size = 1; |
900 | | |
901 | 916 | break; |
902 | | |
903 | 928 | case WASM_INS_GET_LOCAL: |
904 | 1.42k | case WASM_INS_SET_LOCAL: |
905 | 2.18k | case WASM_INS_TEE_LOCAL: |
906 | 2.74k | case WASM_INS_GET_GLOBAL: |
907 | 3.29k | case WASM_INS_SET_GLOBAL: |
908 | 3.29k | if (code_len == 1 || |
909 | 3.29k | !read_varuint32(&code[1], code_len - 1, ¶m_size, MI)) { |
910 | 76 | return false; |
911 | 76 | } |
912 | | |
913 | 3.22k | if (MI->flat_insn->detail) { |
914 | 3.22k | MI->flat_insn->detail->wasm.op_count = 1; |
915 | 3.22k | MI->flat_insn->detail |
916 | 3.22k | ->groups[MI->flat_insn->detail->groups_count] = |
917 | 3.22k | WASM_GRP_VARIABLE; |
918 | 3.22k | MI->flat_insn->detail->groups_count++; |
919 | 3.22k | } |
920 | | |
921 | 3.22k | *size = param_size + 1; |
922 | | |
923 | 3.22k | break; |
924 | | |
925 | 436 | case WASM_INS_I32_LOAD: |
926 | 1.04k | case WASM_INS_I64_LOAD: |
927 | 1.49k | case WASM_INS_F32_LOAD: |
928 | 1.93k | case WASM_INS_F64_LOAD: |
929 | 2.50k | case WASM_INS_I32_LOAD8_S: |
930 | 3.03k | case WASM_INS_I32_LOAD8_U: |
931 | 3.47k | case WASM_INS_I32_LOAD16_S: |
932 | 4.12k | case WASM_INS_I32_LOAD16_U: |
933 | 5.10k | case WASM_INS_I64_LOAD8_S: |
934 | 5.94k | case WASM_INS_I64_LOAD8_U: |
935 | 6.52k | case WASM_INS_I64_LOAD16_S: |
936 | 7.00k | case WASM_INS_I64_LOAD16_U: |
937 | 7.54k | case WASM_INS_I64_LOAD32_S: |
938 | 7.99k | case WASM_INS_I64_LOAD32_U: |
939 | 8.78k | case WASM_INS_I32_STORE: |
940 | 9.31k | case WASM_INS_I64_STORE: |
941 | 9.86k | case WASM_INS_F32_STORE: |
942 | 10.2k | case WASM_INS_F64_STORE: |
943 | 10.7k | case WASM_INS_I32_STORE8: |
944 | 11.1k | case WASM_INS_I32_STORE16: |
945 | 11.6k | case WASM_INS_I64_STORE8: |
946 | 12.4k | case WASM_INS_I64_STORE16: |
947 | 12.8k | case WASM_INS_I64_STORE32: |
948 | 12.8k | if (code_len == 1 || |
949 | 12.8k | !read_memoryimmediate(&code[1], code_len - 1, ¶m_size, |
950 | 12.5k | MI)) { |
951 | 413 | return false; |
952 | 413 | } |
953 | | |
954 | 12.4k | if (MI->flat_insn->detail) { |
955 | 12.4k | MI->flat_insn->detail->wasm.op_count = 2; |
956 | 12.4k | MI->flat_insn->detail |
957 | 12.4k | ->groups[MI->flat_insn->detail->groups_count] = |
958 | 12.4k | WASM_GRP_MEMORY; |
959 | 12.4k | MI->flat_insn->detail->groups_count++; |
960 | 12.4k | } |
961 | | |
962 | 12.4k | *size = param_size + 1; |
963 | | |
964 | 12.4k | break; |
965 | | |
966 | 459 | case WASM_INS_CURRENT_MEMORY: |
967 | 956 | case WASM_INS_GROW_MEMORY: |
968 | 956 | MI->wasm_data.type = WASM_OP_NONE; |
969 | | |
970 | 956 | if (MI->flat_insn->detail) { |
971 | 956 | MI->flat_insn->detail->wasm.op_count = 0; |
972 | 956 | MI->flat_insn->detail |
973 | 956 | ->groups[MI->flat_insn->detail->groups_count] = |
974 | 956 | WASM_GRP_MEMORY; |
975 | 956 | MI->flat_insn->detail->groups_count++; |
976 | 956 | } |
977 | | |
978 | 956 | *size = 1; |
979 | | |
980 | 956 | break; |
981 | | |
982 | 5.71k | case WASM_INS_UNREACHABLE: |
983 | 6.36k | case WASM_INS_NOP: |
984 | 6.85k | case WASM_INS_ELSE: |
985 | 7.51k | case WASM_INS_END: |
986 | 8.05k | case WASM_INS_RETURN: |
987 | 8.05k | MI->wasm_data.type = WASM_OP_NONE; |
988 | | |
989 | 8.05k | if (MI->flat_insn->detail) { |
990 | 8.05k | MI->flat_insn->detail->wasm.op_count = 0; |
991 | 8.05k | MI->flat_insn->detail |
992 | 8.05k | ->groups[MI->flat_insn->detail->groups_count] = |
993 | 8.05k | WASM_GRP_CONTROL; |
994 | 8.05k | MI->flat_insn->detail->groups_count++; |
995 | 8.05k | } |
996 | | |
997 | 8.05k | *size = 1; |
998 | | |
999 | 8.05k | break; |
1000 | | |
1001 | 690 | case WASM_INS_BLOCK: |
1002 | 1.33k | case WASM_INS_LOOP: |
1003 | 1.81k | case WASM_INS_IF: |
1004 | 1.81k | if (code_len == 1 || |
1005 | 1.81k | !read_varint7(&code[1], code_len - 1, ¶m_size, MI)) { |
1006 | 41 | return false; |
1007 | 41 | } |
1008 | | |
1009 | 1.77k | if (MI->flat_insn->detail) { |
1010 | 1.77k | MI->flat_insn->detail->wasm.op_count = 1; |
1011 | 1.77k | MI->flat_insn->detail |
1012 | 1.77k | ->groups[MI->flat_insn->detail->groups_count] = |
1013 | 1.77k | WASM_GRP_CONTROL; |
1014 | 1.77k | MI->flat_insn->detail->groups_count++; |
1015 | 1.77k | } |
1016 | | |
1017 | 1.77k | *size = param_size + 1; |
1018 | | |
1019 | 1.77k | break; |
1020 | | |
1021 | 529 | case WASM_INS_BR: |
1022 | 1.33k | case WASM_INS_BR_IF: |
1023 | 1.78k | case WASM_INS_CALL: |
1024 | 2.43k | case WASM_INS_CALL_INDIRECT: |
1025 | 2.43k | if (code_len == 1 || |
1026 | 2.43k | !read_varuint32(&code[1], code_len - 1, ¶m_size, MI)) { |
1027 | 56 | return false; |
1028 | 56 | } |
1029 | | |
1030 | 2.38k | if (MI->flat_insn->detail) { |
1031 | 2.38k | MI->flat_insn->detail->wasm.op_count = 1; |
1032 | 2.38k | MI->flat_insn->detail |
1033 | 2.38k | ->groups[MI->flat_insn->detail->groups_count] = |
1034 | 2.38k | WASM_GRP_CONTROL; |
1035 | 2.38k | MI->flat_insn->detail->groups_count++; |
1036 | 2.38k | } |
1037 | | |
1038 | 2.38k | *size = param_size + 1; |
1039 | | |
1040 | 2.38k | break; |
1041 | | |
1042 | 2.17k | case WASM_INS_BR_TABLE: |
1043 | 2.17k | if (code_len == 1 || |
1044 | 2.17k | !read_brtable(&code[1], code_len - 1, ¶m_size, MI)) { |
1045 | 227 | return false; |
1046 | 227 | } |
1047 | | |
1048 | 1.94k | if (MI->flat_insn->detail) { |
1049 | 1.94k | MI->flat_insn->detail->wasm.op_count = 1; |
1050 | 1.94k | MI->flat_insn->detail |
1051 | 1.94k | ->groups[MI->flat_insn->detail->groups_count] = |
1052 | 1.94k | WASM_GRP_CONTROL; |
1053 | 1.94k | MI->flat_insn->detail->groups_count++; |
1054 | 1.94k | } |
1055 | | |
1056 | 1.94k | *size = param_size + 1; |
1057 | | |
1058 | 1.94k | break; |
1059 | 112k | } |
1060 | | |
1061 | 111k | return true; |
1062 | 112k | } |