Files
failnix/injections/2026-04-18T17:48:31_sum1_repl_naive_late-fail-interp/wasm_interp_array.c

125 lines
8.8 KiB (Stored with Git LFS)
C

unsigned char build_sum1_repl_naive_late_wasm_module_wasm[] = {
0x00, 0x61, 0x73, 0x6d, 0x01, 0x00, 0x00, 0x00, 0x01, 0x0c, 0x03, 0x60,
0x00, 0x00, 0x60, 0x01, 0x7f, 0x00, 0x60, 0x00, 0x01, 0x7f, 0x02, 0x8b,
0x01, 0x06, 0x03, 0x65, 0x6e, 0x76, 0x10, 0x66, 0x61, 0x69, 0x6c, 0x5f,
0x73, 0x74, 0x61, 0x72, 0x74, 0x5f, 0x74, 0x72, 0x61, 0x63, 0x65, 0x00,
0x00, 0x03, 0x65, 0x6e, 0x76, 0x0f, 0x66, 0x61, 0x69, 0x6c, 0x5f, 0x73,
0x74, 0x6f, 0x70, 0x5f, 0x74, 0x72, 0x61, 0x63, 0x65, 0x00, 0x00, 0x03,
0x65, 0x6e, 0x76, 0x05, 0x70, 0x72, 0x69, 0x6e, 0x74, 0x00, 0x01, 0x03,
0x65, 0x6e, 0x76, 0x14, 0x66, 0x61, 0x69, 0x6c, 0x5f, 0x6d, 0x61, 0x72,
0x6b, 0x65, 0x72, 0x5f, 0x70, 0x6f, 0x73, 0x69, 0x74, 0x69, 0x76, 0x65,
0x00, 0x00, 0x03, 0x65, 0x6e, 0x76, 0x14, 0x66, 0x61, 0x69, 0x6c, 0x5f,
0x6d, 0x61, 0x72, 0x6b, 0x65, 0x72, 0x5f, 0x6e, 0x65, 0x67, 0x61, 0x74,
0x69, 0x76, 0x65, 0x00, 0x00, 0x03, 0x65, 0x6e, 0x76, 0x14, 0x66, 0x61,
0x69, 0x6c, 0x5f, 0x6d, 0x61, 0x72, 0x6b, 0x65, 0x72, 0x5f, 0x64, 0x65,
0x74, 0x65, 0x63, 0x74, 0x65, 0x64, 0x00, 0x00, 0x03, 0x04, 0x03, 0x00,
0x02, 0x00, 0x04, 0x05, 0x01, 0x70, 0x01, 0x01, 0x01, 0x05, 0x03, 0x01,
0x00, 0x01, 0x06, 0x13, 0x03, 0x7f, 0x01, 0x41, 0xc0, 0x28, 0x0b, 0x7f,
0x00, 0x41, 0xbc, 0x08, 0x0b, 0x7f, 0x00, 0x41, 0xc0, 0x28, 0x0b, 0x07,
0x33, 0x04, 0x06, 0x6d, 0x65, 0x6d, 0x6f, 0x72, 0x79, 0x02, 0x00, 0x0b,
0x77, 0x61, 0x73, 0x6d, 0x5f, 0x6d, 0x6f, 0x64, 0x75, 0x6c, 0x65, 0x00,
0x07, 0x0a, 0x5f, 0x5f, 0x64, 0x61, 0x74, 0x61, 0x5f, 0x65, 0x6e, 0x64,
0x03, 0x01, 0x0b, 0x5f, 0x5f, 0x68, 0x65, 0x61, 0x70, 0x5f, 0x62, 0x61,
0x73, 0x65, 0x03, 0x02, 0x0a, 0xef, 0x04, 0x03, 0x02, 0x00, 0x0b, 0xaf,
0x03, 0x01, 0x08, 0x7f, 0x23, 0x80, 0x80, 0x80, 0x80, 0x00, 0x41, 0x20,
0x6b, 0x21, 0x00, 0x20, 0x00, 0x24, 0x80, 0x80, 0x80, 0x80, 0x00, 0x41,
0x00, 0x21, 0x01, 0x41, 0x00, 0x20, 0x01, 0x3a, 0x00, 0xb8, 0x88, 0x80,
0x80, 0x00, 0x41, 0x00, 0x21, 0x02, 0x41, 0x00, 0x20, 0x02, 0x3a, 0x00,
0xb9, 0x88, 0x80, 0x80, 0x00, 0x41, 0x00, 0x21, 0x03, 0x41, 0x00, 0x20,
0x03, 0x3a, 0x00, 0xba, 0x88, 0x80, 0x80, 0x00, 0x20, 0x00, 0x41, 0x00,
0x36, 0x02, 0x0c, 0x20, 0x00, 0x41, 0x00, 0x36, 0x02, 0x08, 0x02, 0x40,
0x03, 0x40, 0x20, 0x00, 0x28, 0x02, 0x08, 0x41, 0xe4, 0x00, 0x48, 0x41,
0x01, 0x71, 0x45, 0x0d, 0x01, 0x20, 0x00, 0x20, 0x00, 0x28, 0x02, 0x0c,
0x41, 0x01, 0x6a, 0x36, 0x02, 0x0c, 0x20, 0x00, 0x20, 0x00, 0x28, 0x02,
0x08, 0x41, 0x01, 0x6a, 0x36, 0x02, 0x08, 0x0c, 0x00, 0x0b, 0x0b, 0x20,
0x00, 0x28, 0x02, 0x0c, 0x21, 0x04, 0x41, 0x00, 0x20, 0x04, 0x3a, 0x00,
0xb8, 0x88, 0x80, 0x80, 0x00, 0x20, 0x00, 0x41, 0x00, 0x36, 0x02, 0x14,
0x20, 0x00, 0x41, 0x00, 0x36, 0x02, 0x10, 0x02, 0x40, 0x03, 0x40, 0x20,
0x00, 0x28, 0x02, 0x10, 0x41, 0xe4, 0x00, 0x48, 0x41, 0x01, 0x71, 0x45,
0x0d, 0x01, 0x20, 0x00, 0x20, 0x00, 0x28, 0x02, 0x14, 0x41, 0x01, 0x6a,
0x36, 0x02, 0x14, 0x20, 0x00, 0x20, 0x00, 0x28, 0x02, 0x10, 0x41, 0x01,
0x6a, 0x36, 0x02, 0x10, 0x0c, 0x00, 0x0b, 0x0b, 0x20, 0x00, 0x28, 0x02,
0x14, 0x21, 0x05, 0x41, 0x00, 0x20, 0x05, 0x3a, 0x00, 0xb9, 0x88, 0x80,
0x80, 0x00, 0x20, 0x00, 0x41, 0x00, 0x36, 0x02, 0x1c, 0x20, 0x00, 0x41,
0x00, 0x36, 0x02, 0x18, 0x02, 0x40, 0x03, 0x40, 0x20, 0x00, 0x28, 0x02,
0x18, 0x41, 0xe4, 0x00, 0x48, 0x41, 0x01, 0x71, 0x45, 0x0d, 0x01, 0x20,
0x00, 0x20, 0x00, 0x28, 0x02, 0x1c, 0x41, 0x01, 0x6a, 0x36, 0x02, 0x1c,
0x20, 0x00, 0x20, 0x00, 0x28, 0x02, 0x18, 0x41, 0x01, 0x6a, 0x36, 0x02,
0x18, 0x0c, 0x00, 0x0b, 0x0b, 0x20, 0x00, 0x28, 0x02, 0x1c, 0x21, 0x06,
0x41, 0x00, 0x20, 0x06, 0x3a, 0x00, 0xba, 0x88, 0x80, 0x80, 0x00, 0x10,
0x80, 0x80, 0x80, 0x80, 0x00, 0x10, 0x88, 0x80, 0x80, 0x80, 0x00, 0x10,
0x81, 0x80, 0x80, 0x80, 0x00, 0x02, 0x40, 0x02, 0x40, 0x41, 0x00, 0x2d,
0x00, 0xbb, 0x88, 0x80, 0x80, 0x00, 0x41, 0xff, 0x01, 0x71, 0x41, 0xe4,
0x00, 0x46, 0x41, 0x01, 0x71, 0x45, 0x0d, 0x00, 0x41, 0x80, 0x88, 0x80,
0x80, 0x00, 0x10, 0x82, 0x80, 0x80, 0x80, 0x00, 0x10, 0x83, 0x80, 0x80,
0x80, 0x00, 0x20, 0x00, 0x41, 0x00, 0x36, 0x02, 0x04, 0x0c, 0x01, 0x0b,
0x41, 0x8f, 0x88, 0x80, 0x80, 0x00, 0x10, 0x82, 0x80, 0x80, 0x80, 0x00,
0x10, 0x84, 0x80, 0x80, 0x80, 0x00, 0x20, 0x00, 0x41, 0x01, 0x36, 0x02,
0x04, 0x0b, 0x20, 0x00, 0x28, 0x02, 0x04, 0x21, 0x07, 0x20, 0x00, 0x41,
0x20, 0x6a, 0x24, 0x80, 0x80, 0x80, 0x80, 0x00, 0x20, 0x07, 0x0f, 0x0b,
0xb8, 0x01, 0x01, 0x02, 0x7f, 0x02, 0x40, 0x02, 0x40, 0x02, 0x40, 0x41,
0x00, 0x2d, 0x00, 0xb8, 0x88, 0x80, 0x80, 0x00, 0x41, 0xff, 0x01, 0x71,
0x41, 0x00, 0x2d, 0x00, 0xb9, 0x88, 0x80, 0x80, 0x00, 0x41, 0xff, 0x01,
0x71, 0x46, 0x41, 0x01, 0x71, 0x0d, 0x00, 0x41, 0x00, 0x2d, 0x00, 0xb8,
0x88, 0x80, 0x80, 0x00, 0x41, 0xff, 0x01, 0x71, 0x41, 0x00, 0x2d, 0x00,
0xba, 0x88, 0x80, 0x80, 0x00, 0x41, 0xff, 0x01, 0x71, 0x46, 0x41, 0x01,
0x71, 0x45, 0x0d, 0x01, 0x0b, 0x41, 0x00, 0x2d, 0x00, 0xb8, 0x88, 0x80,
0x80, 0x00, 0x21, 0x00, 0x41, 0x00, 0x20, 0x00, 0x3a, 0x00, 0xbb, 0x88,
0x80, 0x80, 0x00, 0x0c, 0x01, 0x0b, 0x02, 0x40, 0x02, 0x40, 0x41, 0x00,
0x2d, 0x00, 0xb9, 0x88, 0x80, 0x80, 0x00, 0x41, 0xff, 0x01, 0x71, 0x41,
0x00, 0x2d, 0x00, 0xba, 0x88, 0x80, 0x80, 0x00, 0x41, 0xff, 0x01, 0x71,
0x46, 0x41, 0x01, 0x71, 0x45, 0x0d, 0x00, 0x41, 0x00, 0x2d, 0x00, 0xb9,
0x88, 0x80, 0x80, 0x00, 0x21, 0x01, 0x41, 0x00, 0x20, 0x01, 0x3a, 0x00,
0xbb, 0x88, 0x80, 0x80, 0x00, 0x0c, 0x01, 0x0b, 0x41, 0xa2, 0x88, 0x80,
0x80, 0x00, 0x10, 0x82, 0x80, 0x80, 0x80, 0x00, 0x10, 0x85, 0x80, 0x80,
0x80, 0x00, 0x0b, 0x0b, 0x0f, 0x0b, 0x0b, 0x3f, 0x01, 0x00, 0x41, 0x80,
0x08, 0x0b, 0x38, 0x76, 0x6f, 0x74, 0x65, 0x20, 0x73, 0x75, 0x63, 0x63,
0x65, 0x73, 0x73, 0x2e, 0x0a, 0x00, 0x75, 0x6e, 0x64, 0x65, 0x74, 0x65,
0x63, 0x74, 0x65, 0x64, 0x20, 0x65, 0x72, 0x72, 0x6f, 0x72, 0x2e, 0x0a,
0x00, 0x61, 0x6c, 0x6c, 0x20, 0x72, 0x65, 0x70, 0x6c, 0x69, 0x63, 0x61,
0x73, 0x20, 0x64, 0x69, 0x66, 0x66, 0x65, 0x72, 0x2e, 0x0a, 0x00, 0x00,
0xd6, 0x01, 0x04, 0x6e, 0x61, 0x6d, 0x65, 0x00, 0x11, 0x10, 0x77, 0x61,
0x73, 0x6d, 0x5f, 0x6d, 0x6f, 0x64, 0x75, 0x6c, 0x65, 0x2e, 0x77, 0x61,
0x73, 0x6d, 0x01, 0x9b, 0x01, 0x09, 0x00, 0x10, 0x66, 0x61, 0x69, 0x6c,
0x5f, 0x73, 0x74, 0x61, 0x72, 0x74, 0x5f, 0x74, 0x72, 0x61, 0x63, 0x65,
0x01, 0x0f, 0x66, 0x61, 0x69, 0x6c, 0x5f, 0x73, 0x74, 0x6f, 0x70, 0x5f,
0x74, 0x72, 0x61, 0x63, 0x65, 0x02, 0x05, 0x70, 0x72, 0x69, 0x6e, 0x74,
0x03, 0x14, 0x66, 0x61, 0x69, 0x6c, 0x5f, 0x6d, 0x61, 0x72, 0x6b, 0x65,
0x72, 0x5f, 0x70, 0x6f, 0x73, 0x69, 0x74, 0x69, 0x76, 0x65, 0x04, 0x14,
0x66, 0x61, 0x69, 0x6c, 0x5f, 0x6d, 0x61, 0x72, 0x6b, 0x65, 0x72, 0x5f,
0x6e, 0x65, 0x67, 0x61, 0x74, 0x69, 0x76, 0x65, 0x05, 0x14, 0x66, 0x61,
0x69, 0x6c, 0x5f, 0x6d, 0x61, 0x72, 0x6b, 0x65, 0x72, 0x5f, 0x64, 0x65,
0x74, 0x65, 0x63, 0x74, 0x65, 0x64, 0x06, 0x11, 0x5f, 0x5f, 0x77, 0x61,
0x73, 0x6d, 0x5f, 0x63, 0x61, 0x6c, 0x6c, 0x5f, 0x63, 0x74, 0x6f, 0x72,
0x73, 0x07, 0x0b, 0x77, 0x61, 0x73, 0x6d, 0x5f, 0x6d, 0x6f, 0x64, 0x75,
0x6c, 0x65, 0x08, 0x0c, 0x6e, 0x61, 0x69, 0x76, 0x65, 0x5f, 0x76, 0x6f,
0x74, 0x65, 0x28, 0x29, 0x07, 0x12, 0x01, 0x00, 0x0f, 0x5f, 0x5f, 0x73,
0x74, 0x61, 0x63, 0x6b, 0x5f, 0x70, 0x6f, 0x69, 0x6e, 0x74, 0x65, 0x72,
0x09, 0x0a, 0x01, 0x00, 0x07, 0x2e, 0x72, 0x6f, 0x64, 0x61, 0x74, 0x61,
0x00, 0x7f, 0x09, 0x70, 0x72, 0x6f, 0x64, 0x75, 0x63, 0x65, 0x72, 0x73,
0x01, 0x0c, 0x70, 0x72, 0x6f, 0x63, 0x65, 0x73, 0x73, 0x65, 0x64, 0x2d,
0x62, 0x79, 0x01, 0x05, 0x63, 0x6c, 0x61, 0x6e, 0x67, 0x5f, 0x32, 0x31,
0x2e, 0x31, 0x2e, 0x34, 0x2d, 0x77, 0x61, 0x73, 0x69, 0x2d, 0x73, 0x64,
0x6b, 0x20, 0x28, 0x68, 0x74, 0x74, 0x70, 0x73, 0x3a, 0x2f, 0x2f, 0x67,
0x69, 0x74, 0x68, 0x75, 0x62, 0x2e, 0x63, 0x6f, 0x6d, 0x2f, 0x6c, 0x6c,
0x76, 0x6d, 0x2f, 0x6c, 0x6c, 0x76, 0x6d, 0x2d, 0x70, 0x72, 0x6f, 0x6a,
0x65, 0x63, 0x74, 0x20, 0x32, 0x32, 0x32, 0x66, 0x63, 0x31, 0x31, 0x66,
0x32, 0x62, 0x38, 0x66, 0x32, 0x35, 0x66, 0x36, 0x61, 0x30, 0x66, 0x34,
0x39, 0x37, 0x36, 0x32, 0x37, 0x32, 0x65, 0x66, 0x31, 0x62, 0x62, 0x37,
0x62, 0x66, 0x34, 0x39, 0x35, 0x32, 0x31, 0x64, 0x29, 0x00, 0x94, 0x01,
0x0f, 0x74, 0x61, 0x72, 0x67, 0x65, 0x74, 0x5f, 0x66, 0x65, 0x61, 0x74,
0x75, 0x72, 0x65, 0x73, 0x08, 0x2b, 0x0b, 0x62, 0x75, 0x6c, 0x6b, 0x2d,
0x6d, 0x65, 0x6d, 0x6f, 0x72, 0x79, 0x2b, 0x0f, 0x62, 0x75, 0x6c, 0x6b,
0x2d, 0x6d, 0x65, 0x6d, 0x6f, 0x72, 0x79, 0x2d, 0x6f, 0x70, 0x74, 0x2b,
0x16, 0x63, 0x61, 0x6c, 0x6c, 0x2d, 0x69, 0x6e, 0x64, 0x69, 0x72, 0x65,
0x63, 0x74, 0x2d, 0x6f, 0x76, 0x65, 0x72, 0x6c, 0x6f, 0x6e, 0x67, 0x2b,
0x0a, 0x6d, 0x75, 0x6c, 0x74, 0x69, 0x76, 0x61, 0x6c, 0x75, 0x65, 0x2b,
0x0f, 0x6d, 0x75, 0x74, 0x61, 0x62, 0x6c, 0x65, 0x2d, 0x67, 0x6c, 0x6f,
0x62, 0x61, 0x6c, 0x73, 0x2b, 0x13, 0x6e, 0x6f, 0x6e, 0x74, 0x72, 0x61,
0x70, 0x70, 0x69, 0x6e, 0x67, 0x2d, 0x66, 0x70, 0x74, 0x6f, 0x69, 0x6e,
0x74, 0x2b, 0x0f, 0x72, 0x65, 0x66, 0x65, 0x72, 0x65, 0x6e, 0x63, 0x65,
0x2d, 0x74, 0x79, 0x70, 0x65, 0x73, 0x2b, 0x08, 0x73, 0x69, 0x67, 0x6e,
0x2d, 0x65, 0x78, 0x74
};
unsigned int build_sum1_repl_naive_late_wasm_module_wasm_len = 1444;