review.tizen.org Git - platform/framework/web/lwnode.git/blob

   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