1;;;;;; Invalid UTF-8 import module names
2
3;;;; Continuation bytes not preceded by prefixes
4
5;; encoding starts with (first) continuation byte
6(assert_malformed
7 (module binary
8 "\00asm" "\01\00\00\00"
9 "\02\0b" ;; import section
10 "\01" ;; length 1
11 "\04\74\65\73\74" ;; "test"
12 "\01\80" ;; "\80"
13 "\03" ;; GlobalImport
14 "\7f" ;; i32
15 "\00" ;; immutable
16 )
17 "malformed UTF-8 encoding"
18)
19
20;; encoding starts with (0x8f) continuation byte
21(assert_malformed
22 (module binary
23 "\00asm" "\01\00\00\00"
24 "\02\0b" ;; import section
25 "\01" ;; length 1
26 "\04\74\65\73\74" ;; "test"
27 "\01\8f" ;; "\8f"
28 "\03" ;; GlobalImport
29 "\7f" ;; i32
30 "\00" ;; immutable
31 )
32 "malformed UTF-8 encoding"
33)
34
35;; encoding starts with (0x90) continuation byte
36(assert_malformed
37 (module binary
38 "\00asm" "\01\00\00\00"
39 "\02\0b" ;; import section
40 "\01" ;; length 1
41 "\04\74\65\73\74" ;; "test"
42 "\01\90" ;; "\90"
43 "\03" ;; GlobalImport
44 "\7f" ;; i32
45 "\00" ;; immutable
46 )
47 "malformed UTF-8 encoding"
48)
49
50;; encoding starts with (0x9f) continuation byte
51(assert_malformed
52 (module binary
53 "\00asm" "\01\00\00\00"
54 "\02\0b" ;; import section
55 "\01" ;; length 1
56 "\04\74\65\73\74" ;; "test"
57 "\01\9f" ;; "\9f"
58 "\03" ;; GlobalImport
59 "\7f" ;; i32
60 "\00" ;; immutable
61 )
62 "malformed UTF-8 encoding"
63)
64
65;; encoding starts with (0xa0) continuation byte
66(assert_malformed
67 (module binary
68 "\00asm" "\01\00\00\00"
69 "\02\0b" ;; import section
70 "\01" ;; length 1
71 "\04\74\65\73\74" ;; "test"
72 "\01\a0" ;; "\a0"
73 "\03" ;; GlobalImport
74 "\7f" ;; i32
75 "\00" ;; immutable
76 )
77 "malformed UTF-8 encoding"
78)
79
80;; encoding starts with (last) continuation byte
81(assert_malformed
82 (module binary
83 "\00asm" "\01\00\00\00"
84 "\02\0b" ;; import section
85 "\01" ;; length 1
86 "\04\74\65\73\74" ;; "test"
87 "\01\bf" ;; "\bf"
88 "\03" ;; GlobalImport
89 "\7f" ;; i32
90 "\00" ;; immutable
91 )
92 "malformed UTF-8 encoding"
93)
94
95;;;; 2-byte sequences
96
97;; 2-byte sequence contains 3 bytes
98(assert_malformed
99 (module binary
100 "\00asm" "\01\00\00\00"
101 "\02\0d" ;; import section
102 "\01" ;; length 1
103 "\04\74\65\73\74" ;; "test"
104 "\03\c2\80\80" ;; "\c2\80\80"
105 "\03" ;; GlobalImport
106 "\7f" ;; i32
107 "\00" ;; immutable
108 )
109 "malformed UTF-8 encoding"
110)
111
112;; 2-byte sequence contains 1 byte at end of string
113(assert_malformed
114 (module binary
115 "\00asm" "\01\00\00\00"
116 "\02\0b" ;; import section
117 "\01" ;; length 1
118 "\04\74\65\73\74" ;; "test"
119 "\01\c2" ;; "\c2"
120 "\03" ;; GlobalImport
121 "\7f" ;; i32
122 "\00" ;; immutable
123 )
124 "malformed UTF-8 encoding"
125)
126
127;; 2-byte sequence contains 1 byte
128(assert_malformed
129 (module binary
130 "\00asm" "\01\00\00\00"
131 "\02\0c" ;; import section
132 "\01" ;; length 1
133 "\04\74\65\73\74" ;; "test"
134 "\02\c2\2e" ;; "\c2."
135 "\03" ;; GlobalImport
136 "\7f" ;; i32
137 "\00" ;; immutable
138 )
139 "malformed UTF-8 encoding"
140)
141
142;;;; 2-byte sequence contents
143
144;; overlong encoding after 0xc0 prefix
145(assert_malformed
146 (module binary
147 "\00asm" "\01\00\00\00"
148 "\02\0c" ;; import section
149 "\01" ;; length 1
150 "\04\74\65\73\74" ;; "test"
151 "\02\c0\80" ;; "\c0\80"
152 "\03" ;; GlobalImport
153 "\7f" ;; i32
154 "\00" ;; immutable
155 )
156 "malformed UTF-8 encoding"
157)
158
159;; overlong encoding after 0xc0 prefix
160(assert_malformed
161 (module binary
162 "\00asm" "\01\00\00\00"
163 "\02\0c" ;; import section
164 "\01" ;; length 1
165 "\04\74\65\73\74" ;; "test"
166 "\02\c0\bf" ;; "\c0\bf"
167 "\03" ;; GlobalImport
168 "\7f" ;; i32
169 "\00" ;; immutable
170 )
171 "malformed UTF-8 encoding"
172)
173
174;; overlong encoding after 0xc1 prefix
175(assert_malformed
176 (module binary
177 "\00asm" "\01\00\00\00"
178 "\02\0c" ;; import section
179 "\01" ;; length 1
180 "\04\74\65\73\74" ;; "test"
181 "\02\c1\80" ;; "\c1\80"
182 "\03" ;; GlobalImport
183 "\7f" ;; i32
184 "\00" ;; immutable
185 )
186 "malformed UTF-8 encoding"
187)
188
189;; overlong encoding after 0xc1 prefix
190(assert_malformed
191 (module binary
192 "\00asm" "\01\00\00\00"
193 "\02\0c" ;; import section
194 "\01" ;; length 1
195 "\04\74\65\73\74" ;; "test"
196 "\02\c1\bf" ;; "\c1\bf"
197 "\03" ;; GlobalImport
198 "\7f" ;; i32
199 "\00" ;; immutable
200 )
201 "malformed UTF-8 encoding"
202)
203
204;; byte after (first) 2-byte prefix not a contination byte
205(assert_malformed
206 (module binary
207 "\00asm" "\01\00\00\00"
208 "\02\0c" ;; import section
209 "\01" ;; length 1
210 "\04\74\65\73\74" ;; "test"
211 "\02\c2\00" ;; "\c2\00"
212 "\03" ;; GlobalImport
213 "\7f" ;; i32
214 "\00" ;; immutable
215 )
216 "malformed UTF-8 encoding"
217)
218
219;; byte after (first) 2-byte prefix not a continuation byte
220(assert_malformed
221 (module binary
222 "\00asm" "\01\00\00\00"
223 "\02\0c" ;; import section
224 "\01" ;; length 1
225 "\04\74\65\73\74" ;; "test"
226 "\02\c2\7f" ;; "\c2\7f"
227 "\03" ;; GlobalImport
228 "\7f" ;; i32
229 "\00" ;; immutable
230 )
231 "malformed UTF-8 encoding"
232)
233
234;; byte after (first) 2-byte prefix not a continuation byte
235(assert_malformed
236 (module binary
237 "\00asm" "\01\00\00\00"
238 "\02\0c" ;; import section
239 "\01" ;; length 1
240 "\04\74\65\73\74" ;; "test"
241 "\02\c2\c0" ;; "\c2\c0"
242 "\03" ;; GlobalImport
243 "\7f" ;; i32
244 "\00" ;; immutable
245 )
246 "malformed UTF-8 encoding"
247)
248
249;; byte after (first) 2-byte prefix not a continuation byte
250(assert_malformed
251 (module binary
252 "\00asm" "\01\00\00\00"
253 "\02\0c" ;; import section
254 "\01" ;; length 1
255 "\04\74\65\73\74" ;; "test"
256 "\02\c2\fd" ;; "\c2\fd"
257 "\03" ;; GlobalImport
258 "\7f" ;; i32
259 "\00" ;; immutable
260 )
261 "malformed UTF-8 encoding"
262)
263
264;; byte after (last) 2-byte prefix not a continuation byte
265(assert_malformed
266 (module binary
267 "\00asm" "\01\00\00\00"
268 "\02\0c" ;; import section
269 "\01" ;; length 1
270 "\04\74\65\73\74" ;; "test"
271 "\02\df\00" ;; "\df\00"
272 "\03" ;; GlobalImport
273 "\7f" ;; i32
274 "\00" ;; immutable
275 )
276 "malformed UTF-8 encoding"
277)
278
279;; byte after (last) 2-byte prefix not a continuation byte
280(assert_malformed
281 (module binary
282 "\00asm" "\01\00\00\00"
283 "\02\0c" ;; import section
284 "\01" ;; length 1
285 "\04\74\65\73\74" ;; "test"
286 "\02\df\7f" ;; "\df\7f"
287 "\03" ;; GlobalImport
288 "\7f" ;; i32
289 "\00" ;; immutable
290 )
291 "malformed UTF-8 encoding"
292)
293
294;; byte after (last) 2-byte prefix not a continuation byte
295(assert_malformed
296 (module binary
297 "\00asm" "\01\00\00\00"
298 "\02\0c" ;; import section
299 "\01" ;; length 1
300 "\04\74\65\73\74" ;; "test"
301 "\02\df\c0" ;; "\df\c0"
302 "\03" ;; GlobalImport
303 "\7f" ;; i32
304 "\00" ;; immutable
305 )
306 "malformed UTF-8 encoding"
307)
308
309;; byte after (last) 2-byte prefix not a continuation byte
310(assert_malformed
311 (module binary
312 "\00asm" "\01\00\00\00"
313 "\02\0c" ;; import section
314 "\01" ;; length 1
315 "\04\74\65\73\74" ;; "test"
316 "\02\df\fd" ;; "\df\fd"
317 "\03" ;; GlobalImport
318 "\7f" ;; i32
319 "\00" ;; immutable
320 )
321 "malformed UTF-8 encoding"
322)
323
324;;;; 3-byte sequences
325
326;; 3-byte sequence contains 4 bytes
327(assert_malformed
328 (module binary
329 "\00asm" "\01\00\00\00"
330 "\02\0e" ;; import section
331 "\01" ;; length 1
332 "\04\74\65\73\74" ;; "test"
333 "\04\e1\80\80\80" ;; "\e1\80\80\80"
334 "\03" ;; GlobalImport
335 "\7f" ;; i32
336 "\00" ;; immutable
337 )
338 "malformed UTF-8 encoding"
339)
340
341;; 3-byte sequence contains 2 bytes at end of string
342(assert_malformed
343 (module binary
344 "\00asm" "\01\00\00\00"
345 "\02\0c" ;; import section
346 "\01" ;; length 1
347 "\04\74\65\73\74" ;; "test"
348 "\02\e1\80" ;; "\e1\80"
349 "\03" ;; GlobalImport
350 "\7f" ;; i32
351 "\00" ;; immutable
352 )
353 "malformed UTF-8 encoding"
354)
355
356;; 3-byte sequence contains 2 bytes
357(assert_malformed
358 (module binary
359 "\00asm" "\01\00\00\00"
360 "\02\0d" ;; import section
361 "\01" ;; length 1
362 "\04\74\65\73\74" ;; "test"
363 "\03\e1\80\2e" ;; "\e1\80."
364 "\03" ;; GlobalImport
365 "\7f" ;; i32
366 "\00" ;; immutable
367 )
368 "malformed UTF-8 encoding"
369)
370
371;; 3-byte sequence contains 1 byte at end of string
372(assert_malformed
373 (module binary
374 "\00asm" "\01\00\00\00"
375 "\02\0b" ;; import section
376 "\01" ;; length 1
377 "\04\74\65\73\74" ;; "test"
378 "\01\e1" ;; "\e1"
379 "\03" ;; GlobalImport
380 "\7f" ;; i32
381 "\00" ;; immutable
382 )
383 "malformed UTF-8 encoding"
384)
385
386;; 3-byte sequence contains 1 byte
387(assert_malformed
388 (module binary
389 "\00asm" "\01\00\00\00"
390 "\02\0c" ;; import section
391 "\01" ;; length 1
392 "\04\74\65\73\74" ;; "test"
393 "\02\e1\2e" ;; "\e1."
394 "\03" ;; GlobalImport
395 "\7f" ;; i32
396 "\00" ;; immutable
397 )
398 "malformed UTF-8 encoding"
399)
400
401;;;; 3-byte sequence contents
402
403;; first byte after (0xe0) 3-byte prefix not a continuation byte
404(assert_malformed
405 (module binary
406 "\00asm" "\01\00\00\00"
407 "\02\0d" ;; import section
408 "\01" ;; length 1
409 "\04\74\65\73\74" ;; "test"
410 "\03\e0\00\a0" ;; "\e0\00\a0"
411 "\03" ;; GlobalImport
412 "\7f" ;; i32
413 "\00" ;; immutable
414 )
415 "malformed UTF-8 encoding"
416)
417
418;; first byte after (0xe0) 3-byte prefix not a continuation byte
419(assert_malformed
420 (module binary
421 "\00asm" "\01\00\00\00"
422 "\02\0d" ;; import section
423 "\01" ;; length 1
424 "\04\74\65\73\74" ;; "test"
425 "\03\e0\7f\a0" ;; "\e0\7f\a0"
426 "\03" ;; GlobalImport
427 "\7f" ;; i32
428 "\00" ;; immutable
429 )
430 "malformed UTF-8 encoding"
431)
432
433;; overlong encoding after 0xe0 prefix
434(assert_malformed
435 (module binary
436 "\00asm" "\01\00\00\00"
437 "\02\0d" ;; import section
438 "\01" ;; length 1
439 "\04\74\65\73\74" ;; "test"
440 "\03\e0\80\80" ;; "\e0\80\80"
441 "\03" ;; GlobalImport
442 "\7f" ;; i32
443 "\00" ;; immutable
444 )
445 "malformed UTF-8 encoding"
446)
447
448;; overlong encoding after 0xe0 prefix
449(assert_malformed
450 (module binary
451 "\00asm" "\01\00\00\00"
452 "\02\0d" ;; import section
453 "\01" ;; length 1
454 "\04\74\65\73\74" ;; "test"
455 "\03\e0\80\a0" ;; "\e0\80\a0"
456 "\03" ;; GlobalImport
457 "\7f" ;; i32
458 "\00" ;; immutable
459 )
460 "malformed UTF-8 encoding"
461)
462
463;; overlong encoding after 0xe0 prefix
464(assert_malformed
465 (module binary
466 "\00asm" "\01\00\00\00"
467 "\02\0d" ;; import section
468 "\01" ;; length 1
469 "\04\74\65\73\74" ;; "test"
470 "\03\e0\9f\a0" ;; "\e0\9f\a0"
471 "\03" ;; GlobalImport
472 "\7f" ;; i32
473 "\00" ;; immutable
474 )
475 "malformed UTF-8 encoding"
476)
477
478;; overlong encoding after 0xe0 prefix
479(assert_malformed
480 (module binary
481 "\00asm" "\01\00\00\00"
482 "\02\0d" ;; import section
483 "\01" ;; length 1
484 "\04\74\65\73\74" ;; "test"
485 "\03\e0\9f\bf" ;; "\e0\9f\bf"
486 "\03" ;; GlobalImport
487 "\7f" ;; i32
488 "\00" ;; immutable
489 )
490 "malformed UTF-8 encoding"
491)
492
493;; first byte after (0xe0) 3-byte prefix not a continuation byte
494(assert_malformed
495 (module binary
496 "\00asm" "\01\00\00\00"
497 "\02\0d" ;; import section
498 "\01" ;; length 1
499 "\04\74\65\73\74" ;; "test"
500 "\03\e0\c0\a0" ;; "\e0\c0\a0"
501 "\03" ;; GlobalImport
502 "\7f" ;; i32
503 "\00" ;; immutable
504 )
505 "malformed UTF-8 encoding"
506)
507
508;; first byte after (0xe0) 3-byte prefix not a continuation byte
509(assert_malformed
510 (module binary
511 "\00asm" "\01\00\00\00"
512 "\02\0d" ;; import section
513 "\01" ;; length 1
514 "\04\74\65\73\74" ;; "test"
515 "\03\e0\fd\a0" ;; "\e0\fd\a0"
516 "\03" ;; GlobalImport
517 "\7f" ;; i32
518 "\00" ;; immutable
519 )
520 "malformed UTF-8 encoding"
521)
522
523;; first byte after (first normal) 3-byte prefix not a continuation byte
524(assert_malformed
525 (module binary
526 "\00asm" "\01\00\00\00"
527 "\02\0d" ;; import section
528 "\01" ;; length 1
529 "\04\74\65\73\74" ;; "test"
530 "\03\e1\00\80" ;; "\e1\00\80"
531 "\03" ;; GlobalImport
532 "\7f" ;; i32
533 "\00" ;; immutable
534 )
535 "malformed UTF-8 encoding"
536)
537
538;; first byte after (first normal) 3-byte prefix not a continuation byte
539(assert_malformed
540 (module binary
541 "\00asm" "\01\00\00\00"
542 "\02\0d" ;; import section
543 "\01" ;; length 1
544 "\04\74\65\73\74" ;; "test"
545 "\03\e1\7f\80" ;; "\e1\7f\80"
546 "\03" ;; GlobalImport
547 "\7f" ;; i32
548 "\00" ;; immutable
549 )
550 "malformed UTF-8 encoding"
551)
552
553;; first byte after (first normal) 3-byte prefix not a continuation byte
554(assert_malformed
555 (module binary
556 "\00asm" "\01\00\00\00"
557 "\02\0d" ;; import section
558 "\01" ;; length 1
559 "\04\74\65\73\74" ;; "test"
560 "\03\e1\c0\80" ;; "\e1\c0\80"
561 "\03" ;; GlobalImport
562 "\7f" ;; i32
563 "\00" ;; immutable
564 )
565 "malformed UTF-8 encoding"
566)
567
568;; first byte after (first normal) 3-byte prefix not a continuation byte
569(assert_malformed
570 (module binary
571 "\00asm" "\01\00\00\00"
572 "\02\0d" ;; import section
573 "\01" ;; length 1
574 "\04\74\65\73\74" ;; "test"
575 "\03\e1\fd\80" ;; "\e1\fd\80"
576 "\03" ;; GlobalImport
577 "\7f" ;; i32
578 "\00" ;; immutable
579 )
580 "malformed UTF-8 encoding"
581)
582
583;; first byte after (normal) 3-byte prefix not a continuation byte
584(assert_malformed
585 (module binary
586 "\00asm" "\01\00\00\00"
587 "\02\0d" ;; import section
588 "\01" ;; length 1
589 "\04\74\65\73\74" ;; "test"
590 "\03\ec\00\80" ;; "\ec\00\80"
591 "\03" ;; GlobalImport
592 "\7f" ;; i32
593 "\00" ;; immutable
594 )
595 "malformed UTF-8 encoding"
596)
597
598;; first byte after (normal) 3-byte prefix not a continuation byte
599(assert_malformed
600 (module binary
601 "\00asm" "\01\00\00\00"
602 "\02\0d" ;; import section
603 "\01" ;; length 1
604 "\04\74\65\73\74" ;; "test"
605 "\03\ec\7f\80" ;; "\ec\7f\80"
606 "\03" ;; GlobalImport
607 "\7f" ;; i32
608 "\00" ;; immutable
609 )
610 "malformed UTF-8 encoding"
611)
612
613;; first byte after (normal) 3-byte prefix not a continuation byte
614(assert_malformed
615 (module binary
616 "\00asm" "\01\00\00\00"
617 "\02\0d" ;; import section
618 "\01" ;; length 1
619 "\04\74\65\73\74" ;; "test"
620 "\03\ec\c0\80" ;; "\ec\c0\80"
621 "\03" ;; GlobalImport
622 "\7f" ;; i32
623 "\00" ;; immutable
624 )
625 "malformed UTF-8 encoding"
626)
627
628;; first byte after (normal) 3-byte prefix not a continuation byte
629(assert_malformed
630 (module binary
631 "\00asm" "\01\00\00\00"
632 "\02\0d" ;; import section
633 "\01" ;; length 1
634 "\04\74\65\73\74" ;; "test"
635 "\03\ec\fd\80" ;; "\ec\fd\80"
636 "\03" ;; GlobalImport
637 "\7f" ;; i32
638 "\00" ;; immutable
639 )
640 "malformed UTF-8 encoding"
641)
642
643;; first byte after (0xed) 3-byte prefix not a continuation byte
644(assert_malformed
645 (module binary
646 "\00asm" "\01\00\00\00"
647 "\02\0d" ;; import section
648 "\01" ;; length 1
649 "\04\74\65\73\74" ;; "test"
650 "\03\ed\00\80" ;; "\ed\00\80"
651 "\03" ;; GlobalImport
652 "\7f" ;; i32
653 "\00" ;; immutable
654 )
655 "malformed UTF-8 encoding"
656)
657
658;; first byte after (0xed) 3-byte prefix not a continuation byte
659(assert_malformed
660 (module binary
661 "\00asm" "\01\00\00\00"
662 "\02\0d" ;; import section
663 "\01" ;; length 1
664 "\04\74\65\73\74" ;; "test"
665 "\03\ed\7f\80" ;; "\ed\7f\80"
666 "\03" ;; GlobalImport
667 "\7f" ;; i32
668 "\00" ;; immutable
669 )
670 "malformed UTF-8 encoding"
671)
672
673;; byte sequence reserved for UTF-16 surrogate half
674(assert_malformed
675 (module binary
676 "\00asm" "\01\00\00\00"
677 "\02\0d" ;; import section
678 "\01" ;; length 1
679 "\04\74\65\73\74" ;; "test"
680 "\03\ed\a0\80" ;; "\ed\a0\80"
681 "\03" ;; GlobalImport
682 "\7f" ;; i32
683 "\00" ;; immutable
684 )
685 "malformed UTF-8 encoding"
686)
687
688;; byte sequence reserved for UTF-16 surrogate half
689(assert_malformed
690 (module binary
691 "\00asm" "\01\00\00\00"
692 "\02\0d" ;; import section
693 "\01" ;; length 1
694 "\04\74\65\73\74" ;; "test"
695 "\03\ed\a0\bf" ;; "\ed\a0\bf"
696 "\03" ;; GlobalImport
697 "\7f" ;; i32
698 "\00" ;; immutable
699 )
700 "malformed UTF-8 encoding"
701)
702
703;; byte sequence reserved for UTF-16 surrogate half
704(assert_malformed
705 (module binary
706 "\00asm" "\01\00\00\00"
707 "\02\0d" ;; import section
708 "\01" ;; length 1
709 "\04\74\65\73\74" ;; "test"
710 "\03\ed\bf\80" ;; "\ed\bf\80"
711 "\03" ;; GlobalImport
712 "\7f" ;; i32
713 "\00" ;; immutable
714 )
715 "malformed UTF-8 encoding"
716)
717
718;; byte sequence reserved for UTF-16 surrogate half
719(assert_malformed
720 (module binary
721 "\00asm" "\01\00\00\00"
722 "\02\0d" ;; import section
723 "\01" ;; length 1
724 "\04\74\65\73\74" ;; "test"
725 "\03\ed\bf\bf" ;; "\ed\bf\bf"
726 "\03" ;; GlobalImport
727 "\7f" ;; i32
728 "\00" ;; immutable
729 )
730 "malformed UTF-8 encoding"
731)
732
733;; first byte after (0xed) 3-byte prefix not a continuation byte
734(assert_malformed
735 (module binary
736 "\00asm" "\01\00\00\00"
737 "\02\0d" ;; import section
738 "\01" ;; length 1
739 "\04\74\65\73\74" ;; "test"
740 "\03\ed\c0\80" ;; "\ed\c0\80"
741 "\03" ;; GlobalImport
742 "\7f" ;; i32
743 "\00" ;; immutable
744 )
745 "malformed UTF-8 encoding"
746)
747
748;; first byte after (0xed) 3-byte prefix not a continuation byte
749(assert_malformed
750 (module binary
751 "\00asm" "\01\00\00\00"
752 "\02\0d" ;; import section
753 "\01" ;; length 1
754 "\04\74\65\73\74" ;; "test"
755 "\03\ed\fd\80" ;; "\ed\fd\80"
756 "\03" ;; GlobalImport
757 "\7f" ;; i32
758 "\00" ;; immutable
759 )
760 "malformed UTF-8 encoding"
761)
762
763;; first byte after (normal) 3-byte prefix not a continuation byte
764(assert_malformed
765 (module binary
766 "\00asm" "\01\00\00\00"
767 "\02\0d" ;; import section
768 "\01" ;; length 1
769 "\04\74\65\73\74" ;; "test"
770 "\03\ee\00\80" ;; "\ee\00\80"
771 "\03" ;; GlobalImport
772 "\7f" ;; i32
773 "\00" ;; immutable
774 )
775 "malformed UTF-8 encoding"
776)
777
778;; first byte after (normal) 3-byte prefix not a continuation byte
779(assert_malformed
780 (module binary
781 "\00asm" "\01\00\00\00"
782 "\02\0d" ;; import section
783 "\01" ;; length 1
784 "\04\74\65\73\74" ;; "test"
785 "\03\ee\7f\80" ;; "\ee\7f\80"
786 "\03" ;; GlobalImport
787 "\7f" ;; i32
788 "\00" ;; immutable
789 )
790 "malformed UTF-8 encoding"
791)
792
793;; first byte after (normal) 3-byte prefix not a continuation byte
794(assert_malformed
795 (module binary
796 "\00asm" "\01\00\00\00"
797 "\02\0d" ;; import section
798 "\01" ;; length 1
799 "\04\74\65\73\74" ;; "test"
800 "\03\ee\c0\80" ;; "\ee\c0\80"
801 "\03" ;; GlobalImport
802 "\7f" ;; i32
803 "\00" ;; immutable
804 )
805 "malformed UTF-8 encoding"
806)
807
808;; first byte after (normal) 3-byte prefix not a continuation byte
809(assert_malformed
810 (module binary
811 "\00asm" "\01\00\00\00"
812 "\02\0d" ;; import section
813 "\01" ;; length 1
814 "\04\74\65\73\74" ;; "test"
815 "\03\ee\fd\80" ;; "\ee\fd\80"
816 "\03" ;; GlobalImport
817 "\7f" ;; i32
818 "\00" ;; immutable
819 )
820 "malformed UTF-8 encoding"
821)
822
823;; first byte after (last normal) 3-byte prefix not a continuation byte
824(assert_malformed
825 (module binary
826 "\00asm" "\01\00\00\00"
827 "\02\0d" ;; import section
828 "\01" ;; length 1
829 "\04\74\65\73\74" ;; "test"
830 "\03\ef\00\80" ;; "\ef\00\80"
831 "\03" ;; GlobalImport
832 "\7f" ;; i32
833 "\00" ;; immutable
834 )
835 "malformed UTF-8 encoding"
836)
837
838;; first byte after (last normal) 3-byte prefix not a continuation byte
839(assert_malformed
840 (module binary
841 "\00asm" "\01\00\00\00"
842 "\02\0d" ;; import section
843 "\01" ;; length 1
844 "\04\74\65\73\74" ;; "test"
845 "\03\ef\7f\80" ;; "\ef\7f\80"
846 "\03" ;; GlobalImport
847 "\7f" ;; i32
848 "\00" ;; immutable
849 )
850 "malformed UTF-8 encoding"
851)
852
853;; first byte after (last normal) 3-byte prefix not a continuation byte
854(assert_malformed
855 (module binary
856 "\00asm" "\01\00\00\00"
857 "\02\0d" ;; import section
858 "\01" ;; length 1
859 "\04\74\65\73\74" ;; "test"
860 "\03\ef\c0\80" ;; "\ef\c0\80"
861 "\03" ;; GlobalImport
862 "\7f" ;; i32
863 "\00" ;; immutable
864 )
865 "malformed UTF-8 encoding"
866)
867
868;; first byte after (last normal) 3-byte prefix not a continuation byte
869(assert_malformed
870 (module binary
871 "\00asm" "\01\00\00\00"
872 "\02\0d" ;; import section
873 "\01" ;; length 1
874 "\04\74\65\73\74" ;; "test"
875 "\03\ef\fd\80" ;; "\ef\fd\80"
876 "\03" ;; GlobalImport
877 "\7f" ;; i32
878 "\00" ;; immutable
879 )
880 "malformed UTF-8 encoding"
881)
882
883;;;; 3-byte sequence contents (third byte)
884
885;; second byte after (0xe0) 3-byte prefix not a continuation byte
886(assert_malformed
887 (module binary
888 "\00asm" "\01\00\00\00"
889 "\02\0d" ;; import section
890 "\01" ;; length 1
891 "\04\74\65\73\74" ;; "test"
892 "\03\e0\a0\00" ;; "\e0\a0\00"
893 "\03" ;; GlobalImport
894 "\7f" ;; i32
895 "\00" ;; immutable
896 )
897 "malformed UTF-8 encoding"
898)
899
900;; second byte after (0xe0) 3-byte prefix not a continuation byte
901(assert_malformed
902 (module binary
903 "\00asm" "\01\00\00\00"
904 "\02\0d" ;; import section
905 "\01" ;; length 1
906 "\04\74\65\73\74" ;; "test"
907 "\03\e0\a0\7f" ;; "\e0\a0\7f"
908 "\03" ;; GlobalImport
909 "\7f" ;; i32
910 "\00" ;; immutable
911 )
912 "malformed UTF-8 encoding"
913)
914
915;; second byte after (0xe0) 3-byte prefix not a continuation byte
916(assert_malformed
917 (module binary
918 "\00asm" "\01\00\00\00"
919 "\02\0d" ;; import section
920 "\01" ;; length 1
921 "\04\74\65\73\74" ;; "test"
922 "\03\e0\a0\c0" ;; "\e0\a0\c0"
923 "\03" ;; GlobalImport
924 "\7f" ;; i32
925 "\00" ;; immutable
926 )
927 "malformed UTF-8 encoding"
928)
929
930;; second byte after (0xe0) 3-byte prefix not a continuation byte
931(assert_malformed
932 (module binary
933 "\00asm" "\01\00\00\00"
934 "\02\0d" ;; import section
935 "\01" ;; length 1
936 "\04\74\65\73\74" ;; "test"
937 "\03\e0\a0\fd" ;; "\e0\a0\fd"
938 "\03" ;; GlobalImport
939 "\7f" ;; i32
940 "\00" ;; immutable
941 )
942 "malformed UTF-8 encoding"
943)
944
945;; second byte after (first normal) 3-byte prefix not a continuation byte
946(assert_malformed
947 (module binary
948 "\00asm" "\01\00\00\00"
949 "\02\0d" ;; import section
950 "\01" ;; length 1
951 "\04\74\65\73\74" ;; "test"
952 "\03\e1\80\00" ;; "\e1\80\00"
953 "\03" ;; GlobalImport
954 "\7f" ;; i32
955 "\00" ;; immutable
956 )
957 "malformed UTF-8 encoding"
958)
959
960;; second byte after (first normal) 3-byte prefix not a continuation byte
961(assert_malformed
962 (module binary
963 "\00asm" "\01\00\00\00"
964 "\02\0d" ;; import section
965 "\01" ;; length 1
966 "\04\74\65\73\74" ;; "test"
967 "\03\e1\80\7f" ;; "\e1\80\7f"
968 "\03" ;; GlobalImport
969 "\7f" ;; i32
970 "\00" ;; immutable
971 )
972 "malformed UTF-8 encoding"
973)
974
975;; second byte after (first normal) 3-byte prefix not a continuation byte
976(assert_malformed
977 (module binary
978 "\00asm" "\01\00\00\00"
979 "\02\0d" ;; import section
980 "\01" ;; length 1
981 "\04\74\65\73\74" ;; "test"
982 "\03\e1\80\c0" ;; "\e1\80\c0"
983 "\03" ;; GlobalImport
984 "\7f" ;; i32
985 "\00" ;; immutable
986 )
987 "malformed UTF-8 encoding"
988)
989
990;; second byte after (first normal) 3-byte prefix not a continuation byte
991(assert_malformed
992 (module binary
993 "\00asm" "\01\00\00\00"
994 "\02\0d" ;; import section
995 "\01" ;; length 1
996 "\04\74\65\73\74" ;; "test"
997 "\03\e1\80\fd" ;; "\e1\80\fd"
998 "\03" ;; GlobalImport
999 "\7f" ;; i32
1000 "\00" ;; immutable
1001 )
1002 "malformed UTF-8 encoding"
1003)
1004
1005;; second byte after (normal) 3-byte prefix not a continuation byte
1006(assert_malformed
1007 (module binary
1008 "\00asm" "\01\00\00\00"
1009 "\02\0d" ;; import section
1010 "\01" ;; length 1
1011 "\04\74\65\73\74" ;; "test"
1012 "\03\ec\80\00" ;; "\ec\80\00"
1013 "\03" ;; GlobalImport
1014 "\7f" ;; i32
1015 "\00" ;; immutable
1016 )
1017 "malformed UTF-8 encoding"
1018)
1019
1020;; second byte after (normal) 3-byte prefix not a continuation byte
1021(assert_malformed
1022 (module binary
1023 "\00asm" "\01\00\00\00"
1024 "\02\0d" ;; import section
1025 "\01" ;; length 1
1026 "\04\74\65\73\74" ;; "test"
1027 "\03\ec\80\7f" ;; "\ec\80\7f"
1028 "\03" ;; GlobalImport
1029 "\7f" ;; i32
1030 "\00" ;; immutable
1031 )
1032 "malformed UTF-8 encoding"
1033)
1034
1035;; second byte after (normal) 3-byte prefix not a continuation byte
1036(assert_malformed
1037 (module binary
1038 "\00asm" "\01\00\00\00"
1039 "\02\0d" ;; import section
1040 "\01" ;; length 1
1041 "\04\74\65\73\74" ;; "test"
1042 "\03\ec\80\c0" ;; "\ec\80\c0"
1043 "\03" ;; GlobalImport
1044 "\7f" ;; i32
1045 "\00" ;; immutable
1046 )
1047 "malformed UTF-8 encoding"
1048)
1049
1050;; second byte after (normal) 3-byte prefix not a continuation byte
1051(assert_malformed
1052 (module binary
1053 "\00asm" "\01\00\00\00"
1054 "\02\0d" ;; import section
1055 "\01" ;; length 1
1056 "\04\74\65\73\74" ;; "test"
1057 "\03\ec\80\fd" ;; "\ec\80\fd"
1058 "\03" ;; GlobalImport
1059 "\7f" ;; i32
1060 "\00" ;; immutable
1061 )
1062 "malformed UTF-8 encoding"
1063)
1064
1065;; second byte after (0xed) 3-byte prefix not a continuation byte
1066(assert_malformed
1067 (module binary
1068 "\00asm" "\01\00\00\00"
1069 "\02\0d" ;; import section
1070 "\01" ;; length 1
1071 "\04\74\65\73\74" ;; "test"
1072 "\03\ed\80\00" ;; "\ed\80\00"
1073 "\03" ;; GlobalImport
1074 "\7f" ;; i32
1075 "\00" ;; immutable
1076 )
1077 "malformed UTF-8 encoding"
1078)
1079
1080;; second byte after (0xed) 3-byte prefix not a continuation byte
1081(assert_malformed
1082 (module binary
1083 "\00asm" "\01\00\00\00"
1084 "\02\0d" ;; import section
1085 "\01" ;; length 1
1086 "\04\74\65\73\74" ;; "test"
1087 "\03\ed\80\7f" ;; "\ed\80\7f"
1088 "\03" ;; GlobalImport
1089 "\7f" ;; i32
1090 "\00" ;; immutable
1091 )
1092 "malformed UTF-8 encoding"
1093)
1094
1095;; second byte after (0xed) 3-byte prefix not a continuation byte
1096(assert_malformed
1097 (module binary
1098 "\00asm" "\01\00\00\00"
1099 "\02\0d" ;; import section
1100 "\01" ;; length 1
1101 "\04\74\65\73\74" ;; "test"
1102 "\03\ed\80\c0" ;; "\ed\80\c0"
1103 "\03" ;; GlobalImport
1104 "\7f" ;; i32
1105 "\00" ;; immutable
1106 )
1107 "malformed UTF-8 encoding"
1108)
1109
1110;; second byte after (0xed) 3-byte prefix not a continuation byte
1111(assert_malformed
1112 (module binary
1113 "\00asm" "\01\00\00\00"
1114 "\02\0d" ;; import section
1115 "\01" ;; length 1
1116 "\04\74\65\73\74" ;; "test"
1117 "\03\ed\80\fd" ;; "\ed\80\fd"
1118 "\03" ;; GlobalImport
1119 "\7f" ;; i32
1120 "\00" ;; immutable
1121 )
1122 "malformed UTF-8 encoding"
1123)
1124
1125;; second byte after (normal) 3-byte prefix not a continuation byte
1126(assert_malformed
1127 (module binary
1128 "\00asm" "\01\00\00\00"
1129 "\02\0d" ;; import section
1130 "\01" ;; length 1
1131 "\04\74\65\73\74" ;; "test"
1132 "\03\ee\80\00" ;; "\ee\80\00"
1133 "\03" ;; GlobalImport
1134 "\7f" ;; i32
1135 "\00" ;; immutable
1136 )
1137 "malformed UTF-8 encoding"
1138)
1139
1140;; second byte after (normal) 3-byte prefix not a continuation byte
1141(assert_malformed
1142 (module binary
1143 "\00asm" "\01\00\00\00"
1144 "\02\0d" ;; import section
1145 "\01" ;; length 1
1146 "\04\74\65\73\74" ;; "test"
1147 "\03\ee\80\7f" ;; "\ee\80\7f"
1148 "\03" ;; GlobalImport
1149 "\7f" ;; i32
1150 "\00" ;; immutable
1151 )
1152 "malformed UTF-8 encoding"
1153)
1154
1155;; second byte after (normal) 3-byte prefix not a continuation byte
1156(assert_malformed
1157 (module binary
1158 "\00asm" "\01\00\00\00"
1159 "\02\0d" ;; import section
1160 "\01" ;; length 1
1161 "\04\74\65\73\74" ;; "test"
1162 "\03\ee\80\c0" ;; "\ee\80\c0"
1163 "\03" ;; GlobalImport
1164 "\7f" ;; i32
1165 "\00" ;; immutable
1166 )
1167 "malformed UTF-8 encoding"
1168)
1169
1170;; second byte after (normal) 3-byte prefix not a continuation byte
1171(assert_malformed
1172 (module binary
1173 "\00asm" "\01\00\00\00"
1174 "\02\0d" ;; import section
1175 "\01" ;; length 1
1176 "\04\74\65\73\74" ;; "test"
1177 "\03\ee\80\fd" ;; "\ee\80\fd"
1178 "\03" ;; GlobalImport
1179 "\7f" ;; i32
1180 "\00" ;; immutable
1181 )
1182 "malformed UTF-8 encoding"
1183)
1184
1185;; second byte after (last normal) 3-byte prefix not a continuation byte
1186(assert_malformed
1187 (module binary
1188 "\00asm" "\01\00\00\00"
1189 "\02\0d" ;; import section
1190 "\01" ;; length 1
1191 "\04\74\65\73\74" ;; "test"
1192 "\03\ef\80\00" ;; "\ef\80\00"
1193 "\03" ;; GlobalImport
1194 "\7f" ;; i32
1195 "\00" ;; immutable
1196 )
1197 "malformed UTF-8 encoding"
1198)
1199
1200;; second byte after (last normal) 3-byte prefix not a continuation byte
1201(assert_malformed
1202 (module binary
1203 "\00asm" "\01\00\00\00"
1204 "\02\0d" ;; import section
1205 "\01" ;; length 1
1206 "\04\74\65\73\74" ;; "test"
1207 "\03\ef\80\7f" ;; "\ef\80\7f"
1208 "\03" ;; GlobalImport
1209 "\7f" ;; i32
1210 "\00" ;; immutable
1211 )
1212 "malformed UTF-8 encoding"
1213)
1214
1215;; second byte after (last normal) 3-byte prefix not a continuation byte
1216(assert_malformed
1217 (module binary
1218 "\00asm" "\01\00\00\00"
1219 "\02\0d" ;; import section
1220 "\01" ;; length 1
1221 "\04\74\65\73\74" ;; "test"
1222 "\03\ef\80\c0" ;; "\ef\80\c0"
1223 "\03" ;; GlobalImport
1224 "\7f" ;; i32
1225 "\00" ;; immutable
1226 )
1227 "malformed UTF-8 encoding"
1228)
1229
1230;; second byte after (last normal) 3-byte prefix not a continuation byte
1231(assert_malformed
1232 (module binary
1233 "\00asm" "\01\00\00\00"
1234 "\02\0d" ;; import section
1235 "\01" ;; length 1
1236 "\04\74\65\73\74" ;; "test"
1237 "\03\ef\80\fd" ;; "\ef\80\fd"
1238 "\03" ;; GlobalImport
1239 "\7f" ;; i32
1240 "\00" ;; immutable
1241 )
1242 "malformed UTF-8 encoding"
1243)
1244
1245;;;; 4-byte sequences
1246
1247;; 4-byte sequence contains 5 bytes
1248(assert_malformed
1249 (module binary
1250 "\00asm" "\01\00\00\00"
1251 "\02\0f" ;; import section
1252 "\01" ;; length 1
1253 "\04\74\65\73\74" ;; "test"
1254 "\05\f1\80\80\80\80" ;; "\f1\80\80\80\80"
1255 "\03" ;; GlobalImport
1256 "\7f" ;; i32
1257 "\00" ;; immutable
1258 )
1259 "malformed UTF-8 encoding"
1260)
1261
1262;; 4-byte sequence contains 3 bytes at end of string
1263(assert_malformed
1264 (module binary
1265 "\00asm" "\01\00\00\00"
1266 "\02\0d" ;; import section
1267 "\01" ;; length 1
1268 "\04\74\65\73\74" ;; "test"
1269 "\03\f1\80\80" ;; "\f1\80\80"
1270 "\03" ;; GlobalImport
1271 "\7f" ;; i32
1272 "\00" ;; immutable
1273 )
1274 "malformed UTF-8 encoding"
1275)
1276
1277;; 4-byte sequence contains 3 bytes
1278(assert_malformed
1279 (module binary
1280 "\00asm" "\01\00\00\00"
1281 "\02\0e" ;; import section
1282 "\01" ;; length 1
1283 "\04\74\65\73\74" ;; "test"
1284 "\04\f1\80\80\23" ;; "\f1\80\80#"
1285 "\03" ;; GlobalImport
1286 "\7f" ;; i32
1287 "\00" ;; immutable
1288 )
1289 "malformed UTF-8 encoding"
1290)
1291
1292;; 4-byte sequence contains 2 bytes at end of string
1293(assert_malformed
1294 (module binary
1295 "\00asm" "\01\00\00\00"
1296 "\02\0c" ;; import section
1297 "\01" ;; length 1
1298 "\04\74\65\73\74" ;; "test"
1299 "\02\f1\80" ;; "\f1\80"
1300 "\03" ;; GlobalImport
1301 "\7f" ;; i32
1302 "\00" ;; immutable
1303 )
1304 "malformed UTF-8 encoding"
1305)
1306
1307;; 4-byte sequence contains 2 bytes
1308(assert_malformed
1309 (module binary
1310 "\00asm" "\01\00\00\00"
1311 "\02\0d" ;; import section
1312 "\01" ;; length 1
1313 "\04\74\65\73\74" ;; "test"
1314 "\03\f1\80\23" ;; "\f1\80#"
1315 "\03" ;; GlobalImport
1316 "\7f" ;; i32
1317 "\00" ;; immutable
1318 )
1319 "malformed UTF-8 encoding"
1320)
1321
1322;; 4-byte sequence contains 1 byte at end of string
1323(assert_malformed
1324 (module binary
1325 "\00asm" "\01\00\00\00"
1326 "\02\0b" ;; import section
1327 "\01" ;; length 1
1328 "\04\74\65\73\74" ;; "test"
1329 "\01\f1" ;; "\f1"
1330 "\03" ;; GlobalImport
1331 "\7f" ;; i32
1332 "\00" ;; immutable
1333 )
1334 "malformed UTF-8 encoding"
1335)
1336
1337;; 4-byte sequence contains 1 byte
1338(assert_malformed
1339 (module binary
1340 "\00asm" "\01\00\00\00"
1341 "\02\0c" ;; import section
1342 "\01" ;; length 1
1343 "\04\74\65\73\74" ;; "test"
1344 "\02\f1\23" ;; "\f1#"
1345 "\03" ;; GlobalImport
1346 "\7f" ;; i32
1347 "\00" ;; immutable
1348 )
1349 "malformed UTF-8 encoding"
1350)
1351
1352;;;; 4-byte sequence contents
1353
1354;; first byte after (0xf0) 4-byte prefix not a continuation byte
1355(assert_malformed
1356 (module binary
1357 "\00asm" "\01\00\00\00"
1358 "\02\0e" ;; import section
1359 "\01" ;; length 1
1360 "\04\74\65\73\74" ;; "test"
1361 "\04\f0\00\90\90" ;; "\f0\00\90\90"
1362 "\03" ;; GlobalImport
1363 "\7f" ;; i32
1364 "\00" ;; immutable
1365 )
1366 "malformed UTF-8 encoding"
1367)
1368
1369;; first byte after (0xf0) 4-byte prefix not a continuation byte
1370(assert_malformed
1371 (module binary
1372 "\00asm" "\01\00\00\00"
1373 "\02\0e" ;; import section
1374 "\01" ;; length 1
1375 "\04\74\65\73\74" ;; "test"
1376 "\04\f0\7f\90\90" ;; "\f0\7f\90\90"
1377 "\03" ;; GlobalImport
1378 "\7f" ;; i32
1379 "\00" ;; immutable
1380 )
1381 "malformed UTF-8 encoding"
1382)
1383
1384;; overlong encoding after 0xf0 prefix
1385(assert_malformed
1386 (module binary
1387 "\00asm" "\01\00\00\00"
1388 "\02\0e" ;; import section
1389 "\01" ;; length 1
1390 "\04\74\65\73\74" ;; "test"
1391 "\04\f0\80\80\80" ;; "\f0\80\80\80"
1392 "\03" ;; GlobalImport
1393 "\7f" ;; i32
1394 "\00" ;; immutable
1395 )
1396 "malformed UTF-8 encoding"
1397)
1398
1399;; overlong encoding after 0xf0 prefix
1400(assert_malformed
1401 (module binary
1402 "\00asm" "\01\00\00\00"
1403 "\02\0e" ;; import section
1404 "\01" ;; length 1
1405 "\04\74\65\73\74" ;; "test"
1406 "\04\f0\80\90\90" ;; "\f0\80\90\90"
1407 "\03" ;; GlobalImport
1408 "\7f" ;; i32
1409 "\00" ;; immutable
1410 )
1411 "malformed UTF-8 encoding"
1412)
1413
1414;; overlong encoding after 0xf0 prefix
1415(assert_malformed
1416 (module binary
1417 "\00asm" "\01\00\00\00"
1418 "\02\0e" ;; import section
1419 "\01" ;; length 1
1420 "\04\74\65\73\74" ;; "test"
1421 "\04\f0\8f\90\90" ;; "\f0\8f\90\90"
1422 "\03" ;; GlobalImport
1423 "\7f" ;; i32
1424 "\00" ;; immutable
1425 )
1426 "malformed UTF-8 encoding"
1427)
1428
1429;; overlong encoding after 0xf0 prefix
1430(assert_malformed
1431 (module binary
1432 "\00asm" "\01\00\00\00"
1433 "\02\0e" ;; import section
1434 "\01" ;; length 1
1435 "\04\74\65\73\74" ;; "test"
1436 "\04\f0\8f\bf\bf" ;; "\f0\8f\bf\bf"
1437 "\03" ;; GlobalImport
1438 "\7f" ;; i32
1439 "\00" ;; immutable
1440 )
1441 "malformed UTF-8 encoding"
1442)
1443
1444;; first byte after (0xf0) 4-byte prefix not a continuation byte
1445(assert_malformed
1446 (module binary
1447 "\00asm" "\01\00\00\00"
1448 "\02\0e" ;; import section
1449 "\01" ;; length 1
1450 "\04\74\65\73\74" ;; "test"
1451 "\04\f0\c0\90\90" ;; "\f0\c0\90\90"
1452 "\03" ;; GlobalImport
1453 "\7f" ;; i32
1454 "\00" ;; immutable
1455 )
1456 "malformed UTF-8 encoding"
1457)
1458
1459;; first byte after (0xf0) 4-byte prefix not a continuation byte
1460(assert_malformed
1461 (module binary
1462 "\00asm" "\01\00\00\00"
1463 "\02\0e" ;; import section
1464 "\01" ;; length 1
1465 "\04\74\65\73\74" ;; "test"
1466 "\04\f0\fd\90\90" ;; "\f0\fd\90\90"
1467 "\03" ;; GlobalImport
1468 "\7f" ;; i32
1469 "\00" ;; immutable
1470 )
1471 "malformed UTF-8 encoding"
1472)
1473
1474;; first byte after (first normal) 4-byte prefix not a continuation byte
1475(assert_malformed
1476 (module binary
1477 "\00asm" "\01\00\00\00"
1478 "\02\0e" ;; import section
1479 "\01" ;; length 1
1480 "\04\74\65\73\74" ;; "test"
1481 "\04\f1\00\80\80" ;; "\f1\00\80\80"
1482 "\03" ;; GlobalImport
1483 "\7f" ;; i32
1484 "\00" ;; immutable
1485 )
1486 "malformed UTF-8 encoding"
1487)
1488
1489;; first byte after (first normal) 4-byte prefix not a continuation byte
1490(assert_malformed
1491 (module binary
1492 "\00asm" "\01\00\00\00"
1493 "\02\0e" ;; import section
1494 "\01" ;; length 1
1495 "\04\74\65\73\74" ;; "test"
1496 "\04\f1\7f\80\80" ;; "\f1\7f\80\80"
1497 "\03" ;; GlobalImport
1498 "\7f" ;; i32
1499 "\00" ;; immutable
1500 )
1501 "malformed UTF-8 encoding"
1502)
1503
1504;; first byte after (first normal) 4-byte prefix not a continuation byte
1505(assert_malformed
1506 (module binary
1507 "\00asm" "\01\00\00\00"
1508 "\02\0e" ;; import section
1509 "\01" ;; length 1
1510 "\04\74\65\73\74" ;; "test"
1511 "\04\f1\c0\80\80" ;; "\f1\c0\80\80"
1512 "\03" ;; GlobalImport
1513 "\7f" ;; i32
1514 "\00" ;; immutable
1515 )
1516 "malformed UTF-8 encoding"
1517)
1518
1519;; first byte after (first normal) 4-byte prefix not a continuation byte
1520(assert_malformed
1521 (module binary
1522 "\00asm" "\01\00\00\00"
1523 "\02\0e" ;; import section
1524 "\01" ;; length 1
1525 "\04\74\65\73\74" ;; "test"
1526 "\04\f1\fd\80\80" ;; "\f1\fd\80\80"
1527 "\03" ;; GlobalImport
1528 "\7f" ;; i32
1529 "\00" ;; immutable
1530 )
1531 "malformed UTF-8 encoding"
1532)
1533
1534;; first byte after (last normal) 4-byte prefix not a continuation byte
1535(assert_malformed
1536 (module binary
1537 "\00asm" "\01\00\00\00"
1538 "\02\0e" ;; import section
1539 "\01" ;; length 1
1540 "\04\74\65\73\74" ;; "test"
1541 "\04\f3\00\80\80" ;; "\f3\00\80\80"
1542 "\03" ;; GlobalImport
1543 "\7f" ;; i32
1544 "\00" ;; immutable
1545 )
1546 "malformed UTF-8 encoding"
1547)
1548
1549;; first byte after (last normal) 4-byte prefix not a continuation byte
1550(assert_malformed
1551 (module binary
1552 "\00asm" "\01\00\00\00"
1553 "\02\0e" ;; import section
1554 "\01" ;; length 1
1555 "\04\74\65\73\74" ;; "test"
1556 "\04\f3\7f\80\80" ;; "\f3\7f\80\80"
1557 "\03" ;; GlobalImport
1558 "\7f" ;; i32
1559 "\00" ;; immutable
1560 )
1561 "malformed UTF-8 encoding"
1562)
1563
1564;; first byte after (last normal) 4-byte prefix not a continuation byte
1565(assert_malformed
1566 (module binary
1567 "\00asm" "\01\00\00\00"
1568 "\02\0e" ;; import section
1569 "\01" ;; length 1
1570 "\04\74\65\73\74" ;; "test"
1571 "\04\f3\c0\80\80" ;; "\f3\c0\80\80"
1572 "\03" ;; GlobalImport
1573 "\7f" ;; i32
1574 "\00" ;; immutable
1575 )
1576 "malformed UTF-8 encoding"
1577)
1578
1579;; first byte after (last normal) 4-byte prefix not a continuation byte
1580(assert_malformed
1581 (module binary
1582 "\00asm" "\01\00\00\00"
1583 "\02\0e" ;; import section
1584 "\01" ;; length 1
1585 "\04\74\65\73\74" ;; "test"
1586 "\04\f3\fd\80\80" ;; "\f3\fd\80\80"
1587 "\03" ;; GlobalImport
1588 "\7f" ;; i32
1589 "\00" ;; immutable
1590 )
1591 "malformed UTF-8 encoding"
1592)
1593
1594;; first byte after (0xf4) 4-byte prefix not a continuation byte
1595(assert_malformed
1596 (module binary
1597 "\00asm" "\01\00\00\00"
1598 "\02\0e" ;; import section
1599 "\01" ;; length 1
1600 "\04\74\65\73\74" ;; "test"
1601 "\04\f4\00\80\80" ;; "\f4\00\80\80"
1602 "\03" ;; GlobalImport
1603 "\7f" ;; i32
1604 "\00" ;; immutable
1605 )
1606 "malformed UTF-8 encoding"
1607)
1608
1609;; first byte after (0xf4) 4-byte prefix not a continuation byte
1610(assert_malformed
1611 (module binary
1612 "\00asm" "\01\00\00\00"
1613 "\02\0e" ;; import section
1614 "\01" ;; length 1
1615 "\04\74\65\73\74" ;; "test"
1616 "\04\f4\7f\80\80" ;; "\f4\7f\80\80"
1617 "\03" ;; GlobalImport
1618 "\7f" ;; i32
1619 "\00" ;; immutable
1620 )
1621 "malformed UTF-8 encoding"
1622)
1623
1624;; (first) malformed code point
1625(assert_malformed
1626 (module binary
1627 "\00asm" "\01\00\00\00"
1628 "\02\0e" ;; import section
1629 "\01" ;; length 1
1630 "\04\74\65\73\74" ;; "test"
1631 "\04\f4\90\80\80" ;; "\f4\90\80\80"
1632 "\03" ;; GlobalImport
1633 "\7f" ;; i32
1634 "\00" ;; immutable
1635 )
1636 "malformed UTF-8 encoding"
1637)
1638
1639;; malformed code point
1640(assert_malformed
1641 (module binary
1642 "\00asm" "\01\00\00\00"
1643 "\02\0e" ;; import section
1644 "\01" ;; length 1
1645 "\04\74\65\73\74" ;; "test"
1646 "\04\f4\bf\80\80" ;; "\f4\bf\80\80"
1647 "\03" ;; GlobalImport
1648 "\7f" ;; i32
1649 "\00" ;; immutable
1650 )
1651 "malformed UTF-8 encoding"
1652)
1653
1654;; first byte after (0xf4) 4-byte prefix not a continuation byte
1655(assert_malformed
1656 (module binary
1657 "\00asm" "\01\00\00\00"
1658 "\02\0e" ;; import section
1659 "\01" ;; length 1
1660 "\04\74\65\73\74" ;; "test"
1661 "\04\f4\c0\80\80" ;; "\f4\c0\80\80"
1662 "\03" ;; GlobalImport
1663 "\7f" ;; i32
1664 "\00" ;; immutable
1665 )
1666 "malformed UTF-8 encoding"
1667)
1668
1669;; first byte after (0xf4) 4-byte prefix not a continuation byte
1670(assert_malformed
1671 (module binary
1672 "\00asm" "\01\00\00\00"
1673 "\02\0e" ;; import section
1674 "\01" ;; length 1
1675 "\04\74\65\73\74" ;; "test"
1676 "\04\f4\fd\80\80" ;; "\f4\fd\80\80"
1677 "\03" ;; GlobalImport
1678 "\7f" ;; i32
1679 "\00" ;; immutable
1680 )
1681 "malformed UTF-8 encoding"
1682)
1683
1684;; (first) malformed 4-byte prefix
1685(assert_malformed
1686 (module binary
1687 "\00asm" "\01\00\00\00"
1688 "\02\0e" ;; import section
1689 "\01" ;; length 1
1690 "\04\74\65\73\74" ;; "test"
1691 "\04\f5\80\80\80" ;; "\f5\80\80\80"
1692 "\03" ;; GlobalImport
1693 "\7f" ;; i32
1694 "\00" ;; immutable
1695 )
1696 "malformed UTF-8 encoding"
1697)
1698
1699;; (last) malformed 4-byte prefix
1700(assert_malformed
1701 (module binary
1702 "\00asm" "\01\00\00\00"
1703 "\02\0e" ;; import section
1704 "\01" ;; length 1
1705 "\04\74\65\73\74" ;; "test"
1706 "\04\f7\80\80\80" ;; "\f7\80\80\80"
1707 "\03" ;; GlobalImport
1708 "\7f" ;; i32
1709 "\00" ;; immutable
1710 )
1711 "malformed UTF-8 encoding"
1712)
1713
1714;; (last) malformed 4-byte prefix
1715(assert_malformed
1716 (module binary
1717 "\00asm" "\01\00\00\00"
1718 "\02\0e" ;; import section
1719 "\01" ;; length 1
1720 "\04\74\65\73\74" ;; "test"
1721 "\04\f7\bf\bf\bf" ;; "\f7\bf\bf\bf"
1722 "\03" ;; GlobalImport
1723 "\7f" ;; i32
1724 "\00" ;; immutable
1725 )
1726 "malformed UTF-8 encoding"
1727)
1728
1729;;;; 4-byte sequence contents (third byte)
1730
1731;; second byte after (0xf0) 4-byte prefix not a continuation byte
1732(assert_malformed
1733 (module binary
1734 "\00asm" "\01\00\00\00"
1735 "\02\0e" ;; import section
1736 "\01" ;; length 1
1737 "\04\74\65\73\74" ;; "test"
1738 "\04\f0\90\00\90" ;; "\f0\90\00\90"
1739 "\03" ;; GlobalImport
1740 "\7f" ;; i32
1741 "\00" ;; immutable
1742 )
1743 "malformed UTF-8 encoding"
1744)
1745
1746;; second byte after (0xf0) 4-byte prefix not a continuation byte
1747(assert_malformed
1748 (module binary
1749 "\00asm" "\01\00\00\00"
1750 "\02\0e" ;; import section
1751 "\01" ;; length 1
1752 "\04\74\65\73\74" ;; "test"
1753 "\04\f0\90\7f\90" ;; "\f0\90\7f\90"
1754 "\03" ;; GlobalImport
1755 "\7f" ;; i32
1756 "\00" ;; immutable
1757 )
1758 "malformed UTF-8 encoding"
1759)
1760
1761;; second byte after (0xf0) 4-byte prefix not a continuation byte
1762(assert_malformed
1763 (module binary
1764 "\00asm" "\01\00\00\00"
1765 "\02\0e" ;; import section
1766 "\01" ;; length 1
1767 "\04\74\65\73\74" ;; "test"
1768 "\04\f0\90\c0\90" ;; "\f0\90\c0\90"
1769 "\03" ;; GlobalImport
1770 "\7f" ;; i32
1771 "\00" ;; immutable
1772 )
1773 "malformed UTF-8 encoding"
1774)
1775
1776;; second byte after (0xf0) 4-byte prefix not a continuation byte
1777(assert_malformed
1778 (module binary
1779 "\00asm" "\01\00\00\00"
1780 "\02\0e" ;; import section
1781 "\01" ;; length 1
1782 "\04\74\65\73\74" ;; "test"
1783 "\04\f0\90\fd\90" ;; "\f0\90\fd\90"
1784 "\03" ;; GlobalImport
1785 "\7f" ;; i32
1786 "\00" ;; immutable
1787 )
1788 "malformed UTF-8 encoding"
1789)
1790
1791;; second byte after (first normal) 4-byte prefix not a continuation byte
1792(assert_malformed
1793 (module binary
1794 "\00asm" "\01\00\00\00"
1795 "\02\0e" ;; import section
1796 "\01" ;; length 1
1797 "\04\74\65\73\74" ;; "test"
1798 "\04\f1\80\00\80" ;; "\f1\80\00\80"
1799 "\03" ;; GlobalImport
1800 "\7f" ;; i32
1801 "\00" ;; immutable
1802 )
1803 "malformed UTF-8 encoding"
1804)
1805
1806;; second byte after (first normal) 4-byte prefix not a continuation byte
1807(assert_malformed
1808 (module binary
1809 "\00asm" "\01\00\00\00"
1810 "\02\0e" ;; import section
1811 "\01" ;; length 1
1812 "\04\74\65\73\74" ;; "test"
1813 "\04\f1\80\7f\80" ;; "\f1\80\7f\80"
1814 "\03" ;; GlobalImport
1815 "\7f" ;; i32
1816 "\00" ;; immutable
1817 )
1818 "malformed UTF-8 encoding"
1819)
1820
1821;; second byte after (first normal) 4-byte prefix not a continuation byte
1822(assert_malformed
1823 (module binary
1824 "\00asm" "\01\00\00\00"
1825 "\02\0e" ;; import section
1826 "\01" ;; length 1
1827 "\04\74\65\73\74" ;; "test"
1828 "\04\f1\80\c0\80" ;; "\f1\80\c0\80"
1829 "\03" ;; GlobalImport
1830 "\7f" ;; i32
1831 "\00" ;; immutable
1832 )
1833 "malformed UTF-8 encoding"
1834)
1835
1836;; second byte after (first normal) 4-byte prefix not a continuation byte
1837(assert_malformed
1838 (module binary
1839 "\00asm" "\01\00\00\00"
1840 "\02\0e" ;; import section
1841 "\01" ;; length 1
1842 "\04\74\65\73\74" ;; "test"
1843 "\04\f1\80\fd\80" ;; "\f1\80\fd\80"
1844 "\03" ;; GlobalImport
1845 "\7f" ;; i32
1846 "\00" ;; immutable
1847 )
1848 "malformed UTF-8 encoding"
1849)
1850
1851;; second byte after (last normal) 4-byte prefix not a continuation byte
1852(assert_malformed
1853 (module binary
1854 "\00asm" "\01\00\00\00"
1855 "\02\0e" ;; import section
1856 "\01" ;; length 1
1857 "\04\74\65\73\74" ;; "test"
1858 "\04\f3\80\00\80" ;; "\f3\80\00\80"
1859 "\03" ;; GlobalImport
1860 "\7f" ;; i32
1861 "\00" ;; immutable
1862 )
1863 "malformed UTF-8 encoding"
1864)
1865
1866;; second byte after (last normal) 4-byte prefix not a continuation byte
1867(assert_malformed
1868 (module binary
1869 "\00asm" "\01\00\00\00"
1870 "\02\0e" ;; import section
1871 "\01" ;; length 1
1872 "\04\74\65\73\74" ;; "test"
1873 "\04\f3\80\7f\80" ;; "\f3\80\7f\80"
1874 "\03" ;; GlobalImport
1875 "\7f" ;; i32
1876 "\00" ;; immutable
1877 )
1878 "malformed UTF-8 encoding"
1879)
1880
1881;; second byte after (last normal) 4-byte prefix not a continuation byte
1882(assert_malformed
1883 (module binary
1884 "\00asm" "\01\00\00\00"
1885 "\02\0e" ;; import section
1886 "\01" ;; length 1
1887 "\04\74\65\73\74" ;; "test"
1888 "\04\f3\80\c0\80" ;; "\f3\80\c0\80"
1889 "\03" ;; GlobalImport
1890 "\7f" ;; i32
1891 "\00" ;; immutable
1892 )
1893 "malformed UTF-8 encoding"
1894)
1895
1896;; second byte after (last normal) 4-byte prefix not a continuation byte
1897(assert_malformed
1898 (module binary
1899 "\00asm" "\01\00\00\00"
1900 "\02\0e" ;; import section
1901 "\01" ;; length 1
1902 "\04\74\65\73\74" ;; "test"
1903 "\04\f3\80\fd\80" ;; "\f3\80\fd\80"
1904 "\03" ;; GlobalImport
1905 "\7f" ;; i32
1906 "\00" ;; immutable
1907 )
1908 "malformed UTF-8 encoding"
1909)
1910
1911;; second byte after (0xf4) 4-byte prefix not a continuation byte
1912(assert_malformed
1913 (module binary
1914 "\00asm" "\01\00\00\00"
1915 "\02\0e" ;; import section
1916 "\01" ;; length 1
1917 "\04\74\65\73\74" ;; "test"
1918 "\04\f4\80\00\80" ;; "\f4\80\00\80"
1919 "\03" ;; GlobalImport
1920 "\7f" ;; i32
1921 "\00" ;; immutable
1922 )
1923 "malformed UTF-8 encoding"
1924)
1925
1926;; second byte after (0xf4) 4-byte prefix not a continuation byte
1927(assert_malformed
1928 (module binary
1929 "\00asm" "\01\00\00\00"
1930 "\02\0e" ;; import section
1931 "\01" ;; length 1
1932 "\04\74\65\73\74" ;; "test"
1933 "\04\f4\80\7f\80" ;; "\f4\80\7f\80"
1934 "\03" ;; GlobalImport
1935 "\7f" ;; i32
1936 "\00" ;; immutable
1937 )
1938 "malformed UTF-8 encoding"
1939)
1940
1941;; second byte after (0xf4) 4-byte prefix not a continuation byte
1942(assert_malformed
1943 (module binary
1944 "\00asm" "\01\00\00\00"
1945 "\02\0e" ;; import section
1946 "\01" ;; length 1
1947 "\04\74\65\73\74" ;; "test"
1948 "\04\f4\80\c0\80" ;; "\f4\80\c0\80"
1949 "\03" ;; GlobalImport
1950 "\7f" ;; i32
1951 "\00" ;; immutable
1952 )
1953 "malformed UTF-8 encoding"
1954)
1955
1956;; second byte after (0xf4) 4-byte prefix not a continuation byte
1957(assert_malformed
1958 (module binary
1959 "\00asm" "\01\00\00\00"
1960 "\02\0e" ;; import section
1961 "\01" ;; length 1
1962 "\04\74\65\73\74" ;; "test"
1963 "\04\f4\80\fd\80" ;; "\f4\80\fd\80"
1964 "\03" ;; GlobalImport
1965 "\7f" ;; i32
1966 "\00" ;; immutable
1967 )
1968 "malformed UTF-8 encoding"
1969)
1970
1971;;;; 4-byte sequence contents (fourth byte)
1972
1973;; third byte after (0xf0) 4-byte prefix not a continuation byte
1974(assert_malformed
1975 (module binary
1976 "\00asm" "\01\00\00\00"
1977 "\02\0e" ;; import section
1978 "\01" ;; length 1
1979 "\04\74\65\73\74" ;; "test"
1980 "\04\f0\90\90\00" ;; "\f0\90\90\00"
1981 "\03" ;; GlobalImport
1982 "\7f" ;; i32
1983 "\00" ;; immutable
1984 )
1985 "malformed UTF-8 encoding"
1986)
1987
1988;; third byte after (0xf0) 4-byte prefix not a continuation byte
1989(assert_malformed
1990 (module binary
1991 "\00asm" "\01\00\00\00"
1992 "\02\0e" ;; import section
1993 "\01" ;; length 1
1994 "\04\74\65\73\74" ;; "test"
1995 "\04\f0\90\90\7f" ;; "\f0\90\90\7f"
1996 "\03" ;; GlobalImport
1997 "\7f" ;; i32
1998 "\00" ;; immutable
1999 )
2000 "malformed UTF-8 encoding"
2001)
2002
2003;; third byte after (0xf0) 4-byte prefix not a continuation byte
2004(assert_malformed
2005 (module binary
2006 "\00asm" "\01\00\00\00"
2007 "\02\0e" ;; import section
2008 "\01" ;; length 1
2009 "\04\74\65\73\74" ;; "test"
2010 "\04\f0\90\90\c0" ;; "\f0\90\90\c0"
2011 "\03" ;; GlobalImport
2012 "\7f" ;; i32
2013 "\00" ;; immutable
2014 )
2015 "malformed UTF-8 encoding"
2016)
2017
2018;; third byte after (0xf0) 4-byte prefix not a continuation byte
2019(assert_malformed
2020 (module binary
2021 "\00asm" "\01\00\00\00"
2022 "\02\0e" ;; import section
2023 "\01" ;; length 1
2024 "\04\74\65\73\74" ;; "test"
2025 "\04\f0\90\90\fd" ;; "\f0\90\90\fd"
2026 "\03" ;; GlobalImport
2027 "\7f" ;; i32
2028 "\00" ;; immutable
2029 )
2030 "malformed UTF-8 encoding"
2031)
2032
2033;; third byte after (first normal) 4-byte prefix not a continuation byte
2034(assert_malformed
2035 (module binary
2036 "\00asm" "\01\00\00\00"
2037 "\02\0e" ;; import section
2038 "\01" ;; length 1
2039 "\04\74\65\73\74" ;; "test"
2040 "\04\f1\80\80\00" ;; "\f1\80\80\00"
2041 "\03" ;; GlobalImport
2042 "\7f" ;; i32
2043 "\00" ;; immutable
2044 )
2045 "malformed UTF-8 encoding"
2046)
2047
2048;; third byte after (first normal) 4-byte prefix not a continuation byte
2049(assert_malformed
2050 (module binary
2051 "\00asm" "\01\00\00\00"
2052 "\02\0e" ;; import section
2053 "\01" ;; length 1
2054 "\04\74\65\73\74" ;; "test"
2055 "\04\f1\80\80\7f" ;; "\f1\80\80\7f"
2056 "\03" ;; GlobalImport
2057 "\7f" ;; i32
2058 "\00" ;; immutable
2059 )
2060 "malformed UTF-8 encoding"
2061)
2062
2063;; third byte after (first normal) 4-byte prefix not a continuation byte
2064(assert_malformed
2065 (module binary
2066 "\00asm" "\01\00\00\00"
2067 "\02\0e" ;; import section
2068 "\01" ;; length 1
2069 "\04\74\65\73\74" ;; "test"
2070 "\04\f1\80\80\c0" ;; "\f1\80\80\c0"
2071 "\03" ;; GlobalImport
2072 "\7f" ;; i32
2073 "\00" ;; immutable
2074 )
2075 "malformed UTF-8 encoding"
2076)
2077
2078;; third byte after (first normal) 4-byte prefix not a continuation byte
2079(assert_malformed
2080 (module binary
2081 "\00asm" "\01\00\00\00"
2082 "\02\0e" ;; import section
2083 "\01" ;; length 1
2084 "\04\74\65\73\74" ;; "test"
2085 "\04\f1\80\80\fd" ;; "\f1\80\80\fd"
2086 "\03" ;; GlobalImport
2087 "\7f" ;; i32
2088 "\00" ;; immutable
2089 )
2090 "malformed UTF-8 encoding"
2091)
2092
2093;; third byte after (last normal) 4-byte prefix not a continuation byte
2094(assert_malformed
2095 (module binary
2096 "\00asm" "\01\00\00\00"
2097 "\02\0e" ;; import section
2098 "\01" ;; length 1
2099 "\04\74\65\73\74" ;; "test"
2100 "\04\f3\80\80\00" ;; "\f3\80\80\00"
2101 "\03" ;; GlobalImport
2102 "\7f" ;; i32
2103 "\00" ;; immutable
2104 )
2105 "malformed UTF-8 encoding"
2106)
2107
2108;; third byte after (last normal) 4-byte prefix not a continuation byte
2109(assert_malformed
2110 (module binary
2111 "\00asm" "\01\00\00\00"
2112 "\02\0e" ;; import section
2113 "\01" ;; length 1
2114 "\04\74\65\73\74" ;; "test"
2115 "\04\f3\80\80\7f" ;; "\f3\80\80\7f"
2116 "\03" ;; GlobalImport
2117 "\7f" ;; i32
2118 "\00" ;; immutable
2119 )
2120 "malformed UTF-8 encoding"
2121)
2122
2123;; third byte after (last normal) 4-byte prefix not a continuation byte
2124(assert_malformed
2125 (module binary
2126 "\00asm" "\01\00\00\00"
2127 "\02\0e" ;; import section
2128 "\01" ;; length 1
2129 "\04\74\65\73\74" ;; "test"
2130 "\04\f3\80\80\c0" ;; "\f3\80\80\c0"
2131 "\03" ;; GlobalImport
2132 "\7f" ;; i32
2133 "\00" ;; immutable
2134 )
2135 "malformed UTF-8 encoding"
2136)
2137
2138;; third byte after (last normal) 4-byte prefix not a continuation byte
2139(assert_malformed
2140 (module binary
2141 "\00asm" "\01\00\00\00"
2142 "\02\0e" ;; import section
2143 "\01" ;; length 1
2144 "\04\74\65\73\74" ;; "test"
2145 "\04\f3\80\80\fd" ;; "\f3\80\80\fd"
2146 "\03" ;; GlobalImport
2147 "\7f" ;; i32
2148 "\00" ;; immutable
2149 )
2150 "malformed UTF-8 encoding"
2151)
2152
2153;; third byte after (0xf4) 4-byte prefix not a continuation byte
2154(assert_malformed
2155 (module binary
2156 "\00asm" "\01\00\00\00"
2157 "\02\0e" ;; import section
2158 "\01" ;; length 1
2159 "\04\74\65\73\74" ;; "test"
2160 "\04\f4\80\80\00" ;; "\f4\80\80\00"
2161 "\03" ;; GlobalImport
2162 "\7f" ;; i32
2163 "\00" ;; immutable
2164 )
2165 "malformed UTF-8 encoding"
2166)
2167
2168;; third byte after (0xf4) 4-byte prefix not a continuation byte
2169(assert_malformed
2170 (module binary
2171 "\00asm" "\01\00\00\00"
2172 "\02\0e" ;; import section
2173 "\01" ;; length 1
2174 "\04\74\65\73\74" ;; "test"
2175 "\04\f4\80\80\7f" ;; "\f4\80\80\7f"
2176 "\03" ;; GlobalImport
2177 "\7f" ;; i32
2178 "\00" ;; immutable
2179 )
2180 "malformed UTF-8 encoding"
2181)
2182
2183;; third byte after (0xf4) 4-byte prefix not a continuation byte
2184(assert_malformed
2185 (module binary
2186 "\00asm" "\01\00\00\00"
2187 "\02\0e" ;; import section
2188 "\01" ;; length 1
2189 "\04\74\65\73\74" ;; "test"
2190 "\04\f4\80\80\c0" ;; "\f4\80\80\c0"
2191 "\03" ;; GlobalImport
2192 "\7f" ;; i32
2193 "\00" ;; immutable
2194 )
2195 "malformed UTF-8 encoding"
2196)
2197
2198;; third byte after (0xf4) 4-byte prefix not a continuation byte
2199(assert_malformed
2200 (module binary
2201 "\00asm" "\01\00\00\00"
2202 "\02\0e" ;; import section
2203 "\01" ;; length 1
2204 "\04\74\65\73\74" ;; "test"
2205 "\04\f4\80\80\fd" ;; "\f4\80\80\fd"
2206 "\03" ;; GlobalImport
2207 "\7f" ;; i32
2208 "\00" ;; immutable
2209 )
2210 "malformed UTF-8 encoding"
2211)
2212
2213;;;; 5-byte sequences
2214
2215;; 5-byte sequence contains 6 bytes
2216(assert_malformed
2217 (module binary
2218 "\00asm" "\01\00\00\00"
2219 "\02\10" ;; import section
2220 "\01" ;; length 1
2221 "\04\74\65\73\74" ;; "test"
2222 "\06\f8\80\80\80\80\80" ;; "\f8\80\80\80\80\80"
2223 "\03" ;; GlobalImport
2224 "\7f" ;; i32
2225 "\00" ;; immutable
2226 )
2227 "malformed UTF-8 encoding"
2228)
2229
2230;; 5-byte sequence contains 4 bytes at end of string
2231(assert_malformed
2232 (module binary
2233 "\00asm" "\01\00\00\00"
2234 "\02\0e" ;; import section
2235 "\01" ;; length 1
2236 "\04\74\65\73\74" ;; "test"
2237 "\04\f8\80\80\80" ;; "\f8\80\80\80"
2238 "\03" ;; GlobalImport
2239 "\7f" ;; i32
2240 "\00" ;; immutable
2241 )
2242 "malformed UTF-8 encoding"
2243)
2244
2245;; 5-byte sequence contains 4 bytes
2246(assert_malformed
2247 (module binary
2248 "\00asm" "\01\00\00\00"
2249 "\02\0f" ;; import section
2250 "\01" ;; length 1
2251 "\04\74\65\73\74" ;; "test"
2252 "\05\f8\80\80\80\23" ;; "\f8\80\80\80#"
2253 "\03" ;; GlobalImport
2254 "\7f" ;; i32
2255 "\00" ;; immutable
2256 )
2257 "malformed UTF-8 encoding"
2258)
2259
2260;; 5-byte sequence contains 3 bytes at end of string
2261(assert_malformed
2262 (module binary
2263 "\00asm" "\01\00\00\00"
2264 "\02\0d" ;; import section
2265 "\01" ;; length 1
2266 "\04\74\65\73\74" ;; "test"
2267 "\03\f8\80\80" ;; "\f8\80\80"
2268 "\03" ;; GlobalImport
2269 "\7f" ;; i32
2270 "\00" ;; immutable
2271 )
2272 "malformed UTF-8 encoding"
2273)
2274
2275;; 5-byte sequence contains 3 bytes
2276(assert_malformed
2277 (module binary
2278 "\00asm" "\01\00\00\00"
2279 "\02\0e" ;; import section
2280 "\01" ;; length 1
2281 "\04\74\65\73\74" ;; "test"
2282 "\04\f8\80\80\23" ;; "\f8\80\80#"
2283 "\03" ;; GlobalImport
2284 "\7f" ;; i32
2285 "\00" ;; immutable
2286 )
2287 "malformed UTF-8 encoding"
2288)
2289
2290;; 5-byte sequence contains 2 bytes at end of string
2291(assert_malformed
2292 (module binary
2293 "\00asm" "\01\00\00\00"
2294 "\02\0c" ;; import section
2295 "\01" ;; length 1
2296 "\04\74\65\73\74" ;; "test"
2297 "\02\f8\80" ;; "\f8\80"
2298 "\03" ;; GlobalImport
2299 "\7f" ;; i32
2300 "\00" ;; immutable
2301 )
2302 "malformed UTF-8 encoding"
2303)
2304
2305;; 5-byte sequence contains 2 bytes
2306(assert_malformed
2307 (module binary
2308 "\00asm" "\01\00\00\00"
2309 "\02\0d" ;; import section
2310 "\01" ;; length 1
2311 "\04\74\65\73\74" ;; "test"
2312 "\03\f8\80\23" ;; "\f8\80#"
2313 "\03" ;; GlobalImport
2314 "\7f" ;; i32
2315 "\00" ;; immutable
2316 )
2317 "malformed UTF-8 encoding"
2318)
2319
2320;; 5-byte sequence contains 1 byte at end of string
2321(assert_malformed
2322 (module binary
2323 "\00asm" "\01\00\00\00"
2324 "\02\0b" ;; import section
2325 "\01" ;; length 1
2326 "\04\74\65\73\74" ;; "test"
2327 "\01\f8" ;; "\f8"
2328 "\03" ;; GlobalImport
2329 "\7f" ;; i32
2330 "\00" ;; immutable
2331 )
2332 "malformed UTF-8 encoding"
2333)
2334
2335;; 5-byte sequence contains 1 byte
2336(assert_malformed
2337 (module binary
2338 "\00asm" "\01\00\00\00"
2339 "\02\0c" ;; import section
2340 "\01" ;; length 1
2341 "\04\74\65\73\74" ;; "test"
2342 "\02\f8\23" ;; "\f8#"
2343 "\03" ;; GlobalImport
2344 "\7f" ;; i32
2345 "\00" ;; immutable
2346 )
2347 "malformed UTF-8 encoding"
2348)
2349
2350;;;; 5-byte sequence contents
2351
2352;; (first) malformed 5-byte prefix
2353(assert_malformed
2354 (module binary
2355 "\00asm" "\01\00\00\00"
2356 "\02\0f" ;; import section
2357 "\01" ;; length 1
2358 "\04\74\65\73\74" ;; "test"
2359 "\05\f8\80\80\80\80" ;; "\f8\80\80\80\80"
2360 "\03" ;; GlobalImport
2361 "\7f" ;; i32
2362 "\00" ;; immutable
2363 )
2364 "malformed UTF-8 encoding"
2365)
2366
2367;; (last) malformed 5-byte prefix
2368(assert_malformed
2369 (module binary
2370 "\00asm" "\01\00\00\00"
2371 "\02\0f" ;; import section
2372 "\01" ;; length 1
2373 "\04\74\65\73\74" ;; "test"
2374 "\05\fb\bf\bf\bf\bf" ;; "\fb\bf\bf\bf\bf"
2375 "\03" ;; GlobalImport
2376 "\7f" ;; i32
2377 "\00" ;; immutable
2378 )
2379 "malformed UTF-8 encoding"
2380)
2381
2382;;;; 6-byte sequences
2383
2384;; 6-byte sequence contains 7 bytes
2385(assert_malformed
2386 (module binary
2387 "\00asm" "\01\00\00\00"
2388 "\02\11" ;; import section
2389 "\01" ;; length 1
2390 "\04\74\65\73\74" ;; "test"
2391 "\07\fc\80\80\80\80\80\80" ;; "\fc\80\80\80\80\80\80"
2392 "\03" ;; GlobalImport
2393 "\7f" ;; i32
2394 "\00" ;; immutable
2395 )
2396 "malformed UTF-8 encoding"
2397)
2398
2399;; 6-byte sequence contains 5 bytes at end of string
2400(assert_malformed
2401 (module binary
2402 "\00asm" "\01\00\00\00"
2403 "\02\0f" ;; import section
2404 "\01" ;; length 1
2405 "\04\74\65\73\74" ;; "test"
2406 "\05\fc\80\80\80\80" ;; "\fc\80\80\80\80"
2407 "\03" ;; GlobalImport
2408 "\7f" ;; i32
2409 "\00" ;; immutable
2410 )
2411 "malformed UTF-8 encoding"
2412)
2413
2414;; 6-byte sequence contains 5 bytes
2415(assert_malformed
2416 (module binary
2417 "\00asm" "\01\00\00\00"
2418 "\02\10" ;; import section
2419 "\01" ;; length 1
2420 "\04\74\65\73\74" ;; "test"
2421 "\06\fc\80\80\80\80\23" ;; "\fc\80\80\80\80#"
2422 "\03" ;; GlobalImport
2423 "\7f" ;; i32
2424 "\00" ;; immutable
2425 )
2426 "malformed UTF-8 encoding"
2427)
2428
2429;; 6-byte sequence contains 4 bytes at end of string
2430(assert_malformed
2431 (module binary
2432 "\00asm" "\01\00\00\00"
2433 "\02\0e" ;; import section
2434 "\01" ;; length 1
2435 "\04\74\65\73\74" ;; "test"
2436 "\04\fc\80\80\80" ;; "\fc\80\80\80"
2437 "\03" ;; GlobalImport
2438 "\7f" ;; i32
2439 "\00" ;; immutable
2440 )
2441 "malformed UTF-8 encoding"
2442)
2443
2444;; 6-byte sequence contains 4 bytes
2445(assert_malformed
2446 (module binary
2447 "\00asm" "\01\00\00\00"
2448 "\02\0f" ;; import section
2449 "\01" ;; length 1
2450 "\04\74\65\73\74" ;; "test"
2451 "\05\fc\80\80\80\23" ;; "\fc\80\80\80#"
2452 "\03" ;; GlobalImport
2453 "\7f" ;; i32
2454 "\00" ;; immutable
2455 )
2456 "malformed UTF-8 encoding"
2457)
2458
2459;; 6-byte sequence contains 3 bytes at end of string
2460(assert_malformed
2461 (module binary
2462 "\00asm" "\01\00\00\00"
2463 "\02\0d" ;; import section
2464 "\01" ;; length 1
2465 "\04\74\65\73\74" ;; "test"
2466 "\03\fc\80\80" ;; "\fc\80\80"
2467 "\03" ;; GlobalImport
2468 "\7f" ;; i32
2469 "\00" ;; immutable
2470 )
2471 "malformed UTF-8 encoding"
2472)
2473
2474;; 6-byte sequence contains 3 bytes
2475(assert_malformed
2476 (module binary
2477 "\00asm" "\01\00\00\00"
2478 "\02\0e" ;; import section
2479 "\01" ;; length 1
2480 "\04\74\65\73\74" ;; "test"
2481 "\04\fc\80\80\23" ;; "\fc\80\80#"
2482 "\03" ;; GlobalImport
2483 "\7f" ;; i32
2484 "\00" ;; immutable
2485 )
2486 "malformed UTF-8 encoding"
2487)
2488
2489;; 6-byte sequence contains 2 bytes at end of string
2490(assert_malformed
2491 (module binary
2492 "\00asm" "\01\00\00\00"
2493 "\02\0c" ;; import section
2494 "\01" ;; length 1
2495 "\04\74\65\73\74" ;; "test"
2496 "\02\fc\80" ;; "\fc\80"
2497 "\03" ;; GlobalImport
2498 "\7f" ;; i32
2499 "\00" ;; immutable
2500 )
2501 "malformed UTF-8 encoding"
2502)
2503
2504;; 6-byte sequence contains 2 bytes
2505(assert_malformed
2506 (module binary
2507 "\00asm" "\01\00\00\00"
2508 "\02\0d" ;; import section
2509 "\01" ;; length 1
2510 "\04\74\65\73\74" ;; "test"
2511 "\03\fc\80\23" ;; "\fc\80#"
2512 "\03" ;; GlobalImport
2513 "\7f" ;; i32
2514 "\00" ;; immutable
2515 )
2516 "malformed UTF-8 encoding"
2517)
2518
2519;; 6-byte sequence contains 1 byte at end of string
2520(assert_malformed
2521 (module binary
2522 "\00asm" "\01\00\00\00"
2523 "\02\0b" ;; import section
2524 "\01" ;; length 1
2525 "\04\74\65\73\74" ;; "test"
2526 "\01\fc" ;; "\fc"
2527 "\03" ;; GlobalImport
2528 "\7f" ;; i32
2529 "\00" ;; immutable
2530 )
2531 "malformed UTF-8 encoding"
2532)
2533
2534;; 6-byte sequence contains 1 byte
2535(assert_malformed
2536 (module binary
2537 "\00asm" "\01\00\00\00"
2538 "\02\0c" ;; import section
2539 "\01" ;; length 1
2540 "\04\74\65\73\74" ;; "test"
2541 "\02\fc\23" ;; "\fc#"
2542 "\03" ;; GlobalImport
2543 "\7f" ;; i32
2544 "\00" ;; immutable
2545 )
2546 "malformed UTF-8 encoding"
2547)
2548
2549;;;; 6-byte sequence contents
2550
2551;; (first) malformed 6-byte prefix
2552(assert_malformed
2553 (module binary
2554 "\00asm" "\01\00\00\00"
2555 "\02\10" ;; import section
2556 "\01" ;; length 1
2557 "\04\74\65\73\74" ;; "test"
2558 "\06\fc\80\80\80\80\80" ;; "\fc\80\80\80\80\80"
2559 "\03" ;; GlobalImport
2560 "\7f" ;; i32
2561 "\00" ;; immutable
2562 )
2563 "malformed UTF-8 encoding"
2564)
2565
2566;; (last) malformed 6-byte prefix
2567(assert_malformed
2568 (module binary
2569 "\00asm" "\01\00\00\00"
2570 "\02\10" ;; import section
2571 "\01" ;; length 1
2572 "\04\74\65\73\74" ;; "test"
2573 "\06\fd\bf\bf\bf\bf\bf" ;; "\fd\bf\bf\bf\bf\bf"
2574 "\03" ;; GlobalImport
2575 "\7f" ;; i32
2576 "\00" ;; immutable
2577 )
2578 "malformed UTF-8 encoding"
2579)
2580
2581;;;; Miscellaneous malformed bytes
2582
2583;; malformed byte
2584(assert_malformed
2585 (module binary
2586 "\00asm" "\01\00\00\00"
2587 "\02\0b" ;; import section
2588 "\01" ;; length 1
2589 "\04\74\65\73\74" ;; "test"
2590 "\01\fe" ;; "\fe"
2591 "\03" ;; GlobalImport
2592 "\7f" ;; i32
2593 "\00" ;; immutable
2594 )
2595 "malformed UTF-8 encoding"
2596)
2597
2598;; malformed byte
2599(assert_malformed
2600 (module binary
2601 "\00asm" "\01\00\00\00"
2602 "\02\0b" ;; import section
2603 "\01" ;; length 1
2604 "\04\74\65\73\74" ;; "test"
2605 "\01\ff" ;; "\ff"
2606 "\03" ;; GlobalImport
2607 "\7f" ;; i32
2608 "\00" ;; immutable
2609 )
2610 "malformed UTF-8 encoding"
2611)
2612
2613;; UTF-16BE BOM
2614(assert_malformed
2615 (module binary
2616 "\00asm" "\01\00\00\00"
2617 "\02\0c" ;; import section
2618 "\01" ;; length 1
2619 "\04\74\65\73\74" ;; "test"
2620 "\02\fe\ff" ;; "\fe\ff"
2621 "\03" ;; GlobalImport
2622 "\7f" ;; i32
2623 "\00" ;; immutable
2624 )
2625 "malformed UTF-8 encoding"
2626)
2627
2628;; UTF-32BE BOM
2629(assert_malformed
2630 (module binary
2631 "\00asm" "\01\00\00\00"
2632 "\02\0e" ;; import section
2633 "\01" ;; length 1
2634 "\04\74\65\73\74" ;; "test"
2635 "\04\00\00\fe\ff" ;; "\00\00\fe\ff"
2636 "\03" ;; GlobalImport
2637 "\7f" ;; i32
2638 "\00" ;; immutable
2639 )
2640 "malformed UTF-8 encoding"
2641)
2642
2643;; UTF-16LE BOM
2644(assert_malformed
2645 (module binary
2646 "\00asm" "\01\00\00\00"
2647 "\02\0c" ;; import section
2648 "\01" ;; length 1
2649 "\04\74\65\73\74" ;; "test"
2650 "\02\ff\fe" ;; "\ff\fe"
2651 "\03" ;; GlobalImport
2652 "\7f" ;; i32
2653 "\00" ;; immutable
2654 )
2655 "malformed UTF-8 encoding"
2656)
2657
2658;; UTF-32LE BOM
2659(assert_malformed
2660 (module binary
2661 "\00asm" "\01\00\00\00"
2662 "\02\0e" ;; import section
2663 "\01" ;; length 1
2664 "\04\74\65\73\74" ;; "test"
2665 "\04\ff\fe\00\00" ;; "\ff\fe\00\00"
2666 "\03" ;; GlobalImport
2667 "\7f" ;; i32
2668 "\00" ;; immutable
2669 )
2670 "malformed UTF-8 encoding"
2671)
2672
View as plain text