| // kernel BUG at kernel/time/timer.c:LINE! |
| // https://syzkaller.appspot.com/bug?id=52c646bb6751d2b7ac781027dbe4125a75acf8f3 |
| // status:fixed |
| // autogenerated by syzkaller (http://github.com/google/syzkaller) |
| |
| #define _GNU_SOURCE |
| #include <arpa/inet.h> |
| #include <endian.h> |
| #include <errno.h> |
| #include <errno.h> |
| #include <fcntl.h> |
| #include <fcntl.h> |
| #include <linux/capability.h> |
| #include <linux/if.h> |
| #include <linux/if_ether.h> |
| #include <linux/if_tun.h> |
| #include <linux/ip.h> |
| #include <linux/tcp.h> |
| #include <net/if_arp.h> |
| #include <sched.h> |
| #include <signal.h> |
| #include <stdarg.h> |
| #include <stdarg.h> |
| #include <stdbool.h> |
| #include <stdbool.h> |
| #include <stdio.h> |
| #include <stdio.h> |
| #include <stdlib.h> |
| #include <sys/ioctl.h> |
| #include <sys/mman.h> |
| #include <sys/mount.h> |
| #include <sys/prctl.h> |
| #include <sys/resource.h> |
| #include <sys/stat.h> |
| #include <sys/stat.h> |
| #include <sys/syscall.h> |
| #include <sys/time.h> |
| #include <sys/uio.h> |
| #include <sys/wait.h> |
| #include <unistd.h> |
| |
| __attribute__((noreturn)) static void doexit(int status) |
| { |
| volatile unsigned i; |
| syscall(__NR_exit_group, status); |
| for (i = 0;; i++) { |
| } |
| } |
| #include <errno.h> |
| #include <setjmp.h> |
| #include <signal.h> |
| #include <stdarg.h> |
| #include <stdint.h> |
| #include <stdio.h> |
| #include <stdlib.h> |
| #include <string.h> |
| #include <string.h> |
| #include <sys/stat.h> |
| |
| const int kFailStatus = 67; |
| const int kRetryStatus = 69; |
| |
| static void fail(const char* msg, ...) |
| { |
| int e = errno; |
| va_list args; |
| va_start(args, msg); |
| vfprintf(stderr, msg, args); |
| va_end(args); |
| fprintf(stderr, " (errno %d)\n", e); |
| doexit((e == ENOMEM || e == EAGAIN) ? kRetryStatus : kFailStatus); |
| } |
| |
| static __thread int skip_segv; |
| static __thread jmp_buf segv_env; |
| |
| static void segv_handler(int sig, siginfo_t* info, void* uctx) |
| { |
| uintptr_t addr = (uintptr_t)info->si_addr; |
| const uintptr_t prog_start = 1 << 20; |
| const uintptr_t prog_end = 100 << 20; |
| if (__atomic_load_n(&skip_segv, __ATOMIC_RELAXED) && |
| (addr < prog_start || addr > prog_end)) { |
| _longjmp(segv_env, 1); |
| } |
| doexit(sig); |
| } |
| |
| static void install_segv_handler() |
| { |
| struct sigaction sa; |
| |
| memset(&sa, 0, sizeof(sa)); |
| sa.sa_handler = SIG_IGN; |
| syscall(SYS_rt_sigaction, 0x20, &sa, NULL, 8); |
| syscall(SYS_rt_sigaction, 0x21, &sa, NULL, 8); |
| |
| memset(&sa, 0, sizeof(sa)); |
| sa.sa_sigaction = segv_handler; |
| sa.sa_flags = SA_NODEFER | SA_SIGINFO; |
| sigaction(SIGSEGV, &sa, NULL); |
| sigaction(SIGBUS, &sa, NULL); |
| } |
| |
| #define NONFAILING(...) \ |
| { \ |
| __atomic_fetch_add(&skip_segv, 1, __ATOMIC_SEQ_CST); \ |
| if (_setjmp(segv_env) == 0) { \ |
| __VA_ARGS__; \ |
| } \ |
| __atomic_fetch_sub(&skip_segv, 1, __ATOMIC_SEQ_CST); \ |
| } |
| |
| static void use_temporary_dir() |
| { |
| char tmpdir_template[] = "./syzkaller.XXXXXX"; |
| char* tmpdir = mkdtemp(tmpdir_template); |
| if (!tmpdir) |
| fail("failed to mkdtemp"); |
| if (chmod(tmpdir, 0777)) |
| fail("failed to chmod"); |
| if (chdir(tmpdir)) |
| fail("failed to chdir"); |
| } |
| |
| static void vsnprintf_check(char* str, size_t size, const char* format, |
| va_list args) |
| { |
| int rv; |
| |
| rv = vsnprintf(str, size, format, args); |
| if (rv < 0) |
| fail("tun: snprintf failed"); |
| if ((size_t)rv >= size) |
| fail("tun: string '%s...' doesn't fit into buffer", str); |
| } |
| |
| static void snprintf_check(char* str, size_t size, const char* format, ...) |
| { |
| va_list args; |
| |
| va_start(args, format); |
| vsnprintf_check(str, size, format, args); |
| va_end(args); |
| } |
| |
| #define COMMAND_MAX_LEN 128 |
| #define PATH_PREFIX \ |
| "PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin " |
| #define PATH_PREFIX_LEN (sizeof(PATH_PREFIX) - 1) |
| |
| static void execute_command(bool panic, const char* format, ...) |
| { |
| va_list args; |
| char command[PATH_PREFIX_LEN + COMMAND_MAX_LEN]; |
| int rv; |
| |
| va_start(args, format); |
| memcpy(command, PATH_PREFIX, PATH_PREFIX_LEN); |
| vsnprintf_check(command + PATH_PREFIX_LEN, COMMAND_MAX_LEN, format, args); |
| rv = system(command); |
| if (panic && rv != 0) |
| fail("tun: command \"%s\" failed with code %d", &command[0], rv); |
| |
| va_end(args); |
| } |
| |
| static int tunfd = -1; |
| static int tun_frags_enabled; |
| |
| #define SYZ_TUN_MAX_PACKET_SIZE 1000 |
| |
| #define MAX_PIDS 32 |
| #define ADDR_MAX_LEN 32 |
| |
| #define LOCAL_MAC "aa:aa:aa:aa:%02hx:aa" |
| #define REMOTE_MAC "aa:aa:aa:aa:%02hx:bb" |
| |
| #define LOCAL_IPV4 "172.20.%d.170" |
| #define REMOTE_IPV4 "172.20.%d.187" |
| |
| #define LOCAL_IPV6 "fe80::%02hx:aa" |
| #define REMOTE_IPV6 "fe80::%02hx:bb" |
| |
| #define IFF_NAPI 0x0010 |
| #define IFF_NAPI_FRAGS 0x0020 |
| |
| static void initialize_tun(int id) |
| { |
| if (id >= MAX_PIDS) |
| fail("tun: no more than %d executors", MAX_PIDS); |
| |
| tunfd = open("/dev/net/tun", O_RDWR | O_NONBLOCK); |
| if (tunfd == -1) { |
| printf("tun: can't open /dev/net/tun: please enable CONFIG_TUN=y\n"); |
| printf("otherwise fuzzing or reproducing might not work as intended\n"); |
| return; |
| } |
| |
| char iface[IFNAMSIZ]; |
| snprintf_check(iface, sizeof(iface), "syz%d", id); |
| |
| struct ifreq ifr; |
| memset(&ifr, 0, sizeof(ifr)); |
| strncpy(ifr.ifr_name, iface, IFNAMSIZ); |
| ifr.ifr_flags = IFF_TAP | IFF_NO_PI | IFF_NAPI | IFF_NAPI_FRAGS; |
| if (ioctl(tunfd, TUNSETIFF, (void*)&ifr) < 0) { |
| ifr.ifr_flags = IFF_TAP | IFF_NO_PI; |
| if (ioctl(tunfd, TUNSETIFF, (void*)&ifr) < 0) |
| fail("tun: ioctl(TUNSETIFF) failed"); |
| } |
| if (ioctl(tunfd, TUNGETIFF, (void*)&ifr) < 0) |
| fail("tun: ioctl(TUNGETIFF) failed"); |
| tun_frags_enabled = (ifr.ifr_flags & IFF_NAPI_FRAGS) != 0; |
| |
| char local_mac[ADDR_MAX_LEN]; |
| snprintf_check(local_mac, sizeof(local_mac), LOCAL_MAC, id); |
| char remote_mac[ADDR_MAX_LEN]; |
| snprintf_check(remote_mac, sizeof(remote_mac), REMOTE_MAC, id); |
| |
| char local_ipv4[ADDR_MAX_LEN]; |
| snprintf_check(local_ipv4, sizeof(local_ipv4), LOCAL_IPV4, id); |
| char remote_ipv4[ADDR_MAX_LEN]; |
| snprintf_check(remote_ipv4, sizeof(remote_ipv4), REMOTE_IPV4, id); |
| |
| char local_ipv6[ADDR_MAX_LEN]; |
| snprintf_check(local_ipv6, sizeof(local_ipv6), LOCAL_IPV6, id); |
| char remote_ipv6[ADDR_MAX_LEN]; |
| snprintf_check(remote_ipv6, sizeof(remote_ipv6), REMOTE_IPV6, id); |
| |
| execute_command(1, "sysctl -w net.ipv6.conf.%s.accept_dad=0", iface); |
| |
| execute_command(1, "sysctl -w net.ipv6.conf.%s.router_solicitations=0", |
| iface); |
| |
| execute_command(1, "ip link set dev %s address %s", iface, local_mac); |
| execute_command(1, "ip addr add %s/24 dev %s", local_ipv4, iface); |
| execute_command(1, "ip -6 addr add %s/120 dev %s", local_ipv6, iface); |
| execute_command(1, "ip neigh add %s lladdr %s dev %s nud permanent", |
| remote_ipv4, remote_mac, iface); |
| execute_command(1, "ip -6 neigh add %s lladdr %s dev %s nud permanent", |
| remote_ipv6, remote_mac, iface); |
| execute_command(1, "ip link set dev %s up", iface); |
| } |
| |
| #define DEV_IPV4 "172.20.%d.%d" |
| #define DEV_IPV6 "fe80::%02hx:%02hx" |
| #define DEV_MAC "aa:aa:aa:aa:%02hx:%02hx" |
| |
| static void initialize_netdevices(int id) |
| { |
| unsigned i; |
| const char* devtypes[] = {"ip6gretap", "bridge", "vcan"}; |
| const char* devnames[] = {"lo", "sit0", "bridge0", "vcan0", |
| "tunl0", "gre0", "gretap0", "ip_vti0", |
| "ip6_vti0", "ip6tnl0", "ip6gre0", "ip6gretap0", |
| "erspan0"}; |
| |
| for (i = 0; i < sizeof(devtypes) / (sizeof(devtypes[0])); i++) |
| execute_command(0, "ip link add dev %s0 type %s", devtypes[i], devtypes[i]); |
| for (i = 0; i < sizeof(devnames) / (sizeof(devnames[0])); i++) { |
| char addr[ADDR_MAX_LEN]; |
| snprintf_check(addr, sizeof(addr), DEV_IPV4, id, id + 10); |
| execute_command(0, "ip -4 addr add %s/24 dev %s", addr, devnames[i]); |
| snprintf_check(addr, sizeof(addr), DEV_IPV6, id, id + 10); |
| execute_command(0, "ip -6 addr add %s/120 dev %s", addr, devnames[i]); |
| snprintf_check(addr, sizeof(addr), DEV_MAC, id, id + 10); |
| execute_command(0, "ip link set dev %s address %s", devnames[i], addr); |
| execute_command(0, "ip link set dev %s up", devnames[i]); |
| } |
| } |
| |
| static void setup_tun(uint64_t pid, bool enable_tun) |
| { |
| if (enable_tun) { |
| initialize_tun(pid); |
| initialize_netdevices(pid); |
| } |
| } |
| |
| static void loop(); |
| |
| static void sandbox_common() |
| { |
| prctl(PR_SET_PDEATHSIG, SIGKILL, 0, 0, 0); |
| setpgrp(); |
| setsid(); |
| |
| struct rlimit rlim; |
| rlim.rlim_cur = rlim.rlim_max = 128 << 20; |
| setrlimit(RLIMIT_AS, &rlim); |
| rlim.rlim_cur = rlim.rlim_max = 8 << 20; |
| setrlimit(RLIMIT_MEMLOCK, &rlim); |
| rlim.rlim_cur = rlim.rlim_max = 1 << 20; |
| setrlimit(RLIMIT_FSIZE, &rlim); |
| rlim.rlim_cur = rlim.rlim_max = 1 << 20; |
| setrlimit(RLIMIT_STACK, &rlim); |
| rlim.rlim_cur = rlim.rlim_max = 0; |
| setrlimit(RLIMIT_CORE, &rlim); |
| |
| #define CLONE_NEWCGROUP 0x02000000 |
| |
| if (unshare(CLONE_NEWNS)) { |
| } |
| if (unshare(CLONE_NEWIPC)) { |
| } |
| if (unshare(CLONE_NEWCGROUP)) { |
| } |
| if (unshare(CLONE_NEWUTS)) { |
| } |
| if (unshare(CLONE_SYSVSEM)) { |
| } |
| } |
| |
| static bool write_file(const char* file, const char* what, ...) |
| { |
| char buf[1024]; |
| va_list args; |
| va_start(args, what); |
| vsnprintf(buf, sizeof(buf), what, args); |
| va_end(args); |
| buf[sizeof(buf) - 1] = 0; |
| int len = strlen(buf); |
| |
| int fd = open(file, O_WRONLY | O_CLOEXEC); |
| if (fd == -1) |
| return false; |
| if (write(fd, buf, len) != len) { |
| close(fd); |
| return false; |
| } |
| close(fd); |
| return true; |
| } |
| |
| static int real_uid; |
| static int real_gid; |
| __attribute__((aligned(64 << 10))) static char sandbox_stack[1 << 20]; |
| |
| static int namespace_sandbox_proc(void* arg) |
| { |
| sandbox_common(); |
| |
| write_file("/proc/self/setgroups", "deny"); |
| if (!write_file("/proc/self/uid_map", "0 %d 1\n", real_uid)) |
| fail("write of /proc/self/uid_map failed"); |
| if (!write_file("/proc/self/gid_map", "0 %d 1\n", real_gid)) |
| fail("write of /proc/self/gid_map failed"); |
| |
| if (unshare(CLONE_NEWNET)) |
| fail("unshare(CLONE_NEWNET)"); |
| setup_tun((long)arg >> 1, (long)arg & 1); |
| |
| if (mkdir("./syz-tmp", 0777)) |
| fail("mkdir(syz-tmp) failed"); |
| if (mount("", "./syz-tmp", "tmpfs", 0, NULL)) |
| fail("mount(tmpfs) failed"); |
| if (mkdir("./syz-tmp/newroot", 0777)) |
| fail("mkdir failed"); |
| if (mkdir("./syz-tmp/newroot/dev", 0700)) |
| fail("mkdir failed"); |
| unsigned mount_flags = MS_BIND | MS_REC | MS_PRIVATE; |
| if (mount("/dev", "./syz-tmp/newroot/dev", NULL, mount_flags, NULL)) |
| fail("mount(dev) failed"); |
| if (mkdir("./syz-tmp/newroot/proc", 0700)) |
| fail("mkdir failed"); |
| if (mount(NULL, "./syz-tmp/newroot/proc", "proc", 0, NULL)) |
| fail("mount(proc) failed"); |
| if (mkdir("./syz-tmp/newroot/selinux", 0700)) |
| fail("mkdir failed"); |
| const char* selinux_path = "./syz-tmp/newroot/selinux"; |
| if (mount("/selinux", selinux_path, NULL, mount_flags, NULL) && |
| mount("/sys/fs/selinux", selinux_path, NULL, mount_flags, NULL)) |
| fail("mount(selinuxfs) failed"); |
| if (mkdir("./syz-tmp/pivot", 0777)) |
| fail("mkdir failed"); |
| if (syscall(SYS_pivot_root, "./syz-tmp", "./syz-tmp/pivot")) { |
| if (chdir("./syz-tmp")) |
| fail("chdir failed"); |
| } else { |
| if (chdir("/")) |
| fail("chdir failed"); |
| if (umount2("./pivot", MNT_DETACH)) |
| fail("umount failed"); |
| } |
| if (chroot("./newroot")) |
| fail("chroot failed"); |
| if (chdir("/")) |
| fail("chdir failed"); |
| |
| struct __user_cap_header_struct cap_hdr = {}; |
| struct __user_cap_data_struct cap_data[2] = {}; |
| cap_hdr.version = _LINUX_CAPABILITY_VERSION_3; |
| cap_hdr.pid = getpid(); |
| if (syscall(SYS_capget, &cap_hdr, &cap_data)) |
| fail("capget failed"); |
| cap_data[0].effective &= ~(1 << CAP_SYS_PTRACE); |
| cap_data[0].permitted &= ~(1 << CAP_SYS_PTRACE); |
| cap_data[0].inheritable &= ~(1 << CAP_SYS_PTRACE); |
| if (syscall(SYS_capset, &cap_hdr, &cap_data)) |
| fail("capset failed"); |
| |
| loop(); |
| doexit(1); |
| } |
| |
| static int do_sandbox_namespace(int executor_pid, bool enable_tun) |
| { |
| int pid; |
| |
| real_uid = getuid(); |
| real_gid = getgid(); |
| mprotect(sandbox_stack, 4096, PROT_NONE); |
| void* arg = (void*)(long)((executor_pid << 1) | enable_tun); |
| pid = |
| clone(namespace_sandbox_proc, &sandbox_stack[sizeof(sandbox_stack) - 64], |
| CLONE_NEWUSER | CLONE_NEWPID, arg); |
| if (pid < 0) |
| fail("sandbox clone failed"); |
| return pid; |
| } |
| |
| long r[2]; |
| void loop() |
| { |
| memset(r, -1, sizeof(r)); |
| syscall(__NR_mmap, 0x20000000, 0xfff000, 3, 0x32, -1, 0); |
| r[0] = syscall(__NR_socket, 0xa, 3, 0x2c); |
| NONFAILING(memcpy((void*)0x20000bf8, "\x66\x69\x6c\x74\x65\x72\x00\x00\x00" |
| "\x00\x00\x00\x00\x00\x00\x00\x00\x00" |
| "\x00\x00\x00\x00\x00\x00\x00\x00\x00" |
| "\x00\x00\x00\x00\x00", |
| 32)); |
| NONFAILING(*(uint32_t*)0x20000c18 = 0xe); |
| NONFAILING(*(uint32_t*)0x20000c1c = 4); |
| NONFAILING(*(uint32_t*)0x20000c20 = 0x3a8); |
| NONFAILING(*(uint32_t*)0x20000c24 = -1); |
| NONFAILING(*(uint32_t*)0x20000c28 = 0xd0); |
| NONFAILING(*(uint32_t*)0x20000c2c = 0); |
| NONFAILING(*(uint32_t*)0x20000c30 = 0xd0); |
| NONFAILING(*(uint32_t*)0x20000c34 = -1); |
| NONFAILING(*(uint32_t*)0x20000c38 = -1); |
| NONFAILING(*(uint32_t*)0x20000c3c = 0x2d8); |
| NONFAILING(*(uint32_t*)0x20000c40 = 0x2d8); |
| NONFAILING(*(uint32_t*)0x20000c44 = 0x2d8); |
| NONFAILING(*(uint32_t*)0x20000c48 = -1); |
| NONFAILING(*(uint32_t*)0x20000c4c = 4); |
| NONFAILING(*(uint64_t*)0x20000c50 = 0x20014fc0); |
| NONFAILING(*(uint8_t*)0x20000c58 = 0); |
| NONFAILING(*(uint8_t*)0x20000c59 = 0); |
| NONFAILING(*(uint8_t*)0x20000c5a = 0); |
| NONFAILING(*(uint8_t*)0x20000c5b = 0); |
| NONFAILING(*(uint8_t*)0x20000c5c = 0); |
| NONFAILING(*(uint8_t*)0x20000c5d = 0); |
| NONFAILING(*(uint8_t*)0x20000c5e = 0); |
| NONFAILING(*(uint8_t*)0x20000c5f = 0); |
| NONFAILING(*(uint8_t*)0x20000c60 = 0); |
| NONFAILING(*(uint8_t*)0x20000c61 = 0); |
| NONFAILING(*(uint8_t*)0x20000c62 = 0); |
| NONFAILING(*(uint8_t*)0x20000c63 = 0); |
| NONFAILING(*(uint8_t*)0x20000c64 = 0); |
| NONFAILING(*(uint8_t*)0x20000c65 = 0); |
| NONFAILING(*(uint8_t*)0x20000c66 = 0); |
| NONFAILING(*(uint8_t*)0x20000c67 = 0); |
| NONFAILING(*(uint8_t*)0x20000c68 = 0); |
| NONFAILING(*(uint8_t*)0x20000c69 = 0); |
| NONFAILING(*(uint8_t*)0x20000c6a = 0); |
| NONFAILING(*(uint8_t*)0x20000c6b = 0); |
| NONFAILING(*(uint8_t*)0x20000c6c = 0); |
| NONFAILING(*(uint8_t*)0x20000c6d = 0); |
| NONFAILING(*(uint8_t*)0x20000c6e = 0); |
| NONFAILING(*(uint8_t*)0x20000c6f = 0); |
| NONFAILING(*(uint8_t*)0x20000c70 = 0); |
| NONFAILING(*(uint8_t*)0x20000c71 = 0); |
| NONFAILING(*(uint8_t*)0x20000c72 = 0); |
| NONFAILING(*(uint8_t*)0x20000c73 = 0); |
| NONFAILING(*(uint8_t*)0x20000c74 = 0); |
| NONFAILING(*(uint8_t*)0x20000c75 = 0); |
| NONFAILING(*(uint8_t*)0x20000c76 = 0); |
| NONFAILING(*(uint8_t*)0x20000c77 = 0); |
| NONFAILING(*(uint8_t*)0x20000c78 = 0); |
| NONFAILING(*(uint8_t*)0x20000c79 = 0); |
| NONFAILING(*(uint8_t*)0x20000c7a = 0); |
| NONFAILING(*(uint8_t*)0x20000c7b = 0); |
| NONFAILING(*(uint8_t*)0x20000c7c = 0); |
| NONFAILING(*(uint8_t*)0x20000c7d = 0); |
| NONFAILING(*(uint8_t*)0x20000c7e = 0); |
| NONFAILING(*(uint8_t*)0x20000c7f = 0); |
| NONFAILING(*(uint8_t*)0x20000c80 = 0); |
| NONFAILING(*(uint8_t*)0x20000c81 = 0); |
| NONFAILING(*(uint8_t*)0x20000c82 = 0); |
| NONFAILING(*(uint8_t*)0x20000c83 = 0); |
| NONFAILING(*(uint8_t*)0x20000c84 = 0); |
| NONFAILING(*(uint8_t*)0x20000c85 = 0); |
| NONFAILING(*(uint8_t*)0x20000c86 = 0); |
| NONFAILING(*(uint8_t*)0x20000c87 = 0); |
| NONFAILING(*(uint8_t*)0x20000c88 = 0); |
| NONFAILING(*(uint8_t*)0x20000c89 = 0); |
| NONFAILING(*(uint8_t*)0x20000c8a = 0); |
| NONFAILING(*(uint8_t*)0x20000c8b = 0); |
| NONFAILING(*(uint8_t*)0x20000c8c = 0); |
| NONFAILING(*(uint8_t*)0x20000c8d = 0); |
| NONFAILING(*(uint8_t*)0x20000c8e = 0); |
| NONFAILING(*(uint8_t*)0x20000c8f = 0); |
| NONFAILING(*(uint8_t*)0x20000c90 = 0); |
| NONFAILING(*(uint8_t*)0x20000c91 = 0); |
| NONFAILING(*(uint8_t*)0x20000c92 = 0); |
| NONFAILING(*(uint8_t*)0x20000c93 = 0); |
| NONFAILING(*(uint8_t*)0x20000c94 = 0); |
| NONFAILING(*(uint8_t*)0x20000c95 = 0); |
| NONFAILING(*(uint8_t*)0x20000c96 = 0); |
| NONFAILING(*(uint8_t*)0x20000c97 = 0); |
| NONFAILING(*(uint8_t*)0x20000c98 = 0); |
| NONFAILING(*(uint8_t*)0x20000c99 = 0); |
| NONFAILING(*(uint8_t*)0x20000c9a = 0); |
| NONFAILING(*(uint8_t*)0x20000c9b = 0); |
| NONFAILING(*(uint8_t*)0x20000c9c = 0); |
| NONFAILING(*(uint8_t*)0x20000c9d = 0); |
| NONFAILING(*(uint8_t*)0x20000c9e = 0); |
| NONFAILING(*(uint8_t*)0x20000c9f = 0); |
| NONFAILING(*(uint8_t*)0x20000ca0 = 0); |
| NONFAILING(*(uint8_t*)0x20000ca1 = 0); |
| NONFAILING(*(uint8_t*)0x20000ca2 = 0); |
| NONFAILING(*(uint8_t*)0x20000ca3 = 0); |
| NONFAILING(*(uint8_t*)0x20000ca4 = 0); |
| NONFAILING(*(uint8_t*)0x20000ca5 = 0); |
| NONFAILING(*(uint8_t*)0x20000ca6 = 0); |
| NONFAILING(*(uint8_t*)0x20000ca7 = 0); |
| NONFAILING(*(uint8_t*)0x20000ca8 = 0); |
| NONFAILING(*(uint8_t*)0x20000ca9 = 0); |
| NONFAILING(*(uint8_t*)0x20000caa = 0); |
| NONFAILING(*(uint8_t*)0x20000cab = 0); |
| NONFAILING(*(uint8_t*)0x20000cac = 0); |
| NONFAILING(*(uint8_t*)0x20000cad = 0); |
| NONFAILING(*(uint8_t*)0x20000cae = 0); |
| NONFAILING(*(uint8_t*)0x20000caf = 0); |
| NONFAILING(*(uint8_t*)0x20000cb0 = 0); |
| NONFAILING(*(uint8_t*)0x20000cb1 = 0); |
| NONFAILING(*(uint8_t*)0x20000cb2 = 0); |
| NONFAILING(*(uint8_t*)0x20000cb3 = 0); |
| NONFAILING(*(uint8_t*)0x20000cb4 = 0); |
| NONFAILING(*(uint8_t*)0x20000cb5 = 0); |
| NONFAILING(*(uint8_t*)0x20000cb6 = 0); |
| NONFAILING(*(uint8_t*)0x20000cb7 = 0); |
| NONFAILING(*(uint8_t*)0x20000cb8 = 0); |
| NONFAILING(*(uint8_t*)0x20000cb9 = 0); |
| NONFAILING(*(uint8_t*)0x20000cba = 0); |
| NONFAILING(*(uint8_t*)0x20000cbb = 0); |
| NONFAILING(*(uint8_t*)0x20000cbc = 0); |
| NONFAILING(*(uint8_t*)0x20000cbd = 0); |
| NONFAILING(*(uint8_t*)0x20000cbe = 0); |
| NONFAILING(*(uint8_t*)0x20000cbf = 0); |
| NONFAILING(*(uint8_t*)0x20000cc0 = 0); |
| NONFAILING(*(uint8_t*)0x20000cc1 = 0); |
| NONFAILING(*(uint8_t*)0x20000cc2 = 0); |
| NONFAILING(*(uint8_t*)0x20000cc3 = 0); |
| NONFAILING(*(uint8_t*)0x20000cc4 = 0); |
| NONFAILING(*(uint8_t*)0x20000cc5 = 0); |
| NONFAILING(*(uint8_t*)0x20000cc6 = 0); |
| NONFAILING(*(uint8_t*)0x20000cc7 = 0); |
| NONFAILING(*(uint8_t*)0x20000cc8 = 0); |
| NONFAILING(*(uint8_t*)0x20000cc9 = 0); |
| NONFAILING(*(uint8_t*)0x20000cca = 0); |
| NONFAILING(*(uint8_t*)0x20000ccb = 0); |
| NONFAILING(*(uint8_t*)0x20000ccc = 0); |
| NONFAILING(*(uint8_t*)0x20000ccd = 0); |
| NONFAILING(*(uint8_t*)0x20000cce = 0); |
| NONFAILING(*(uint8_t*)0x20000ccf = 0); |
| NONFAILING(*(uint8_t*)0x20000cd0 = 0); |
| NONFAILING(*(uint8_t*)0x20000cd1 = 0); |
| NONFAILING(*(uint8_t*)0x20000cd2 = 0); |
| NONFAILING(*(uint8_t*)0x20000cd3 = 0); |
| NONFAILING(*(uint8_t*)0x20000cd4 = 0); |
| NONFAILING(*(uint8_t*)0x20000cd5 = 0); |
| NONFAILING(*(uint8_t*)0x20000cd6 = 0); |
| NONFAILING(*(uint8_t*)0x20000cd7 = 0); |
| NONFAILING(*(uint8_t*)0x20000cd8 = 0); |
| NONFAILING(*(uint8_t*)0x20000cd9 = 0); |
| NONFAILING(*(uint8_t*)0x20000cda = 0); |
| NONFAILING(*(uint8_t*)0x20000cdb = 0); |
| NONFAILING(*(uint8_t*)0x20000cdc = 0); |
| NONFAILING(*(uint8_t*)0x20000cdd = 0); |
| NONFAILING(*(uint8_t*)0x20000cde = 0); |
| NONFAILING(*(uint8_t*)0x20000cdf = 0); |
| NONFAILING(*(uint32_t*)0x20000ce0 = 0); |
| NONFAILING(*(uint16_t*)0x20000ce4 = 0xa8); |
| NONFAILING(*(uint16_t*)0x20000ce6 = 0xd0); |
| NONFAILING(*(uint32_t*)0x20000ce8 = 0); |
| NONFAILING(*(uint64_t*)0x20000cf0 = 0); |
| NONFAILING(*(uint64_t*)0x20000cf8 = 0); |
| NONFAILING(*(uint16_t*)0x20000d00 = 0x28); |
| NONFAILING(memcpy((void*)0x20000d02, "\x52\x45\x4a\x45\x43\x54\x00\x00\x00" |
| "\x00\x00\x00\x00\x00\x00\x00\x00\x00" |
| "\x00\x00\x00\x00\x00\x00\x00\x00\x00" |
| "\x00\x00", |
| 29)); |
| NONFAILING(*(uint8_t*)0x20000d1f = 0); |
| NONFAILING(*(uint32_t*)0x20000d20 = 0); |
| NONFAILING(*(uint64_t*)0x20000d28 = htobe64(0)); |
| NONFAILING(*(uint64_t*)0x20000d30 = htobe64(1)); |
| NONFAILING(*(uint8_t*)0x20000d38 = -1); |
| NONFAILING(*(uint8_t*)0x20000d39 = 2); |
| NONFAILING(*(uint8_t*)0x20000d3a = 0); |
| NONFAILING(*(uint8_t*)0x20000d3b = 0); |
| NONFAILING(*(uint8_t*)0x20000d3c = 0); |
| NONFAILING(*(uint8_t*)0x20000d3d = 0); |
| NONFAILING(*(uint8_t*)0x20000d3e = 0); |
| NONFAILING(*(uint8_t*)0x20000d3f = 0); |
| NONFAILING(*(uint8_t*)0x20000d40 = 0); |
| NONFAILING(*(uint8_t*)0x20000d41 = 0); |
| NONFAILING(*(uint8_t*)0x20000d42 = 0); |
| NONFAILING(*(uint8_t*)0x20000d43 = 0); |
| NONFAILING(*(uint8_t*)0x20000d44 = 0); |
| NONFAILING(*(uint8_t*)0x20000d45 = 0); |
| NONFAILING(*(uint8_t*)0x20000d46 = 0); |
| NONFAILING(*(uint8_t*)0x20000d47 = 1); |
| NONFAILING(*(uint32_t*)0x20000d48 = htobe32(0)); |
| NONFAILING(*(uint32_t*)0x20000d4c = htobe32(0)); |
| NONFAILING(*(uint32_t*)0x20000d50 = htobe32(0)); |
| NONFAILING(*(uint32_t*)0x20000d54 = htobe32(0)); |
| NONFAILING(*(uint32_t*)0x20000d58 = htobe32(0)); |
| NONFAILING(*(uint32_t*)0x20000d5c = htobe32(0)); |
| NONFAILING(*(uint32_t*)0x20000d60 = htobe32(0)); |
| NONFAILING(*(uint32_t*)0x20000d64 = htobe32(0)); |
| NONFAILING(*(uint8_t*)0x20000d68 = 0x73); |
| NONFAILING(*(uint8_t*)0x20000d69 = 0x79); |
| NONFAILING(*(uint8_t*)0x20000d6a = 0x7a); |
| NONFAILING(*(uint8_t*)0x20000d6b = 0); |
| NONFAILING(*(uint8_t*)0x20000d6c = 0); |
| NONFAILING(memcpy( |
| (void*)0x20000d78, |
| "\x74\x65\x71\x6c\x30\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00", 16)); |
| NONFAILING(*(uint8_t*)0x20000d88 = 0); |
| NONFAILING(*(uint8_t*)0x20000d89 = 0); |
| NONFAILING(*(uint8_t*)0x20000d8a = 0); |
| NONFAILING(*(uint8_t*)0x20000d8b = 0); |
| NONFAILING(*(uint8_t*)0x20000d8c = 0); |
| NONFAILING(*(uint8_t*)0x20000d8d = 0); |
| NONFAILING(*(uint8_t*)0x20000d8e = 0); |
| NONFAILING(*(uint8_t*)0x20000d8f = 0); |
| NONFAILING(*(uint8_t*)0x20000d90 = 0); |
| NONFAILING(*(uint8_t*)0x20000d91 = 0); |
| NONFAILING(*(uint8_t*)0x20000d92 = 0); |
| NONFAILING(*(uint8_t*)0x20000d93 = 0); |
| NONFAILING(*(uint8_t*)0x20000d94 = 0); |
| NONFAILING(*(uint8_t*)0x20000d95 = 0); |
| NONFAILING(*(uint8_t*)0x20000d96 = 0); |
| NONFAILING(*(uint8_t*)0x20000d97 = 0); |
| NONFAILING(*(uint8_t*)0x20000d98 = 0); |
| NONFAILING(*(uint8_t*)0x20000d99 = 0); |
| NONFAILING(*(uint8_t*)0x20000d9a = 0); |
| NONFAILING(*(uint8_t*)0x20000d9b = 0); |
| NONFAILING(*(uint8_t*)0x20000d9c = 0); |
| NONFAILING(*(uint8_t*)0x20000d9d = 0); |
| NONFAILING(*(uint8_t*)0x20000d9e = 0); |
| NONFAILING(*(uint8_t*)0x20000d9f = 0); |
| NONFAILING(*(uint8_t*)0x20000da0 = 0); |
| NONFAILING(*(uint8_t*)0x20000da1 = 0); |
| NONFAILING(*(uint8_t*)0x20000da2 = 0); |
| NONFAILING(*(uint8_t*)0x20000da3 = 0); |
| NONFAILING(*(uint8_t*)0x20000da4 = 0); |
| NONFAILING(*(uint8_t*)0x20000da5 = 0); |
| NONFAILING(*(uint8_t*)0x20000da6 = 0); |
| NONFAILING(*(uint8_t*)0x20000da7 = 0); |
| NONFAILING(*(uint16_t*)0x20000da8 = 0); |
| NONFAILING(*(uint8_t*)0x20000daa = 0); |
| NONFAILING(*(uint8_t*)0x20000dab = 0); |
| NONFAILING(*(uint8_t*)0x20000dac = 0); |
| NONFAILING(*(uint32_t*)0x20000db0 = 0); |
| NONFAILING(*(uint16_t*)0x20000db4 = 0xf0); |
| NONFAILING(*(uint16_t*)0x20000db6 = 0x138); |
| NONFAILING(*(uint32_t*)0x20000db8 = 0); |
| NONFAILING(*(uint64_t*)0x20000dc0 = 0); |
| NONFAILING(*(uint64_t*)0x20000dc8 = 0); |
| NONFAILING(*(uint16_t*)0x20000dd0 = 0x48); |
| NONFAILING(memcpy((void*)0x20000dd2, "\x68\x62\x68\x00\x00\x00\x00\x00\x00" |
| "\x00\x00\x00\x00\x00\x00\x00\x00\x00" |
| "\x00\x00\x00\x00\x00\x00\x00\x00\x00" |
| "\x00\x00", |
| 29)); |
| NONFAILING(*(uint8_t*)0x20000def = 0); |
| NONFAILING(*(uint32_t*)0x20000df0 = 0); |
| NONFAILING(*(uint8_t*)0x20000df4 = 0); |
| NONFAILING(*(uint8_t*)0x20000df5 = 0); |
| NONFAILING(*(uint16_t*)0x20000df6 = 0); |
| NONFAILING(*(uint16_t*)0x20000df8 = 0); |
| NONFAILING(*(uint16_t*)0x20000dfa = 0); |
| NONFAILING(*(uint16_t*)0x20000dfc = 0); |
| NONFAILING(*(uint16_t*)0x20000dfe = 0); |
| NONFAILING(*(uint16_t*)0x20000e00 = 0); |
| NONFAILING(*(uint16_t*)0x20000e02 = 0); |
| NONFAILING(*(uint16_t*)0x20000e04 = 0); |
| NONFAILING(*(uint16_t*)0x20000e06 = 0); |
| NONFAILING(*(uint16_t*)0x20000e08 = 0); |
| NONFAILING(*(uint16_t*)0x20000e0a = 0); |
| NONFAILING(*(uint16_t*)0x20000e0c = 0); |
| NONFAILING(*(uint16_t*)0x20000e0e = 0); |
| NONFAILING(*(uint16_t*)0x20000e10 = 0); |
| NONFAILING(*(uint16_t*)0x20000e12 = 0); |
| NONFAILING(*(uint16_t*)0x20000e14 = 0); |
| NONFAILING(*(uint8_t*)0x20000e16 = 0); |
| NONFAILING(*(uint16_t*)0x20000e18 = 0x48); |
| NONFAILING(memcpy((void*)0x20000e1a, "\x4c\x45\x44\x00\x00\x00\x00\x00\x00" |
| "\x00\x00\x00\x00\x00\x00\x00\x00\x00" |
| "\x00\x00\x00\x00\x00\x00\x00\x00\x00" |
| "\x00\x00", |
| 29)); |
| NONFAILING(*(uint8_t*)0x20000e37 = 0); |
| NONFAILING(memcpy((void*)0x20000e38, "\x73\x79\x7a\x30\x00\x00\x00\x00\x00" |
| "\x00\x00\x00\x00\x00\x00\x00\x00\x00" |
| "\x00\x00\x00\x00\x00\x00\x00\x00\x00", |
| 27)); |
| NONFAILING(*(uint8_t*)0x20000e53 = 0); |
| NONFAILING(*(uint32_t*)0x20000e54 = 0); |
| NONFAILING(*(uint64_t*)0x20000e58 = 0); |
| NONFAILING(*(uint8_t*)0x20000e60 = 0); |
| NONFAILING(*(uint8_t*)0x20000e61 = 0); |
| NONFAILING(*(uint8_t*)0x20000e62 = 0); |
| NONFAILING(*(uint8_t*)0x20000e63 = 0); |
| NONFAILING(*(uint8_t*)0x20000e64 = 0); |
| NONFAILING(*(uint8_t*)0x20000e65 = 0); |
| NONFAILING(*(uint8_t*)0x20000e66 = 0); |
| NONFAILING(*(uint8_t*)0x20000e67 = 0); |
| NONFAILING(*(uint8_t*)0x20000e68 = 0); |
| NONFAILING(*(uint8_t*)0x20000e69 = 0); |
| NONFAILING(*(uint8_t*)0x20000e6a = 0); |
| NONFAILING(*(uint8_t*)0x20000e6b = 0); |
| NONFAILING(*(uint8_t*)0x20000e6c = 0); |
| NONFAILING(*(uint8_t*)0x20000e6d = 0); |
| NONFAILING(*(uint8_t*)0x20000e6e = 0); |
| NONFAILING(*(uint8_t*)0x20000e6f = 0); |
| NONFAILING(*(uint8_t*)0x20000e70 = 0); |
| NONFAILING(*(uint8_t*)0x20000e71 = 0); |
| NONFAILING(*(uint8_t*)0x20000e72 = 0); |
| NONFAILING(*(uint8_t*)0x20000e73 = 0); |
| NONFAILING(*(uint8_t*)0x20000e74 = 0); |
| NONFAILING(*(uint8_t*)0x20000e75 = 0); |
| NONFAILING(*(uint8_t*)0x20000e76 = 0); |
| NONFAILING(*(uint8_t*)0x20000e77 = 0); |
| NONFAILING(*(uint8_t*)0x20000e78 = 0); |
| NONFAILING(*(uint8_t*)0x20000e79 = 0); |
| NONFAILING(*(uint8_t*)0x20000e7a = 0); |
| NONFAILING(*(uint8_t*)0x20000e7b = 0); |
| NONFAILING(*(uint8_t*)0x20000e7c = 0); |
| NONFAILING(*(uint8_t*)0x20000e7d = 0); |
| NONFAILING(*(uint8_t*)0x20000e7e = 0); |
| NONFAILING(*(uint8_t*)0x20000e7f = 0); |
| NONFAILING(*(uint8_t*)0x20000e80 = 0); |
| NONFAILING(*(uint8_t*)0x20000e81 = 0); |
| NONFAILING(*(uint8_t*)0x20000e82 = 0); |
| NONFAILING(*(uint8_t*)0x20000e83 = 0); |
| NONFAILING(*(uint8_t*)0x20000e84 = 0); |
| NONFAILING(*(uint8_t*)0x20000e85 = 0); |
| NONFAILING(*(uint8_t*)0x20000e86 = 0); |
| NONFAILING(*(uint8_t*)0x20000e87 = 0); |
| NONFAILING(*(uint8_t*)0x20000e88 = 0); |
| NONFAILING(*(uint8_t*)0x20000e89 = 0); |
| NONFAILING(*(uint8_t*)0x20000e8a = 0); |
| NONFAILING(*(uint8_t*)0x20000e8b = 0); |
| NONFAILING(*(uint8_t*)0x20000e8c = 0); |
| NONFAILING(*(uint8_t*)0x20000e8d = 0); |
| NONFAILING(*(uint8_t*)0x20000e8e = 0); |
| NONFAILING(*(uint8_t*)0x20000e8f = 0); |
| NONFAILING(*(uint8_t*)0x20000e90 = 0); |
| NONFAILING(*(uint8_t*)0x20000e91 = 0); |
| NONFAILING(*(uint8_t*)0x20000e92 = 0); |
| NONFAILING(*(uint8_t*)0x20000e93 = 0); |
| NONFAILING(*(uint8_t*)0x20000e94 = 0); |
| NONFAILING(*(uint8_t*)0x20000e95 = 0); |
| NONFAILING(*(uint8_t*)0x20000e96 = 0); |
| NONFAILING(*(uint8_t*)0x20000e97 = 0); |
| NONFAILING(*(uint8_t*)0x20000e98 = 0); |
| NONFAILING(*(uint8_t*)0x20000e99 = 0); |
| NONFAILING(*(uint8_t*)0x20000e9a = 0); |
| NONFAILING(*(uint8_t*)0x20000e9b = 0); |
| NONFAILING(*(uint8_t*)0x20000e9c = 0); |
| NONFAILING(*(uint8_t*)0x20000e9d = 0); |
| NONFAILING(*(uint8_t*)0x20000e9e = 0); |
| NONFAILING(*(uint8_t*)0x20000e9f = 0); |
| NONFAILING(*(uint8_t*)0x20000ea0 = 0); |
| NONFAILING(*(uint8_t*)0x20000ea1 = 0); |
| NONFAILING(*(uint8_t*)0x20000ea2 = 0); |
| NONFAILING(*(uint8_t*)0x20000ea3 = 0); |
| NONFAILING(*(uint8_t*)0x20000ea4 = 0); |
| NONFAILING(*(uint8_t*)0x20000ea5 = 0); |
| NONFAILING(*(uint8_t*)0x20000ea6 = 0); |
| NONFAILING(*(uint8_t*)0x20000ea7 = 0); |
| NONFAILING(*(uint8_t*)0x20000ea8 = 0); |
| NONFAILING(*(uint8_t*)0x20000ea9 = 0); |
| NONFAILING(*(uint8_t*)0x20000eaa = 0); |
| NONFAILING(*(uint8_t*)0x20000eab = 0); |
| NONFAILING(*(uint8_t*)0x20000eac = 0); |
| NONFAILING(*(uint8_t*)0x20000ead = 0); |
| NONFAILING(*(uint8_t*)0x20000eae = 0); |
| NONFAILING(*(uint8_t*)0x20000eaf = 0); |
| NONFAILING(*(uint8_t*)0x20000eb0 = 0); |
| NONFAILING(*(uint8_t*)0x20000eb1 = 0); |
| NONFAILING(*(uint8_t*)0x20000eb2 = 0); |
| NONFAILING(*(uint8_t*)0x20000eb3 = 0); |
| NONFAILING(*(uint8_t*)0x20000eb4 = 0); |
| NONFAILING(*(uint8_t*)0x20000eb5 = 0); |
| NONFAILING(*(uint8_t*)0x20000eb6 = 0); |
| NONFAILING(*(uint8_t*)0x20000eb7 = 0); |
| NONFAILING(*(uint8_t*)0x20000eb8 = 0); |
| NONFAILING(*(uint8_t*)0x20000eb9 = 0); |
| NONFAILING(*(uint8_t*)0x20000eba = 0); |
| NONFAILING(*(uint8_t*)0x20000ebb = 0); |
| NONFAILING(*(uint8_t*)0x20000ebc = 0); |
| NONFAILING(*(uint8_t*)0x20000ebd = 0); |
| NONFAILING(*(uint8_t*)0x20000ebe = 0); |
| NONFAILING(*(uint8_t*)0x20000ebf = 0); |
| NONFAILING(*(uint8_t*)0x20000ec0 = 0); |
| NONFAILING(*(uint8_t*)0x20000ec1 = 0); |
| NONFAILING(*(uint8_t*)0x20000ec2 = 0); |
| NONFAILING(*(uint8_t*)0x20000ec3 = 0); |
| NONFAILING(*(uint8_t*)0x20000ec4 = 0); |
| NONFAILING(*(uint8_t*)0x20000ec5 = 0); |
| NONFAILING(*(uint8_t*)0x20000ec6 = 0); |
| NONFAILING(*(uint8_t*)0x20000ec7 = 0); |
| NONFAILING(*(uint8_t*)0x20000ec8 = 0); |
| NONFAILING(*(uint8_t*)0x20000ec9 = 0); |
| NONFAILING(*(uint8_t*)0x20000eca = 0); |
| NONFAILING(*(uint8_t*)0x20000ecb = 0); |
| NONFAILING(*(uint8_t*)0x20000ecc = 0); |
| NONFAILING(*(uint8_t*)0x20000ecd = 0); |
| NONFAILING(*(uint8_t*)0x20000ece = 0); |
| NONFAILING(*(uint8_t*)0x20000ecf = 0); |
| NONFAILING(*(uint8_t*)0x20000ed0 = 0); |
| NONFAILING(*(uint8_t*)0x20000ed1 = 0); |
| NONFAILING(*(uint8_t*)0x20000ed2 = 0); |
| NONFAILING(*(uint8_t*)0x20000ed3 = 0); |
| NONFAILING(*(uint8_t*)0x20000ed4 = 0); |
| NONFAILING(*(uint8_t*)0x20000ed5 = 0); |
| NONFAILING(*(uint8_t*)0x20000ed6 = 0); |
| NONFAILING(*(uint8_t*)0x20000ed7 = 0); |
| NONFAILING(*(uint8_t*)0x20000ed8 = 0); |
| NONFAILING(*(uint8_t*)0x20000ed9 = 0); |
| NONFAILING(*(uint8_t*)0x20000eda = 0); |
| NONFAILING(*(uint8_t*)0x20000edb = 0); |
| NONFAILING(*(uint8_t*)0x20000edc = 0); |
| NONFAILING(*(uint8_t*)0x20000edd = 0); |
| NONFAILING(*(uint8_t*)0x20000ede = 0); |
| NONFAILING(*(uint8_t*)0x20000edf = 0); |
| NONFAILING(*(uint8_t*)0x20000ee0 = 0); |
| NONFAILING(*(uint8_t*)0x20000ee1 = 0); |
| NONFAILING(*(uint8_t*)0x20000ee2 = 0); |
| NONFAILING(*(uint8_t*)0x20000ee3 = 0); |
| NONFAILING(*(uint8_t*)0x20000ee4 = 0); |
| NONFAILING(*(uint8_t*)0x20000ee5 = 0); |
| NONFAILING(*(uint8_t*)0x20000ee6 = 0); |
| NONFAILING(*(uint8_t*)0x20000ee7 = 0); |
| NONFAILING(*(uint32_t*)0x20000ee8 = 0); |
| NONFAILING(*(uint16_t*)0x20000eec = 0xa8); |
| NONFAILING(*(uint16_t*)0x20000eee = 0xd0); |
| NONFAILING(*(uint32_t*)0x20000ef0 = 0); |
| NONFAILING(*(uint64_t*)0x20000ef8 = 0); |
| NONFAILING(*(uint64_t*)0x20000f00 = 0); |
| NONFAILING(*(uint16_t*)0x20000f08 = 0x28); |
| NONFAILING(memcpy((void*)0x20000f0a, "\x4e\x46\x51\x55\x45\x55\x45\x00\x00" |
| "\x00\x00\x00\x00\x00\x00\x00\x00\x00" |
| "\x00\x00\x00\x00\x00\x00\x00\x00\x00" |
| "\x00\x00", |
| 29)); |
| NONFAILING(*(uint8_t*)0x20000f27 = 3); |
| NONFAILING(*(uint16_t*)0x20000f28 = 0); |
| NONFAILING(*(uint16_t*)0x20000f2a = 0x7fff); |
| NONFAILING(*(uint16_t*)0x20000f2c = 0); |
| NONFAILING(*(uint8_t*)0x20000f30 = 0); |
| NONFAILING(*(uint8_t*)0x20000f31 = 0); |
| NONFAILING(*(uint8_t*)0x20000f32 = 0); |
| NONFAILING(*(uint8_t*)0x20000f33 = 0); |
| NONFAILING(*(uint8_t*)0x20000f34 = 0); |
| NONFAILING(*(uint8_t*)0x20000f35 = 0); |
| NONFAILING(*(uint8_t*)0x20000f36 = 0); |
| NONFAILING(*(uint8_t*)0x20000f37 = 0); |
| NONFAILING(*(uint8_t*)0x20000f38 = 0); |
| NONFAILING(*(uint8_t*)0x20000f39 = 0); |
| NONFAILING(*(uint8_t*)0x20000f3a = 0); |
| NONFAILING(*(uint8_t*)0x20000f3b = 0); |
| NONFAILING(*(uint8_t*)0x20000f3c = 0); |
| NONFAILING(*(uint8_t*)0x20000f3d = 0); |
| NONFAILING(*(uint8_t*)0x20000f3e = 0); |
| NONFAILING(*(uint8_t*)0x20000f3f = 0); |
| NONFAILING(*(uint8_t*)0x20000f40 = 0); |
| NONFAILING(*(uint8_t*)0x20000f41 = 0); |
| NONFAILING(*(uint8_t*)0x20000f42 = 0); |
| NONFAILING(*(uint8_t*)0x20000f43 = 0); |
| NONFAILING(*(uint8_t*)0x20000f44 = 0); |
| NONFAILING(*(uint8_t*)0x20000f45 = 0); |
| NONFAILING(*(uint8_t*)0x20000f46 = 0); |
| NONFAILING(*(uint8_t*)0x20000f47 = 0); |
| NONFAILING(*(uint8_t*)0x20000f48 = 0); |
| NONFAILING(*(uint8_t*)0x20000f49 = 0); |
| NONFAILING(*(uint8_t*)0x20000f4a = 0); |
| NONFAILING(*(uint8_t*)0x20000f4b = 0); |
| NONFAILING(*(uint8_t*)0x20000f4c = 0); |
| NONFAILING(*(uint8_t*)0x20000f4d = 0); |
| NONFAILING(*(uint8_t*)0x20000f4e = 0); |
| NONFAILING(*(uint8_t*)0x20000f4f = 0); |
| NONFAILING(*(uint8_t*)0x20000f50 = 0); |
| NONFAILING(*(uint8_t*)0x20000f51 = 0); |
| NONFAILING(*(uint8_t*)0x20000f52 = 0); |
| NONFAILING(*(uint8_t*)0x20000f53 = 0); |
| NONFAILING(*(uint8_t*)0x20000f54 = 0); |
| NONFAILING(*(uint8_t*)0x20000f55 = 0); |
| NONFAILING(*(uint8_t*)0x20000f56 = 0); |
| NONFAILING(*(uint8_t*)0x20000f57 = 0); |
| NONFAILING(*(uint8_t*)0x20000f58 = 0); |
| NONFAILING(*(uint8_t*)0x20000f59 = 0); |
| NONFAILING(*(uint8_t*)0x20000f5a = 0); |
| NONFAILING(*(uint8_t*)0x20000f5b = 0); |
| NONFAILING(*(uint8_t*)0x20000f5c = 0); |
| NONFAILING(*(uint8_t*)0x20000f5d = 0); |
| NONFAILING(*(uint8_t*)0x20000f5e = 0); |
| NONFAILING(*(uint8_t*)0x20000f5f = 0); |
| NONFAILING(*(uint8_t*)0x20000f60 = 0); |
| NONFAILING(*(uint8_t*)0x20000f61 = 0); |
| NONFAILING(*(uint8_t*)0x20000f62 = 0); |
| NONFAILING(*(uint8_t*)0x20000f63 = 0); |
| NONFAILING(*(uint8_t*)0x20000f64 = 0); |
| NONFAILING(*(uint8_t*)0x20000f65 = 0); |
| NONFAILING(*(uint8_t*)0x20000f66 = 0); |
| NONFAILING(*(uint8_t*)0x20000f67 = 0); |
| NONFAILING(*(uint8_t*)0x20000f68 = 0); |
| NONFAILING(*(uint8_t*)0x20000f69 = 0); |
| NONFAILING(*(uint8_t*)0x20000f6a = 0); |
| NONFAILING(*(uint8_t*)0x20000f6b = 0); |
| NONFAILING(*(uint8_t*)0x20000f6c = 0); |
| NONFAILING(*(uint8_t*)0x20000f6d = 0); |
| NONFAILING(*(uint8_t*)0x20000f6e = 0); |
| NONFAILING(*(uint8_t*)0x20000f6f = 0); |
| NONFAILING(*(uint8_t*)0x20000f70 = 0); |
| NONFAILING(*(uint8_t*)0x20000f71 = 0); |
| NONFAILING(*(uint8_t*)0x20000f72 = 0); |
| NONFAILING(*(uint8_t*)0x20000f73 = 0); |
| NONFAILING(*(uint8_t*)0x20000f74 = 0); |
| NONFAILING(*(uint8_t*)0x20000f75 = 0); |
| NONFAILING(*(uint8_t*)0x20000f76 = 0); |
| NONFAILING(*(uint8_t*)0x20000f77 = 0); |
| NONFAILING(*(uint8_t*)0x20000f78 = 0); |
| NONFAILING(*(uint8_t*)0x20000f79 = 0); |
| NONFAILING(*(uint8_t*)0x20000f7a = 0); |
| NONFAILING(*(uint8_t*)0x20000f7b = 0); |
| NONFAILING(*(uint8_t*)0x20000f7c = 0); |
| NONFAILING(*(uint8_t*)0x20000f7d = 0); |
| NONFAILING(*(uint8_t*)0x20000f7e = 0); |
| NONFAILING(*(uint8_t*)0x20000f7f = 0); |
| NONFAILING(*(uint8_t*)0x20000f80 = 0); |
| NONFAILING(*(uint8_t*)0x20000f81 = 0); |
| NONFAILING(*(uint8_t*)0x20000f82 = 0); |
| NONFAILING(*(uint8_t*)0x20000f83 = 0); |
| NONFAILING(*(uint8_t*)0x20000f84 = 0); |
| NONFAILING(*(uint8_t*)0x20000f85 = 0); |
| NONFAILING(*(uint8_t*)0x20000f86 = 0); |
| NONFAILING(*(uint8_t*)0x20000f87 = 0); |
| NONFAILING(*(uint8_t*)0x20000f88 = 0); |
| NONFAILING(*(uint8_t*)0x20000f89 = 0); |
| NONFAILING(*(uint8_t*)0x20000f8a = 0); |
| NONFAILING(*(uint8_t*)0x20000f8b = 0); |
| NONFAILING(*(uint8_t*)0x20000f8c = 0); |
| NONFAILING(*(uint8_t*)0x20000f8d = 0); |
| NONFAILING(*(uint8_t*)0x20000f8e = 0); |
| NONFAILING(*(uint8_t*)0x20000f8f = 0); |
| NONFAILING(*(uint8_t*)0x20000f90 = 0); |
| NONFAILING(*(uint8_t*)0x20000f91 = 0); |
| NONFAILING(*(uint8_t*)0x20000f92 = 0); |
| NONFAILING(*(uint8_t*)0x20000f93 = 0); |
| NONFAILING(*(uint8_t*)0x20000f94 = 0); |
| NONFAILING(*(uint8_t*)0x20000f95 = 0); |
| NONFAILING(*(uint8_t*)0x20000f96 = 0); |
| NONFAILING(*(uint8_t*)0x20000f97 = 0); |
| NONFAILING(*(uint8_t*)0x20000f98 = 0); |
| NONFAILING(*(uint8_t*)0x20000f99 = 0); |
| NONFAILING(*(uint8_t*)0x20000f9a = 0); |
| NONFAILING(*(uint8_t*)0x20000f9b = 0); |
| NONFAILING(*(uint8_t*)0x20000f9c = 0); |
| NONFAILING(*(uint8_t*)0x20000f9d = 0); |
| NONFAILING(*(uint8_t*)0x20000f9e = 0); |
| NONFAILING(*(uint8_t*)0x20000f9f = 0); |
| NONFAILING(*(uint8_t*)0x20000fa0 = 0); |
| NONFAILING(*(uint8_t*)0x20000fa1 = 0); |
| NONFAILING(*(uint8_t*)0x20000fa2 = 0); |
| NONFAILING(*(uint8_t*)0x20000fa3 = 0); |
| NONFAILING(*(uint8_t*)0x20000fa4 = 0); |
| NONFAILING(*(uint8_t*)0x20000fa5 = 0); |
| NONFAILING(*(uint8_t*)0x20000fa6 = 0); |
| NONFAILING(*(uint8_t*)0x20000fa7 = 0); |
| NONFAILING(*(uint8_t*)0x20000fa8 = 0); |
| NONFAILING(*(uint8_t*)0x20000fa9 = 0); |
| NONFAILING(*(uint8_t*)0x20000faa = 0); |
| NONFAILING(*(uint8_t*)0x20000fab = 0); |
| NONFAILING(*(uint8_t*)0x20000fac = 0); |
| NONFAILING(*(uint8_t*)0x20000fad = 0); |
| NONFAILING(*(uint8_t*)0x20000fae = 0); |
| NONFAILING(*(uint8_t*)0x20000faf = 0); |
| NONFAILING(*(uint8_t*)0x20000fb0 = 0); |
| NONFAILING(*(uint8_t*)0x20000fb1 = 0); |
| NONFAILING(*(uint8_t*)0x20000fb2 = 0); |
| NONFAILING(*(uint8_t*)0x20000fb3 = 0); |
| NONFAILING(*(uint8_t*)0x20000fb4 = 0); |
| NONFAILING(*(uint8_t*)0x20000fb5 = 0); |
| NONFAILING(*(uint8_t*)0x20000fb6 = 0); |
| NONFAILING(*(uint8_t*)0x20000fb7 = 0); |
| NONFAILING(*(uint32_t*)0x20000fb8 = 0); |
| NONFAILING(*(uint16_t*)0x20000fbc = 0xa8); |
| NONFAILING(*(uint16_t*)0x20000fbe = 0xd0); |
| NONFAILING(*(uint32_t*)0x20000fc0 = 0); |
| NONFAILING(*(uint64_t*)0x20000fc8 = 0); |
| NONFAILING(*(uint64_t*)0x20000fd0 = 0); |
| NONFAILING(*(uint16_t*)0x20000fd8 = 0x28); |
| NONFAILING(memcpy((void*)0x20000fda, "\x00\x00\x00\x00\x00\x00\x00\x00\x00" |
| "\x00\x00\x00\x00\x00\x00\x00\x00\x00" |
| "\x00\x00\x00\x00\x00\x00\x00\x00\x00" |
| "\x00\x00", |
| 29)); |
| NONFAILING(*(uint8_t*)0x20000ff7 = 0); |
| NONFAILING(*(uint32_t*)0x20000ff8 = 0xfffffffe); |
| syscall(__NR_setsockopt, r[0], 0x29, 0x40, 0x20000bf8, 0x408); |
| r[1] = syscall(__NR_socket, 0xa, 0x40000080806, 0); |
| NONFAILING(memcpy((void*)0x2016fd18, "\x72\x61\x77\x00\x00\x00\x00\x00\x00" |
| "\x00\x00\x00\x00\x00\x00\x00\x00\x00" |
| "\x00\x00\x00\x00\x00\x00\x00\x00\x00" |
| "\x00\x00\x00\x00\x00", |
| 32)); |
| NONFAILING(*(uint32_t*)0x2016fd38 = 9); |
| NONFAILING(*(uint32_t*)0x2016fd3c = 3); |
| NONFAILING(*(uint32_t*)0x2016fd40 = 0x288); |
| NONFAILING(*(uint32_t*)0x2016fd44 = 0xc8); |
| NONFAILING(*(uint32_t*)0x2016fd48 = -1); |
| NONFAILING(*(uint32_t*)0x2016fd4c = -1); |
| NONFAILING(*(uint32_t*)0x2016fd50 = 0); |
| NONFAILING(*(uint32_t*)0x2016fd54 = -1); |
| NONFAILING(*(uint32_t*)0x2016fd58 = 0x1b8); |
| NONFAILING(*(uint32_t*)0x2016fd5c = -1); |
| NONFAILING(*(uint32_t*)0x2016fd60 = -1); |
| NONFAILING(*(uint32_t*)0x2016fd64 = 0x1b8); |
| NONFAILING(*(uint32_t*)0x2016fd68 = -1); |
| NONFAILING(*(uint32_t*)0x2016fd6c = 3); |
| NONFAILING(*(uint64_t*)0x2016fd70 = 0x206d6fd0); |
| NONFAILING(*(uint8_t*)0x2016fd78 = 0); |
| NONFAILING(*(uint8_t*)0x2016fd79 = 0); |
| NONFAILING(*(uint8_t*)0x2016fd7a = 0); |
| NONFAILING(*(uint8_t*)0x2016fd7b = 0); |
| NONFAILING(*(uint8_t*)0x2016fd7c = 0); |
| NONFAILING(*(uint8_t*)0x2016fd7d = 0); |
| NONFAILING(*(uint8_t*)0x2016fd7e = 0); |
| NONFAILING(*(uint8_t*)0x2016fd7f = 0); |
| NONFAILING(*(uint8_t*)0x2016fd80 = 0); |
| NONFAILING(*(uint8_t*)0x2016fd81 = 0); |
| NONFAILING(*(uint8_t*)0x2016fd82 = 0); |
| NONFAILING(*(uint8_t*)0x2016fd83 = 0); |
| NONFAILING(*(uint8_t*)0x2016fd84 = 0); |
| NONFAILING(*(uint8_t*)0x2016fd85 = 0); |
| NONFAILING(*(uint8_t*)0x2016fd86 = 0); |
| NONFAILING(*(uint8_t*)0x2016fd87 = 0); |
| NONFAILING(*(uint8_t*)0x2016fd88 = 0); |
| NONFAILING(*(uint8_t*)0x2016fd89 = 0); |
| NONFAILING(*(uint8_t*)0x2016fd8a = 0); |
| NONFAILING(*(uint8_t*)0x2016fd8b = 0); |
| NONFAILING(*(uint8_t*)0x2016fd8c = 0); |
| NONFAILING(*(uint8_t*)0x2016fd8d = 0); |
| NONFAILING(*(uint8_t*)0x2016fd8e = 0); |
| NONFAILING(*(uint8_t*)0x2016fd8f = 0); |
| NONFAILING(*(uint8_t*)0x2016fd90 = 0); |
| NONFAILING(*(uint8_t*)0x2016fd91 = 0); |
| NONFAILING(*(uint8_t*)0x2016fd92 = 0); |
| NONFAILING(*(uint8_t*)0x2016fd93 = 0); |
| NONFAILING(*(uint8_t*)0x2016fd94 = 0); |
| NONFAILING(*(uint8_t*)0x2016fd95 = 0); |
| NONFAILING(*(uint8_t*)0x2016fd96 = 0); |
| NONFAILING(*(uint8_t*)0x2016fd97 = 0); |
| NONFAILING(*(uint8_t*)0x2016fd98 = 0); |
| NONFAILING(*(uint8_t*)0x2016fd99 = 0); |
| NONFAILING(*(uint8_t*)0x2016fd9a = 0); |
| NONFAILING(*(uint8_t*)0x2016fd9b = 0); |
| NONFAILING(*(uint8_t*)0x2016fd9c = 0); |
| NONFAILING(*(uint8_t*)0x2016fd9d = 0); |
| NONFAILING(*(uint8_t*)0x2016fd9e = 0); |
| NONFAILING(*(uint8_t*)0x2016fd9f = 0); |
| NONFAILING(*(uint8_t*)0x2016fda0 = 0); |
| NONFAILING(*(uint8_t*)0x2016fda1 = 0); |
| NONFAILING(*(uint8_t*)0x2016fda2 = 0); |
| NONFAILING(*(uint8_t*)0x2016fda3 = 0); |
| NONFAILING(*(uint8_t*)0x2016fda4 = 0); |
| NONFAILING(*(uint8_t*)0x2016fda5 = 0); |
| NONFAILING(*(uint8_t*)0x2016fda6 = 0); |
| NONFAILING(*(uint8_t*)0x2016fda7 = 0); |
| NONFAILING(*(uint8_t*)0x2016fda8 = 0); |
| NONFAILING(*(uint8_t*)0x2016fda9 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdaa = 0); |
| NONFAILING(*(uint8_t*)0x2016fdab = 0); |
| NONFAILING(*(uint8_t*)0x2016fdac = 0); |
| NONFAILING(*(uint8_t*)0x2016fdad = 0); |
| NONFAILING(*(uint8_t*)0x2016fdae = 0); |
| NONFAILING(*(uint8_t*)0x2016fdaf = 0); |
| NONFAILING(*(uint8_t*)0x2016fdb0 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdb1 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdb2 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdb3 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdb4 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdb5 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdb6 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdb7 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdb8 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdb9 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdba = 0); |
| NONFAILING(*(uint8_t*)0x2016fdbb = 0); |
| NONFAILING(*(uint8_t*)0x2016fdbc = 0); |
| NONFAILING(*(uint8_t*)0x2016fdbd = 0); |
| NONFAILING(*(uint8_t*)0x2016fdbe = 0); |
| NONFAILING(*(uint8_t*)0x2016fdbf = 0); |
| NONFAILING(*(uint8_t*)0x2016fdc0 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdc1 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdc2 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdc3 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdc4 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdc5 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdc6 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdc7 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdc8 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdc9 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdca = 0); |
| NONFAILING(*(uint8_t*)0x2016fdcb = 0); |
| NONFAILING(*(uint8_t*)0x2016fdcc = 0); |
| NONFAILING(*(uint8_t*)0x2016fdcd = 0); |
| NONFAILING(*(uint8_t*)0x2016fdce = 0); |
| NONFAILING(*(uint8_t*)0x2016fdcf = 0); |
| NONFAILING(*(uint8_t*)0x2016fdd0 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdd1 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdd2 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdd3 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdd4 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdd5 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdd6 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdd7 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdd8 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdd9 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdda = 0); |
| NONFAILING(*(uint8_t*)0x2016fddb = 0); |
| NONFAILING(*(uint8_t*)0x2016fddc = 0); |
| NONFAILING(*(uint8_t*)0x2016fddd = 0); |
| NONFAILING(*(uint8_t*)0x2016fdde = 0); |
| NONFAILING(*(uint8_t*)0x2016fddf = 0); |
| NONFAILING(*(uint8_t*)0x2016fde0 = 0); |
| NONFAILING(*(uint8_t*)0x2016fde1 = 0); |
| NONFAILING(*(uint8_t*)0x2016fde2 = 0); |
| NONFAILING(*(uint8_t*)0x2016fde3 = 0); |
| NONFAILING(*(uint8_t*)0x2016fde4 = 0); |
| NONFAILING(*(uint8_t*)0x2016fde5 = 0); |
| NONFAILING(*(uint8_t*)0x2016fde6 = 0); |
| NONFAILING(*(uint8_t*)0x2016fde7 = 0); |
| NONFAILING(*(uint8_t*)0x2016fde8 = 0); |
| NONFAILING(*(uint8_t*)0x2016fde9 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdea = 0); |
| NONFAILING(*(uint8_t*)0x2016fdeb = 0); |
| NONFAILING(*(uint8_t*)0x2016fdec = 0); |
| NONFAILING(*(uint8_t*)0x2016fded = 0); |
| NONFAILING(*(uint8_t*)0x2016fdee = 0); |
| NONFAILING(*(uint8_t*)0x2016fdef = 0); |
| NONFAILING(*(uint8_t*)0x2016fdf0 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdf1 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdf2 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdf3 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdf4 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdf5 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdf6 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdf7 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdf8 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdf9 = 0); |
| NONFAILING(*(uint8_t*)0x2016fdfa = 0); |
| NONFAILING(*(uint8_t*)0x2016fdfb = 0); |
| NONFAILING(*(uint8_t*)0x2016fdfc = 0); |
| NONFAILING(*(uint8_t*)0x2016fdfd = 0); |
| NONFAILING(*(uint8_t*)0x2016fdfe = 0); |
| NONFAILING(*(uint8_t*)0x2016fdff = 0); |
| NONFAILING(*(uint32_t*)0x2016fe00 = 0); |
| NONFAILING(*(uint16_t*)0x2016fe04 = 0xa8); |
| NONFAILING(*(uint16_t*)0x2016fe06 = 0xc8); |
| NONFAILING(*(uint32_t*)0x2016fe08 = 0); |
| NONFAILING(*(uint64_t*)0x2016fe10 = 0); |
| NONFAILING(*(uint64_t*)0x2016fe18 = 0); |
| NONFAILING(*(uint16_t*)0x2016fe20 = 0x20); |
| NONFAILING(memcpy((void*)0x2016fe22, "\x54\x52\x41\x43\x45\x00\x00\x00\x00" |
| "\x00\x00\x00\x00\x00\x00\x00\x00\x00" |
| "\x00\x00\x00\x00\x00\x00\x00\x00\x00" |
| "\x00\x00", |
| 29)); |
| NONFAILING(*(uint8_t*)0x2016fe3f = 0); |
| NONFAILING(*(uint8_t*)0x2016fe40 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe41 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe42 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe43 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe44 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe45 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe46 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe47 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe48 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe49 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe4a = 0); |
| NONFAILING(*(uint8_t*)0x2016fe4b = 0); |
| NONFAILING(*(uint8_t*)0x2016fe4c = 0); |
| NONFAILING(*(uint8_t*)0x2016fe4d = 0); |
| NONFAILING(*(uint8_t*)0x2016fe4e = 0); |
| NONFAILING(*(uint8_t*)0x2016fe4f = 0); |
| NONFAILING(*(uint8_t*)0x2016fe50 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe51 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe52 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe53 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe54 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe55 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe56 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe57 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe58 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe59 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe5a = 0); |
| NONFAILING(*(uint8_t*)0x2016fe5b = 0); |
| NONFAILING(*(uint8_t*)0x2016fe5c = 0); |
| NONFAILING(*(uint8_t*)0x2016fe5d = 0); |
| NONFAILING(*(uint8_t*)0x2016fe5e = 0); |
| NONFAILING(*(uint8_t*)0x2016fe5f = 0); |
| NONFAILING(*(uint8_t*)0x2016fe60 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe61 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe62 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe63 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe64 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe65 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe66 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe67 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe68 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe69 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe6a = 0); |
| NONFAILING(*(uint8_t*)0x2016fe6b = 0); |
| NONFAILING(*(uint8_t*)0x2016fe6c = 0); |
| NONFAILING(*(uint8_t*)0x2016fe6d = 0); |
| NONFAILING(*(uint8_t*)0x2016fe6e = 0); |
| NONFAILING(*(uint8_t*)0x2016fe6f = 0); |
| NONFAILING(*(uint8_t*)0x2016fe70 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe71 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe72 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe73 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe74 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe75 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe76 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe77 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe78 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe79 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe7a = 0); |
| NONFAILING(*(uint8_t*)0x2016fe7b = 0); |
| NONFAILING(*(uint8_t*)0x2016fe7c = 0); |
| NONFAILING(*(uint8_t*)0x2016fe7d = 0); |
| NONFAILING(*(uint8_t*)0x2016fe7e = 0); |
| NONFAILING(*(uint8_t*)0x2016fe7f = 0); |
| NONFAILING(*(uint8_t*)0x2016fe80 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe81 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe82 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe83 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe84 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe85 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe86 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe87 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe88 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe89 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe8a = 0); |
| NONFAILING(*(uint8_t*)0x2016fe8b = 0); |
| NONFAILING(*(uint8_t*)0x2016fe8c = 0); |
| NONFAILING(*(uint8_t*)0x2016fe8d = 0); |
| NONFAILING(*(uint8_t*)0x2016fe8e = 0); |
| NONFAILING(*(uint8_t*)0x2016fe8f = 0); |
| NONFAILING(*(uint8_t*)0x2016fe90 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe91 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe92 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe93 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe94 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe95 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe96 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe97 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe98 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe99 = 0); |
| NONFAILING(*(uint8_t*)0x2016fe9a = 0); |
| NONFAILING(*(uint8_t*)0x2016fe9b = 0); |
| NONFAILING(*(uint8_t*)0x2016fe9c = 0); |
| NONFAILING(*(uint8_t*)0x2016fe9d = 0); |
| NONFAILING(*(uint8_t*)0x2016fe9e = 0); |
| NONFAILING(*(uint8_t*)0x2016fe9f = 0); |
| NONFAILING(*(uint8_t*)0x2016fea0 = 0); |
| NONFAILING(*(uint8_t*)0x2016fea1 = 0); |
| NONFAILING(*(uint8_t*)0x2016fea2 = 0); |
| NONFAILING(*(uint8_t*)0x2016fea3 = 0); |
| NONFAILING(*(uint8_t*)0x2016fea4 = 0); |
| NONFAILING(*(uint8_t*)0x2016fea5 = 0); |
| NONFAILING(*(uint8_t*)0x2016fea6 = 0); |
| NONFAILING(*(uint8_t*)0x2016fea7 = 0); |
| NONFAILING(*(uint8_t*)0x2016fea8 = 0); |
| NONFAILING(*(uint8_t*)0x2016fea9 = 0); |
| NONFAILING(*(uint8_t*)0x2016feaa = 0); |
| NONFAILING(*(uint8_t*)0x2016feab = 0); |
| NONFAILING(*(uint8_t*)0x2016feac = 0); |
| NONFAILING(*(uint8_t*)0x2016fead = 0); |
| NONFAILING(*(uint8_t*)0x2016feae = 0); |
| NONFAILING(*(uint8_t*)0x2016feaf = 0); |
| NONFAILING(*(uint8_t*)0x2016feb0 = 0); |
| NONFAILING(*(uint8_t*)0x2016feb1 = 0); |
| NONFAILING(*(uint8_t*)0x2016feb2 = 0); |
| NONFAILING(*(uint8_t*)0x2016feb3 = 0); |
| NONFAILING(*(uint8_t*)0x2016feb4 = 0); |
| NONFAILING(*(uint8_t*)0x2016feb5 = 0); |
| NONFAILING(*(uint8_t*)0x2016feb6 = 0); |
| NONFAILING(*(uint8_t*)0x2016feb7 = 0); |
| NONFAILING(*(uint8_t*)0x2016feb8 = 0); |
| NONFAILING(*(uint8_t*)0x2016feb9 = 0); |
| NONFAILING(*(uint8_t*)0x2016feba = 0); |
| NONFAILING(*(uint8_t*)0x2016febb = 0); |
| NONFAILING(*(uint8_t*)0x2016febc = 0); |
| NONFAILING(*(uint8_t*)0x2016febd = 0); |
| NONFAILING(*(uint8_t*)0x2016febe = 0); |
| NONFAILING(*(uint8_t*)0x2016febf = 0); |
| NONFAILING(*(uint8_t*)0x2016fec0 = 0); |
| NONFAILING(*(uint8_t*)0x2016fec1 = 0); |
| NONFAILING(*(uint8_t*)0x2016fec2 = 0); |
| NONFAILING(*(uint8_t*)0x2016fec3 = 0); |
| NONFAILING(*(uint8_t*)0x2016fec4 = 0); |
| NONFAILING(*(uint8_t*)0x2016fec5 = 0); |
| NONFAILING(*(uint8_t*)0x2016fec6 = 0); |
| NONFAILING(*(uint8_t*)0x2016fec7 = 0); |
| NONFAILING(*(uint32_t*)0x2016fec8 = 0); |
| NONFAILING(*(uint16_t*)0x2016fecc = 0xa8); |
| NONFAILING(*(uint16_t*)0x2016fece = 0xf0); |
| NONFAILING(*(uint32_t*)0x2016fed0 = 0); |
| NONFAILING(*(uint64_t*)0x2016fed8 = 0); |
| NONFAILING(*(uint64_t*)0x2016fee0 = 0); |
| NONFAILING(*(uint16_t*)0x2016fee8 = 0x48); |
| NONFAILING(memcpy((void*)0x2016feea, "\x4c\x45\x44\x00\x00\x00\x00\x00\x00" |
| "\x00\x00\x00\x00\x00\x00\x00\x00\x00" |
| "\x00\x00\x00\x00\x00\x00\x00\x00\x00" |
| "\x00\x00", |
| 29)); |
| NONFAILING(*(uint8_t*)0x2016ff07 = 0); |
| NONFAILING(memcpy((void*)0x2016ff08, "\x73\x79\x7a\x30\x00\x00\x00\x00\x00" |
| "\x00\x00\x00\x00\x00\x00\x00\x00\x00" |
| "\x00\x00\x00\x00\x00\x00\x00\x00\x00", |
| 27)); |
| NONFAILING(*(uint8_t*)0x2016ff23 = 1); |
| NONFAILING(*(uint32_t*)0x2016ff24 = 0x7f); |
| NONFAILING(*(uint64_t*)0x2016ff28 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff30 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff31 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff32 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff33 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff34 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff35 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff36 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff37 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff38 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff39 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff3a = 0); |
| NONFAILING(*(uint8_t*)0x2016ff3b = 0); |
| NONFAILING(*(uint8_t*)0x2016ff3c = 0); |
| NONFAILING(*(uint8_t*)0x2016ff3d = 0); |
| NONFAILING(*(uint8_t*)0x2016ff3e = 0); |
| NONFAILING(*(uint8_t*)0x2016ff3f = 0); |
| NONFAILING(*(uint8_t*)0x2016ff40 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff41 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff42 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff43 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff44 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff45 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff46 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff47 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff48 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff49 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff4a = 0); |
| NONFAILING(*(uint8_t*)0x2016ff4b = 0); |
| NONFAILING(*(uint8_t*)0x2016ff4c = 0); |
| NONFAILING(*(uint8_t*)0x2016ff4d = 0); |
| NONFAILING(*(uint8_t*)0x2016ff4e = 0); |
| NONFAILING(*(uint8_t*)0x2016ff4f = 0); |
| NONFAILING(*(uint8_t*)0x2016ff50 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff51 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff52 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff53 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff54 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff55 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff56 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff57 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff58 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff59 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff5a = 0); |
| NONFAILING(*(uint8_t*)0x2016ff5b = 0); |
| NONFAILING(*(uint8_t*)0x2016ff5c = 0); |
| NONFAILING(*(uint8_t*)0x2016ff5d = 0); |
| NONFAILING(*(uint8_t*)0x2016ff5e = 0); |
| NONFAILING(*(uint8_t*)0x2016ff5f = 0); |
| NONFAILING(*(uint8_t*)0x2016ff60 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff61 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff62 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff63 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff64 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff65 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff66 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff67 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff68 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff69 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff6a = 0); |
| NONFAILING(*(uint8_t*)0x2016ff6b = 0); |
| NONFAILING(*(uint8_t*)0x2016ff6c = 0); |
| NONFAILING(*(uint8_t*)0x2016ff6d = 0); |
| NONFAILING(*(uint8_t*)0x2016ff6e = 0); |
| NONFAILING(*(uint8_t*)0x2016ff6f = 0); |
| NONFAILING(*(uint8_t*)0x2016ff70 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff71 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff72 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff73 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff74 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff75 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff76 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff77 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff78 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff79 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff7a = 0); |
| NONFAILING(*(uint8_t*)0x2016ff7b = 0); |
| NONFAILING(*(uint8_t*)0x2016ff7c = 0); |
| NONFAILING(*(uint8_t*)0x2016ff7d = 0); |
| NONFAILING(*(uint8_t*)0x2016ff7e = 0); |
| NONFAILING(*(uint8_t*)0x2016ff7f = 0); |
| NONFAILING(*(uint8_t*)0x2016ff80 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff81 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff82 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff83 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff84 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff85 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff86 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff87 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff88 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff89 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff8a = 0); |
| NONFAILING(*(uint8_t*)0x2016ff8b = 0); |
| NONFAILING(*(uint8_t*)0x2016ff8c = 0); |
| NONFAILING(*(uint8_t*)0x2016ff8d = 0); |
| NONFAILING(*(uint8_t*)0x2016ff8e = 0); |
| NONFAILING(*(uint8_t*)0x2016ff8f = 0); |
| NONFAILING(*(uint8_t*)0x2016ff90 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff91 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff92 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff93 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff94 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff95 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff96 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff97 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff98 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff99 = 0); |
| NONFAILING(*(uint8_t*)0x2016ff9a = 0); |
| NONFAILING(*(uint8_t*)0x2016ff9b = 0); |
| NONFAILING(*(uint8_t*)0x2016ff9c = 0); |
| NONFAILING(*(uint8_t*)0x2016ff9d = 0); |
| NONFAILING(*(uint8_t*)0x2016ff9e = 0); |
| NONFAILING(*(uint8_t*)0x2016ff9f = 0); |
| NONFAILING(*(uint8_t*)0x2016ffa0 = 0); |
| NONFAILING(*(uint8_t*)0x2016ffa1 = 0); |
| NONFAILING(*(uint8_t*)0x2016ffa2 = 0); |
| NONFAILING(*(uint8_t*)0x2016ffa3 = 0); |
| NONFAILING(*(uint8_t*)0x2016ffa4 = 0); |
| NONFAILING(*(uint8_t*)0x2016ffa5 = 0); |
| NONFAILING(*(uint8_t*)0x2016ffa6 = 0); |
| NONFAILING(*(uint8_t*)0x2016ffa7 = 0); |
| NONFAILING(*(uint8_t*)0x2016ffa8 = 0); |
| NONFAILING(*(uint8_t*)0x2016ffa9 = 0); |
| NONFAILING(*(uint8_t*)0x2016ffaa = 0); |
| NONFAILING(*(uint8_t*)0x2016ffab = 0); |
| NONFAILING(*(uint8_t*)0x2016ffac = 0); |
| NONFAILING(*(uint8_t*)0x2016ffad = 0); |
| NONFAILING(*(uint8_t*)0x2016ffae = 0); |
| NONFAILING(*(uint8_t*)0x2016ffaf = 0); |
| NONFAILING(*(uint8_t*)0x2016ffb0 = 0); |
| NONFAILING(*(uint8_t*)0x2016ffb1 = 0); |
| NONFAILING(*(uint8_t*)0x2016ffb2 = 0); |
| NONFAILING(*(uint8_t*)0x2016ffb3 = 0); |
| NONFAILING(*(uint8_t*)0x2016ffb4 = 0); |
| NONFAILING(*(uint8_t*)0x2016ffb5 = 0); |
| NONFAILING(*(uint8_t*)0x2016ffb6 = 0); |
| NONFAILING(*(uint8_t*)0x2016ffb7 = 0); |
| NONFAILING(*(uint32_t*)0x2016ffb8 = 0); |
| NONFAILING(*(uint16_t*)0x2016ffbc = 0xa8); |
| NONFAILING(*(uint16_t*)0x2016ffbe = 0xd0); |
| NONFAILING(*(uint32_t*)0x2016ffc0 = 0); |
| NONFAILING(*(uint64_t*)0x2016ffc8 = 0); |
| NONFAILING(*(uint64_t*)0x2016ffd0 = 0); |
| NONFAILING(*(uint16_t*)0x2016ffd8 = 0x28); |
| NONFAILING(memcpy((void*)0x2016ffda, "\x00\x00\x00\x00\x00\x00\x00\x00\x00" |
| "\x00\x00\x00\x00\x00\x00\x00\x00\x00" |
| "\x00\x00\x00\x00\x00\x00\x00\x00\x00" |
| "\x00\x00", |
| 29)); |
| NONFAILING(*(uint8_t*)0x2016fff7 = 0); |
| NONFAILING(*(uint32_t*)0x2016fff8 = 0xfffffffe); |
| syscall(__NR_setsockopt, r[1], 0x29, 0x40, 0x2016fd18, 0x2e8); |
| } |
| |
| int main() |
| { |
| install_segv_handler(); |
| use_temporary_dir(); |
| int pid = do_sandbox_namespace(0, true); |
| int status = 0; |
| while (waitpid(pid, &status, __WALL) != pid) { |
| } |
| return 0; |
| } |
