| // WARNING: ODEBUG bug in do_ipt_get_ctl |
| // https://syzkaller.appspot.com/bug?id=5c3d9e17415a7e4fb3e1b2859173786f46b3c228 |
| // status:invalid |
| // autogenerated by syzkaller (http://github.com/google/syzkaller) |
| |
| #define _GNU_SOURCE |
| #include <arpa/inet.h> |
| #include <dirent.h> |
| #include <endian.h> |
| #include <errno.h> |
| #include <errno.h> |
| #include <errno.h> |
| #include <fcntl.h> |
| #include <fcntl.h> |
| #include <linux/capability.h> |
| #include <linux/futex.h> |
| #include <linux/if.h> |
| #include <linux/if_ether.h> |
| #include <linux/if_tun.h> |
| #include <linux/ip.h> |
| #include <linux/net.h> |
| #include <linux/tcp.h> |
| #include <net/if_arp.h> |
| #include <netinet/in.h> |
| #include <pthread.h> |
| #include <sched.h> |
| #include <signal.h> |
| #include <signal.h> |
| #include <stdarg.h> |
| #include <stdarg.h> |
| #include <stdarg.h> |
| #include <stdbool.h> |
| #include <stdbool.h> |
| #include <stdio.h> |
| #include <stdio.h> |
| #include <stdio.h> |
| #include <stdlib.h> |
| #include <stdlib.h> |
| #include <sys/ioctl.h> |
| #include <sys/mman.h> |
| #include <sys/mount.h> |
| #include <sys/mount.h> |
| #include <sys/prctl.h> |
| #include <sys/prctl.h> |
| #include <sys/resource.h> |
| #include <sys/socket.h> |
| #include <sys/stat.h> |
| #include <sys/stat.h> |
| #include <sys/syscall.h> |
| #include <sys/time.h> |
| #include <sys/time.h> |
| #include <sys/uio.h> |
| #include <sys/wait.h> |
| #include <sys/wait.h> |
| #include <time.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 void exitf(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(kRetryStatus); |
| } |
| |
| 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 uint64_t current_time_ms() |
| { |
| struct timespec ts; |
| |
| if (clock_gettime(CLOCK_MONOTONIC, &ts)) |
| fail("clock_gettime failed"); |
| return (uint64_t)ts.tv_sec * 1000 + (uint64_t)ts.tv_nsec / 1000000; |
| } |
| |
| 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", "bond", "veth"}; |
| const char* devnames[] = {"lo", "sit0", "bridge0", "vcan0", |
| "tunl0", "gre0", "gretap0", "ip_vti0", |
| "ip6_vti0", "ip6tnl0", "ip6gre0", "ip6gretap0", |
| "erspan0", "bond0", "veth0", "veth1"}; |
| |
| for (i = 0; i < sizeof(devtypes) / (sizeof(devtypes[0])); i++) |
| execute_command(0, "ip link add dev %s0 type %s", devtypes[i], devtypes[i]); |
| execute_command(0, "ip link add dev veth1 type veth"); |
| 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 int read_tun(char* data, int size) |
| { |
| if (tunfd < 0) |
| return -1; |
| |
| int rv = read(tunfd, data, size); |
| if (rv < 0) { |
| if (errno == EAGAIN) |
| return -1; |
| if (errno == EBADFD) |
| return -1; |
| fail("tun: read failed with %d", rv); |
| } |
| return rv; |
| } |
| |
| #define MAX_FRAGS 4 |
| struct vnet_fragmentation { |
| uint32_t full; |
| uint32_t count; |
| uint32_t frags[MAX_FRAGS]; |
| }; |
| |
| static uintptr_t syz_emit_ethernet(uintptr_t a0, uintptr_t a1, uintptr_t a2) |
| { |
| if (tunfd < 0) |
| return (uintptr_t)-1; |
| |
| uint32_t length = a0; |
| char* data = (char*)a1; |
| |
| struct vnet_fragmentation* frags = (struct vnet_fragmentation*)a2; |
| struct iovec vecs[MAX_FRAGS + 1]; |
| uint32_t nfrags = 0; |
| if (!tun_frags_enabled || frags == NULL) { |
| vecs[nfrags].iov_base = data; |
| vecs[nfrags].iov_len = length; |
| nfrags++; |
| } else { |
| bool full = true; |
| uint32_t i, count = 0; |
| NONFAILING(full = frags->full); |
| NONFAILING(count = frags->count); |
| if (count > MAX_FRAGS) |
| count = MAX_FRAGS; |
| for (i = 0; i < count && length != 0; i++) { |
| uint32_t size = 0; |
| NONFAILING(size = frags->frags[i]); |
| if (size > length) |
| size = length; |
| vecs[nfrags].iov_base = data; |
| vecs[nfrags].iov_len = size; |
| nfrags++; |
| data += size; |
| length -= size; |
| } |
| if (length != 0 && (full || nfrags == 0)) { |
| vecs[nfrags].iov_base = data; |
| vecs[nfrags].iov_len = length; |
| nfrags++; |
| } |
| } |
| return writev(tunfd, vecs, nfrags); |
| } |
| |
| static void flush_tun() |
| { |
| char data[SYZ_TUN_MAX_PACKET_SIZE]; |
| while (read_tun(&data[0], sizeof(data)) != -1) |
| ; |
| } |
| |
| 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; |
| } |
| |
| #define XT_TABLE_SIZE 1536 |
| #define XT_MAX_ENTRIES 10 |
| |
| struct xt_counters { |
| uint64_t pcnt, bcnt; |
| }; |
| |
| struct ipt_getinfo { |
| char name[32]; |
| unsigned int valid_hooks; |
| unsigned int hook_entry[5]; |
| unsigned int underflow[5]; |
| unsigned int num_entries; |
| unsigned int size; |
| }; |
| |
| struct ipt_get_entries { |
| char name[32]; |
| unsigned int size; |
| void* entrytable[XT_TABLE_SIZE / sizeof(void*)]; |
| }; |
| |
| struct ipt_replace { |
| char name[32]; |
| unsigned int valid_hooks; |
| unsigned int num_entries; |
| unsigned int size; |
| unsigned int hook_entry[5]; |
| unsigned int underflow[5]; |
| unsigned int num_counters; |
| struct xt_counters* counters; |
| char entrytable[XT_TABLE_SIZE]; |
| }; |
| |
| struct ipt_table_desc { |
| const char* name; |
| struct ipt_getinfo info; |
| struct ipt_replace replace; |
| }; |
| |
| static struct ipt_table_desc ipv4_tables[] = { |
| {.name = "filter"}, {.name = "nat"}, {.name = "mangle"}, |
| {.name = "raw"}, {.name = "security"}, |
| }; |
| |
| static struct ipt_table_desc ipv6_tables[] = { |
| {.name = "filter"}, {.name = "nat"}, {.name = "mangle"}, |
| {.name = "raw"}, {.name = "security"}, |
| }; |
| |
| #define IPT_BASE_CTL 64 |
| #define IPT_SO_SET_REPLACE (IPT_BASE_CTL) |
| #define IPT_SO_GET_INFO (IPT_BASE_CTL) |
| #define IPT_SO_GET_ENTRIES (IPT_BASE_CTL + 1) |
| |
| struct arpt_getinfo { |
| char name[32]; |
| unsigned int valid_hooks; |
| unsigned int hook_entry[3]; |
| unsigned int underflow[3]; |
| unsigned int num_entries; |
| unsigned int size; |
| }; |
| |
| struct arpt_get_entries { |
| char name[32]; |
| unsigned int size; |
| void* entrytable[XT_TABLE_SIZE / sizeof(void*)]; |
| }; |
| |
| struct arpt_replace { |
| char name[32]; |
| unsigned int valid_hooks; |
| unsigned int num_entries; |
| unsigned int size; |
| unsigned int hook_entry[3]; |
| unsigned int underflow[3]; |
| unsigned int num_counters; |
| struct xt_counters* counters; |
| char entrytable[XT_TABLE_SIZE]; |
| }; |
| |
| struct arpt_table_desc { |
| const char* name; |
| struct arpt_getinfo info; |
| struct arpt_replace replace; |
| }; |
| |
| static struct arpt_table_desc arpt_tables[] = { |
| {.name = "filter"}, |
| }; |
| |
| #define ARPT_BASE_CTL 96 |
| #define ARPT_SO_SET_REPLACE (ARPT_BASE_CTL) |
| #define ARPT_SO_GET_INFO (ARPT_BASE_CTL) |
| #define ARPT_SO_GET_ENTRIES (ARPT_BASE_CTL + 1) |
| |
| static void checkpoint_iptables(struct ipt_table_desc* tables, int num_tables, |
| int family, int level) |
| { |
| struct ipt_get_entries entries; |
| socklen_t optlen; |
| int fd, i; |
| |
| fd = socket(family, SOCK_STREAM, IPPROTO_TCP); |
| if (fd == -1) |
| fail("socket(%d, SOCK_STREAM, IPPROTO_TCP)", family); |
| for (i = 0; i < num_tables; i++) { |
| struct ipt_table_desc* table = &tables[i]; |
| strcpy(table->info.name, table->name); |
| strcpy(table->replace.name, table->name); |
| optlen = sizeof(table->info); |
| if (getsockopt(fd, level, IPT_SO_GET_INFO, &table->info, &optlen)) { |
| switch (errno) { |
| case EPERM: |
| case ENOENT: |
| case ENOPROTOOPT: |
| continue; |
| } |
| fail("getsockopt(IPT_SO_GET_INFO)"); |
| } |
| if (table->info.size > sizeof(table->replace.entrytable)) |
| fail("table size is too large: %u", table->info.size); |
| if (table->info.num_entries > XT_MAX_ENTRIES) |
| fail("too many counters: %u", table->info.num_entries); |
| memset(&entries, 0, sizeof(entries)); |
| strcpy(entries.name, table->name); |
| entries.size = table->info.size; |
| optlen = sizeof(entries) - sizeof(entries.entrytable) + table->info.size; |
| if (getsockopt(fd, level, IPT_SO_GET_ENTRIES, &entries, &optlen)) |
| fail("getsockopt(IPT_SO_GET_ENTRIES)"); |
| table->replace.valid_hooks = table->info.valid_hooks; |
| table->replace.num_entries = table->info.num_entries; |
| table->replace.size = table->info.size; |
| memcpy(table->replace.hook_entry, table->info.hook_entry, |
| sizeof(table->replace.hook_entry)); |
| memcpy(table->replace.underflow, table->info.underflow, |
| sizeof(table->replace.underflow)); |
| memcpy(table->replace.entrytable, entries.entrytable, table->info.size); |
| } |
| close(fd); |
| } |
| |
| static void reset_iptables(struct ipt_table_desc* tables, int num_tables, |
| int family, int level) |
| { |
| struct xt_counters counters[XT_MAX_ENTRIES]; |
| struct ipt_get_entries entries; |
| struct ipt_getinfo info; |
| socklen_t optlen; |
| int fd, i; |
| |
| fd = socket(family, SOCK_STREAM, IPPROTO_TCP); |
| if (fd == -1) |
| fail("socket(%d, SOCK_STREAM, IPPROTO_TCP)", family); |
| for (i = 0; i < num_tables; i++) { |
| struct ipt_table_desc* table = &tables[i]; |
| if (table->info.valid_hooks == 0) |
| continue; |
| memset(&info, 0, sizeof(info)); |
| strcpy(info.name, table->name); |
| optlen = sizeof(info); |
| if (getsockopt(fd, level, IPT_SO_GET_INFO, &info, &optlen)) |
| fail("getsockopt(IPT_SO_GET_INFO)"); |
| if (memcmp(&table->info, &info, sizeof(table->info)) == 0) { |
| memset(&entries, 0, sizeof(entries)); |
| strcpy(entries.name, table->name); |
| entries.size = table->info.size; |
| optlen = sizeof(entries) - sizeof(entries.entrytable) + entries.size; |
| if (getsockopt(fd, level, IPT_SO_GET_ENTRIES, &entries, &optlen)) |
| fail("getsockopt(IPT_SO_GET_ENTRIES)"); |
| if (memcmp(table->replace.entrytable, entries.entrytable, |
| table->info.size) == 0) |
| continue; |
| } |
| table->replace.num_counters = info.num_entries; |
| table->replace.counters = counters; |
| optlen = sizeof(table->replace) - sizeof(table->replace.entrytable) + |
| table->replace.size; |
| if (setsockopt(fd, level, IPT_SO_SET_REPLACE, &table->replace, optlen)) |
| fail("setsockopt(IPT_SO_SET_REPLACE)"); |
| } |
| close(fd); |
| } |
| |
| static void checkpoint_arptables(void) |
| { |
| struct arpt_get_entries entries; |
| socklen_t optlen; |
| unsigned i; |
| int fd; |
| |
| fd = socket(AF_INET, SOCK_STREAM, IPPROTO_TCP); |
| if (fd == -1) |
| fail("socket(AF_INET, SOCK_STREAM, IPPROTO_TCP)"); |
| for (i = 0; i < sizeof(arpt_tables) / sizeof(arpt_tables[0]); i++) { |
| struct arpt_table_desc* table = &arpt_tables[i]; |
| strcpy(table->info.name, table->name); |
| strcpy(table->replace.name, table->name); |
| optlen = sizeof(table->info); |
| if (getsockopt(fd, SOL_IP, ARPT_SO_GET_INFO, &table->info, &optlen)) { |
| switch (errno) { |
| case EPERM: |
| case ENOENT: |
| case ENOPROTOOPT: |
| continue; |
| } |
| fail("getsockopt(ARPT_SO_GET_INFO)"); |
| } |
| if (table->info.size > sizeof(table->replace.entrytable)) |
| fail("table size is too large: %u", table->info.size); |
| if (table->info.num_entries > XT_MAX_ENTRIES) |
| fail("too many counters: %u", table->info.num_entries); |
| memset(&entries, 0, sizeof(entries)); |
| strcpy(entries.name, table->name); |
| entries.size = table->info.size; |
| optlen = sizeof(entries) - sizeof(entries.entrytable) + table->info.size; |
| if (getsockopt(fd, SOL_IP, ARPT_SO_GET_ENTRIES, &entries, &optlen)) |
| fail("getsockopt(ARPT_SO_GET_ENTRIES)"); |
| table->replace.valid_hooks = table->info.valid_hooks; |
| table->replace.num_entries = table->info.num_entries; |
| table->replace.size = table->info.size; |
| memcpy(table->replace.hook_entry, table->info.hook_entry, |
| sizeof(table->replace.hook_entry)); |
| memcpy(table->replace.underflow, table->info.underflow, |
| sizeof(table->replace.underflow)); |
| memcpy(table->replace.entrytable, entries.entrytable, table->info.size); |
| } |
| close(fd); |
| } |
| |
| static void reset_arptables() |
| { |
| struct xt_counters counters[XT_MAX_ENTRIES]; |
| struct arpt_get_entries entries; |
| struct arpt_getinfo info; |
| socklen_t optlen; |
| unsigned i; |
| int fd; |
| |
| fd = socket(AF_INET, SOCK_STREAM, IPPROTO_TCP); |
| if (fd == -1) |
| fail("socket(AF_INET, SOCK_STREAM, IPPROTO_TCP)"); |
| for (i = 0; i < sizeof(arpt_tables) / sizeof(arpt_tables[0]); i++) { |
| struct arpt_table_desc* table = &arpt_tables[i]; |
| if (table->info.valid_hooks == 0) |
| continue; |
| memset(&info, 0, sizeof(info)); |
| strcpy(info.name, table->name); |
| optlen = sizeof(info); |
| if (getsockopt(fd, SOL_IP, ARPT_SO_GET_INFO, &info, &optlen)) |
| fail("getsockopt(ARPT_SO_GET_INFO)"); |
| if (memcmp(&table->info, &info, sizeof(table->info)) == 0) { |
| memset(&entries, 0, sizeof(entries)); |
| strcpy(entries.name, table->name); |
| entries.size = table->info.size; |
| optlen = sizeof(entries) - sizeof(entries.entrytable) + entries.size; |
| if (getsockopt(fd, SOL_IP, ARPT_SO_GET_ENTRIES, &entries, &optlen)) |
| fail("getsockopt(ARPT_SO_GET_ENTRIES)"); |
| if (memcmp(table->replace.entrytable, entries.entrytable, |
| table->info.size) == 0) |
| continue; |
| } |
| table->replace.num_counters = info.num_entries; |
| table->replace.counters = counters; |
| optlen = sizeof(table->replace) - sizeof(table->replace.entrytable) + |
| table->replace.size; |
| if (setsockopt(fd, SOL_IP, ARPT_SO_SET_REPLACE, &table->replace, optlen)) |
| fail("setsockopt(ARPT_SO_SET_REPLACE)"); |
| } |
| close(fd); |
| } |
| #include <linux/if.h> |
| #include <linux/netfilter_bridge/ebtables.h> |
| |
| struct ebt_table_desc { |
| const char* name; |
| struct ebt_replace replace; |
| char entrytable[XT_TABLE_SIZE]; |
| }; |
| |
| static struct ebt_table_desc ebt_tables[] = { |
| {.name = "filter"}, {.name = "nat"}, {.name = "broute"}, |
| }; |
| |
| static void checkpoint_ebtables(void) |
| { |
| socklen_t optlen; |
| unsigned i; |
| int fd; |
| |
| fd = socket(AF_INET, SOCK_STREAM, IPPROTO_TCP); |
| if (fd == -1) |
| fail("socket(AF_INET, SOCK_STREAM, IPPROTO_TCP)"); |
| for (i = 0; i < sizeof(ebt_tables) / sizeof(ebt_tables[0]); i++) { |
| struct ebt_table_desc* table = &ebt_tables[i]; |
| strcpy(table->replace.name, table->name); |
| optlen = sizeof(table->replace); |
| if (getsockopt(fd, SOL_IP, EBT_SO_GET_INIT_INFO, &table->replace, |
| &optlen)) { |
| switch (errno) { |
| case EPERM: |
| case ENOENT: |
| case ENOPROTOOPT: |
| continue; |
| } |
| fail("getsockopt(EBT_SO_GET_INIT_INFO)"); |
| } |
| if (table->replace.entries_size > sizeof(table->entrytable)) |
| fail("table size is too large: %u", table->replace.entries_size); |
| table->replace.num_counters = 0; |
| table->replace.entries = table->entrytable; |
| optlen = sizeof(table->replace) + table->replace.entries_size; |
| if (getsockopt(fd, SOL_IP, EBT_SO_GET_INIT_ENTRIES, &table->replace, |
| &optlen)) |
| fail("getsockopt(EBT_SO_GET_INIT_ENTRIES)"); |
| } |
| close(fd); |
| } |
| |
| static void reset_ebtables() |
| { |
| struct ebt_replace replace; |
| char entrytable[XT_TABLE_SIZE]; |
| socklen_t optlen; |
| unsigned i, j, h; |
| int fd; |
| |
| fd = socket(AF_INET, SOCK_STREAM, IPPROTO_TCP); |
| if (fd == -1) |
| fail("socket(AF_INET, SOCK_STREAM, IPPROTO_TCP)"); |
| for (i = 0; i < sizeof(ebt_tables) / sizeof(ebt_tables[0]); i++) { |
| struct ebt_table_desc* table = &ebt_tables[i]; |
| if (table->replace.valid_hooks == 0) |
| continue; |
| memset(&replace, 0, sizeof(replace)); |
| strcpy(replace.name, table->name); |
| optlen = sizeof(replace); |
| if (getsockopt(fd, SOL_IP, EBT_SO_GET_INFO, &replace, &optlen)) |
| fail("getsockopt(EBT_SO_GET_INFO)"); |
| replace.num_counters = 0; |
| for (h = 0; h < NF_BR_NUMHOOKS; h++) |
| table->replace.hook_entry[h] = 0; |
| if (memcmp(&table->replace, &replace, sizeof(table->replace)) == 0) { |
| memset(&entrytable, 0, sizeof(entrytable)); |
| replace.entries = entrytable; |
| optlen = sizeof(replace) + replace.entries_size; |
| if (getsockopt(fd, SOL_IP, EBT_SO_GET_ENTRIES, &replace, &optlen)) |
| fail("getsockopt(EBT_SO_GET_ENTRIES)"); |
| if (memcmp(table->entrytable, entrytable, replace.entries_size) == 0) |
| continue; |
| } |
| for (j = 0, h = 0; h < NF_BR_NUMHOOKS; h++) { |
| if (table->replace.valid_hooks & (1 << h)) { |
| table->replace.hook_entry[h] = |
| (struct ebt_entries*)table->entrytable + j; |
| j++; |
| } |
| } |
| optlen = sizeof(table->replace) + table->replace.entries_size; |
| if (setsockopt(fd, SOL_IP, EBT_SO_SET_ENTRIES, &table->replace, optlen)) |
| fail("setsockopt(EBT_SO_SET_ENTRIES)"); |
| } |
| close(fd); |
| } |
| |
| static void checkpoint_net_namespace(void) |
| { |
| checkpoint_ebtables(); |
| checkpoint_arptables(); |
| checkpoint_iptables(ipv4_tables, sizeof(ipv4_tables) / sizeof(ipv4_tables[0]), |
| AF_INET, SOL_IP); |
| checkpoint_iptables(ipv6_tables, sizeof(ipv6_tables) / sizeof(ipv6_tables[0]), |
| AF_INET6, SOL_IPV6); |
| } |
| |
| static void reset_net_namespace(void) |
| { |
| reset_ebtables(); |
| reset_arptables(); |
| reset_iptables(ipv4_tables, sizeof(ipv4_tables) / sizeof(ipv4_tables[0]), |
| AF_INET, SOL_IP); |
| reset_iptables(ipv6_tables, sizeof(ipv6_tables) / sizeof(ipv6_tables[0]), |
| AF_INET6, SOL_IPV6); |
| } |
| |
| static void remove_dir(const char* dir) |
| { |
| DIR* dp; |
| struct dirent* ep; |
| int iter = 0; |
| retry: |
| dp = opendir(dir); |
| if (dp == NULL) { |
| if (errno == EMFILE) { |
| exitf("opendir(%s) failed due to NOFILE, exiting", dir); |
| } |
| exitf("opendir(%s) failed", dir); |
| } |
| while ((ep = readdir(dp))) { |
| if (strcmp(ep->d_name, ".") == 0 || strcmp(ep->d_name, "..") == 0) |
| continue; |
| char filename[FILENAME_MAX]; |
| snprintf(filename, sizeof(filename), "%s/%s", dir, ep->d_name); |
| struct stat st; |
| if (lstat(filename, &st)) |
| exitf("lstat(%s) failed", filename); |
| if (S_ISDIR(st.st_mode)) { |
| remove_dir(filename); |
| continue; |
| } |
| int i; |
| for (i = 0;; i++) { |
| if (unlink(filename) == 0) |
| break; |
| if (errno == EROFS) { |
| break; |
| } |
| if (errno != EBUSY || i > 100) |
| exitf("unlink(%s) failed", filename); |
| if (umount2(filename, MNT_DETACH)) |
| exitf("umount(%s) failed", filename); |
| } |
| } |
| closedir(dp); |
| int i; |
| for (i = 0;; i++) { |
| if (rmdir(dir) == 0) |
| break; |
| if (i < 100) { |
| if (errno == EROFS) { |
| break; |
| } |
| if (errno == EBUSY) { |
| if (umount2(dir, MNT_DETACH)) |
| exitf("umount(%s) failed", dir); |
| continue; |
| } |
| if (errno == ENOTEMPTY) { |
| if (iter < 100) { |
| iter++; |
| goto retry; |
| } |
| } |
| } |
| exitf("rmdir(%s) failed", dir); |
| } |
| } |
| |
| static void test(); |
| |
| void loop() |
| { |
| int iter; |
| checkpoint_net_namespace(); |
| for (iter = 0;; iter++) { |
| char cwdbuf[256]; |
| sprintf(cwdbuf, "./%d", iter); |
| if (mkdir(cwdbuf, 0777)) |
| fail("failed to mkdir"); |
| int pid = fork(); |
| if (pid < 0) |
| fail("loop fork failed"); |
| if (pid == 0) { |
| prctl(PR_SET_PDEATHSIG, SIGKILL, 0, 0, 0); |
| setpgrp(); |
| if (chdir(cwdbuf)) |
| fail("failed to chdir"); |
| flush_tun(); |
| test(); |
| doexit(0); |
| } |
| int status = 0; |
| uint64_t start = current_time_ms(); |
| for (;;) { |
| int res = waitpid(-1, &status, __WALL | WNOHANG); |
| if (res == pid) |
| break; |
| usleep(1000); |
| if (current_time_ms() - start > 5 * 1000) { |
| kill(-pid, SIGKILL); |
| kill(pid, SIGKILL); |
| while (waitpid(-1, &status, __WALL) != pid) { |
| } |
| break; |
| } |
| } |
| remove_dir(cwdbuf); |
| reset_net_namespace(); |
| } |
| } |
| |
| struct thread_t { |
| int created, running, call; |
| pthread_t th; |
| }; |
| |
| static struct thread_t threads[16]; |
| static void execute_call(int call); |
| static int running; |
| static int collide; |
| |
| static void* thr(void* arg) |
| { |
| struct thread_t* th = (struct thread_t*)arg; |
| for (;;) { |
| while (!__atomic_load_n(&th->running, __ATOMIC_ACQUIRE)) |
| syscall(SYS_futex, &th->running, FUTEX_WAIT, 0, 0); |
| execute_call(th->call); |
| __atomic_fetch_sub(&running, 1, __ATOMIC_RELAXED); |
| __atomic_store_n(&th->running, 0, __ATOMIC_RELEASE); |
| syscall(SYS_futex, &th->running, FUTEX_WAKE); |
| } |
| return 0; |
| } |
| |
| static void execute(int num_calls) |
| { |
| int call, thread; |
| running = 0; |
| for (call = 0; call < num_calls; call++) { |
| for (thread = 0; thread < sizeof(threads) / sizeof(threads[0]); thread++) { |
| struct thread_t* th = &threads[thread]; |
| if (!th->created) { |
| th->created = 1; |
| pthread_attr_t attr; |
| pthread_attr_init(&attr); |
| pthread_attr_setstacksize(&attr, 128 << 10); |
| pthread_create(&th->th, &attr, thr, th); |
| } |
| if (!__atomic_load_n(&th->running, __ATOMIC_ACQUIRE)) { |
| th->call = call; |
| __atomic_fetch_add(&running, 1, __ATOMIC_RELAXED); |
| __atomic_store_n(&th->running, 1, __ATOMIC_RELEASE); |
| syscall(SYS_futex, &th->running, FUTEX_WAKE); |
| if (collide && call % 2) |
| break; |
| struct timespec ts; |
| ts.tv_sec = 0; |
| ts.tv_nsec = 20 * 1000 * 1000; |
| syscall(SYS_futex, &th->running, FUTEX_WAIT, 1, &ts); |
| if (running) |
| usleep((call == num_calls - 1) ? 10000 : 1000); |
| break; |
| } |
| } |
| } |
| } |
| |
| long r[1]; |
| uint64_t procid; |
| void execute_call(int call) |
| { |
| switch (call) { |
| case 0: |
| r[0] = syscall(__NR_socket, 0xa, 2, 0); |
| break; |
| case 1: |
| NONFAILING(memcpy((void*)0x20000000, "\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*)0x20000020 = 9); |
| NONFAILING(*(uint32_t*)0x20000024 = 3); |
| NONFAILING(*(uint32_t*)0x20000028 = 0x408); |
| NONFAILING(*(uint32_t*)0x2000002c = 0xd0); |
| NONFAILING(*(uint32_t*)0x20000030 = -1); |
| NONFAILING(*(uint32_t*)0x20000034 = -1); |
| NONFAILING(*(uint32_t*)0x20000038 = 0xd0); |
| NONFAILING(*(uint32_t*)0x2000003c = -1); |
| NONFAILING(*(uint32_t*)0x20000040 = 0x338); |
| NONFAILING(*(uint32_t*)0x20000044 = -1); |
| NONFAILING(*(uint32_t*)0x20000048 = -1); |
| NONFAILING(*(uint32_t*)0x2000004c = 0x338); |
| NONFAILING(*(uint32_t*)0x20000050 = -1); |
| NONFAILING(*(uint32_t*)0x20000054 = 3); |
| NONFAILING(*(uint64_t*)0x20000058 = 0x207fafd0); |
| NONFAILING(*(uint8_t*)0x20000060 = 0); |
| NONFAILING(*(uint8_t*)0x20000061 = 0); |
| NONFAILING(*(uint8_t*)0x20000062 = 0); |
| NONFAILING(*(uint8_t*)0x20000063 = 0); |
| NONFAILING(*(uint8_t*)0x20000064 = 0); |
| NONFAILING(*(uint8_t*)0x20000065 = 0); |
| NONFAILING(*(uint8_t*)0x20000066 = 0); |
| NONFAILING(*(uint8_t*)0x20000067 = 0); |
| NONFAILING(*(uint8_t*)0x20000068 = 0); |
| NONFAILING(*(uint8_t*)0x20000069 = 0); |
| NONFAILING(*(uint8_t*)0x2000006a = 0); |
| NONFAILING(*(uint8_t*)0x2000006b = 0); |
| NONFAILING(*(uint8_t*)0x2000006c = 0); |
| NONFAILING(*(uint8_t*)0x2000006d = 0); |
| NONFAILING(*(uint8_t*)0x2000006e = 0); |
| NONFAILING(*(uint8_t*)0x2000006f = 0); |
| NONFAILING(*(uint8_t*)0x20000070 = 0); |
| NONFAILING(*(uint8_t*)0x20000071 = 0); |
| NONFAILING(*(uint8_t*)0x20000072 = 0); |
| NONFAILING(*(uint8_t*)0x20000073 = 0); |
| NONFAILING(*(uint8_t*)0x20000074 = 0); |
| NONFAILING(*(uint8_t*)0x20000075 = 0); |
| NONFAILING(*(uint8_t*)0x20000076 = 0); |
| NONFAILING(*(uint8_t*)0x20000077 = 0); |
| NONFAILING(*(uint8_t*)0x20000078 = 0); |
| NONFAILING(*(uint8_t*)0x20000079 = 0); |
| NONFAILING(*(uint8_t*)0x2000007a = 0); |
| NONFAILING(*(uint8_t*)0x2000007b = 0); |
| NONFAILING(*(uint8_t*)0x2000007c = 0); |
| NONFAILING(*(uint8_t*)0x2000007d = 0); |
| NONFAILING(*(uint8_t*)0x2000007e = 0); |
| NONFAILING(*(uint8_t*)0x2000007f = 0); |
| NONFAILING(*(uint8_t*)0x20000080 = 0); |
| NONFAILING(*(uint8_t*)0x20000081 = 0); |
| NONFAILING(*(uint8_t*)0x20000082 = 0); |
| NONFAILING(*(uint8_t*)0x20000083 = 0); |
| NONFAILING(*(uint8_t*)0x20000084 = 0); |
| NONFAILING(*(uint8_t*)0x20000085 = 0); |
| NONFAILING(*(uint8_t*)0x20000086 = 0); |
| NONFAILING(*(uint8_t*)0x20000087 = 0); |
| NONFAILING(*(uint8_t*)0x20000088 = 0); |
| NONFAILING(*(uint8_t*)0x20000089 = 0); |
| NONFAILING(*(uint8_t*)0x2000008a = 0); |
| NONFAILING(*(uint8_t*)0x2000008b = 0); |
| NONFAILING(*(uint8_t*)0x2000008c = 0); |
| NONFAILING(*(uint8_t*)0x2000008d = 0); |
| NONFAILING(*(uint8_t*)0x2000008e = 0); |
| NONFAILING(*(uint8_t*)0x2000008f = 0); |
| NONFAILING(*(uint8_t*)0x20000090 = 0); |
| NONFAILING(*(uint8_t*)0x20000091 = 0); |
| NONFAILING(*(uint8_t*)0x20000092 = 0); |
| NONFAILING(*(uint8_t*)0x20000093 = 0); |
| NONFAILING(*(uint8_t*)0x20000094 = 0); |
| NONFAILING(*(uint8_t*)0x20000095 = 0); |
| NONFAILING(*(uint8_t*)0x20000096 = 0); |
| NONFAILING(*(uint8_t*)0x20000097 = 0); |
| NONFAILING(*(uint8_t*)0x20000098 = 0); |
| NONFAILING(*(uint8_t*)0x20000099 = 0); |
| NONFAILING(*(uint8_t*)0x2000009a = 0); |
| NONFAILING(*(uint8_t*)0x2000009b = 0); |
| NONFAILING(*(uint8_t*)0x2000009c = 0); |
| NONFAILING(*(uint8_t*)0x2000009d = 0); |
| NONFAILING(*(uint8_t*)0x2000009e = 0); |
| NONFAILING(*(uint8_t*)0x2000009f = 0); |
| NONFAILING(*(uint8_t*)0x200000a0 = 0); |
| NONFAILING(*(uint8_t*)0x200000a1 = 0); |
| NONFAILING(*(uint8_t*)0x200000a2 = 0); |
| NONFAILING(*(uint8_t*)0x200000a3 = 0); |
| NONFAILING(*(uint8_t*)0x200000a4 = 0); |
| NONFAILING(*(uint8_t*)0x200000a5 = 0); |
| NONFAILING(*(uint8_t*)0x200000a6 = 0); |
| NONFAILING(*(uint8_t*)0x200000a7 = 0); |
| NONFAILING(*(uint8_t*)0x200000a8 = 0); |
| NONFAILING(*(uint8_t*)0x200000a9 = 0); |
| NONFAILING(*(uint8_t*)0x200000aa = 0); |
| NONFAILING(*(uint8_t*)0x200000ab = 0); |
| NONFAILING(*(uint8_t*)0x200000ac = 0); |
| NONFAILING(*(uint8_t*)0x200000ad = 0); |
| NONFAILING(*(uint8_t*)0x200000ae = 0); |
| NONFAILING(*(uint8_t*)0x200000af = 0); |
| NONFAILING(*(uint8_t*)0x200000b0 = 0); |
| NONFAILING(*(uint8_t*)0x200000b1 = 0); |
| NONFAILING(*(uint8_t*)0x200000b2 = 0); |
| NONFAILING(*(uint8_t*)0x200000b3 = 0); |
| NONFAILING(*(uint8_t*)0x200000b4 = 0); |
| NONFAILING(*(uint8_t*)0x200000b5 = 0); |
| NONFAILING(*(uint8_t*)0x200000b6 = 0); |
| NONFAILING(*(uint8_t*)0x200000b7 = 0); |
| NONFAILING(*(uint8_t*)0x200000b8 = 0); |
| NONFAILING(*(uint8_t*)0x200000b9 = 0); |
| NONFAILING(*(uint8_t*)0x200000ba = 0); |
| NONFAILING(*(uint8_t*)0x200000bb = 0); |
| NONFAILING(*(uint8_t*)0x200000bc = 0); |
| NONFAILING(*(uint8_t*)0x200000bd = 0); |
| NONFAILING(*(uint8_t*)0x200000be = 0); |
| NONFAILING(*(uint8_t*)0x200000bf = 0); |
| NONFAILING(*(uint8_t*)0x200000c0 = 0); |
| NONFAILING(*(uint8_t*)0x200000c1 = 0); |
| NONFAILING(*(uint8_t*)0x200000c2 = 0); |
| NONFAILING(*(uint8_t*)0x200000c3 = 0); |
| NONFAILING(*(uint8_t*)0x200000c4 = 0); |
| NONFAILING(*(uint8_t*)0x200000c5 = 0); |
| NONFAILING(*(uint8_t*)0x200000c6 = 0); |
| NONFAILING(*(uint8_t*)0x200000c7 = 0); |
| NONFAILING(*(uint8_t*)0x200000c8 = 0); |
| NONFAILING(*(uint8_t*)0x200000c9 = 0); |
| NONFAILING(*(uint8_t*)0x200000ca = 0); |
| NONFAILING(*(uint8_t*)0x200000cb = 0); |
| NONFAILING(*(uint8_t*)0x200000cc = 0); |
| NONFAILING(*(uint8_t*)0x200000cd = 0); |
| NONFAILING(*(uint8_t*)0x200000ce = 0); |
| NONFAILING(*(uint8_t*)0x200000cf = 0); |
| NONFAILING(*(uint8_t*)0x200000d0 = 0); |
| NONFAILING(*(uint8_t*)0x200000d1 = 0); |
| NONFAILING(*(uint8_t*)0x200000d2 = 0); |
| NONFAILING(*(uint8_t*)0x200000d3 = 0); |
| NONFAILING(*(uint8_t*)0x200000d4 = 0); |
| NONFAILING(*(uint8_t*)0x200000d5 = 0); |
| NONFAILING(*(uint8_t*)0x200000d6 = 0); |
| NONFAILING(*(uint8_t*)0x200000d7 = 0); |
| NONFAILING(*(uint8_t*)0x200000d8 = 0); |
| NONFAILING(*(uint8_t*)0x200000d9 = 0); |
| NONFAILING(*(uint8_t*)0x200000da = 0); |
| NONFAILING(*(uint8_t*)0x200000db = 0); |
| NONFAILING(*(uint8_t*)0x200000dc = 0); |
| NONFAILING(*(uint8_t*)0x200000dd = 0); |
| NONFAILING(*(uint8_t*)0x200000de = 0); |
| NONFAILING(*(uint8_t*)0x200000df = 0); |
| NONFAILING(*(uint8_t*)0x200000e0 = 0); |
| NONFAILING(*(uint8_t*)0x200000e1 = 0); |
| NONFAILING(*(uint8_t*)0x200000e2 = 0); |
| NONFAILING(*(uint8_t*)0x200000e3 = 0); |
| NONFAILING(*(uint8_t*)0x200000e4 = 0); |
| NONFAILING(*(uint8_t*)0x200000e5 = 0); |
| NONFAILING(*(uint8_t*)0x200000e6 = 0); |
| NONFAILING(*(uint8_t*)0x200000e7 = 0); |
| NONFAILING(*(uint32_t*)0x200000e8 = 0); |
| NONFAILING(*(uint16_t*)0x200000ec = 0xa8); |
| NONFAILING(*(uint16_t*)0x200000ee = 0xd0); |
| NONFAILING(*(uint32_t*)0x200000f0 = 0); |
| NONFAILING(*(uint64_t*)0x200000f8 = 0); |
| NONFAILING(*(uint64_t*)0x20000100 = 0); |
| NONFAILING(*(uint16_t*)0x20000108 = 0x28); |
| NONFAILING(memcpy((void*)0x2000010a, "\x53\x45\x54\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*)0x20000127 = 1); |
| NONFAILING(*(uint16_t*)0x20000128 = -1); |
| NONFAILING(*(uint8_t*)0x2000012a = 0); |
| NONFAILING(*(uint8_t*)0x2000012b = 0); |
| NONFAILING(*(uint16_t*)0x2000012c = -1); |
| NONFAILING(*(uint8_t*)0x2000012e = 0); |
| NONFAILING(*(uint8_t*)0x2000012f = 0); |
| NONFAILING(*(uint8_t*)0x20000130 = 0); |
| NONFAILING(*(uint8_t*)0x20000131 = 0); |
| NONFAILING(*(uint8_t*)0x20000132 = 0); |
| NONFAILING(*(uint8_t*)0x20000133 = 0); |
| NONFAILING(*(uint8_t*)0x20000134 = 0); |
| NONFAILING(*(uint8_t*)0x20000135 = 0); |
| NONFAILING(*(uint8_t*)0x20000136 = 0); |
| NONFAILING(*(uint8_t*)0x20000137 = 0); |
| NONFAILING(*(uint8_t*)0x20000138 = 0); |
| NONFAILING(*(uint8_t*)0x20000139 = 0); |
| NONFAILING(*(uint8_t*)0x2000013a = 0); |
| NONFAILING(*(uint8_t*)0x2000013b = 0); |
| NONFAILING(*(uint8_t*)0x2000013c = 0); |
| NONFAILING(*(uint8_t*)0x2000013d = 0); |
| NONFAILING(*(uint8_t*)0x2000013e = 0); |
| NONFAILING(*(uint8_t*)0x2000013f = 0); |
| NONFAILING(*(uint8_t*)0x20000140 = 0); |
| NONFAILING(*(uint8_t*)0x20000141 = 0); |
| NONFAILING(*(uint8_t*)0x20000142 = 0); |
| NONFAILING(*(uint8_t*)0x20000143 = 0); |
| NONFAILING(*(uint8_t*)0x20000144 = 0); |
| NONFAILING(*(uint8_t*)0x20000145 = 0); |
| NONFAILING(*(uint8_t*)0x20000146 = 0); |
| NONFAILING(*(uint8_t*)0x20000147 = 0); |
| NONFAILING(*(uint8_t*)0x20000148 = 0); |
| NONFAILING(*(uint8_t*)0x20000149 = 0); |
| NONFAILING(*(uint8_t*)0x2000014a = 0); |
| NONFAILING(*(uint8_t*)0x2000014b = 0); |
| NONFAILING(*(uint8_t*)0x2000014c = 0); |
| NONFAILING(*(uint8_t*)0x2000014d = 0); |
| NONFAILING(*(uint8_t*)0x2000014e = 0); |
| NONFAILING(*(uint8_t*)0x2000014f = 0); |
| NONFAILING(*(uint8_t*)0x20000150 = 0); |
| NONFAILING(*(uint8_t*)0x20000151 = 0); |
| NONFAILING(*(uint8_t*)0x20000152 = 0); |
| NONFAILING(*(uint8_t*)0x20000153 = 0); |
| NONFAILING(*(uint8_t*)0x20000154 = 0); |
| NONFAILING(*(uint8_t*)0x20000155 = 0); |
| NONFAILING(*(uint8_t*)0x20000156 = 0); |
| NONFAILING(*(uint8_t*)0x20000157 = 0); |
| NONFAILING(*(uint8_t*)0x20000158 = 0); |
| NONFAILING(*(uint8_t*)0x20000159 = 0); |
| NONFAILING(*(uint8_t*)0x2000015a = 0); |
| NONFAILING(*(uint8_t*)0x2000015b = 0); |
| NONFAILING(*(uint8_t*)0x2000015c = 0); |
| NONFAILING(*(uint8_t*)0x2000015d = 0); |
| NONFAILING(*(uint8_t*)0x2000015e = 0); |
| NONFAILING(*(uint8_t*)0x2000015f = 0); |
| NONFAILING(*(uint8_t*)0x20000160 = 0); |
| NONFAILING(*(uint8_t*)0x20000161 = 0); |
| NONFAILING(*(uint8_t*)0x20000162 = 0); |
| NONFAILING(*(uint8_t*)0x20000163 = 0); |
| NONFAILING(*(uint8_t*)0x20000164 = 0); |
| NONFAILING(*(uint8_t*)0x20000165 = 0); |
| NONFAILING(*(uint8_t*)0x20000166 = 0); |
| NONFAILING(*(uint8_t*)0x20000167 = 0); |
| NONFAILING(*(uint8_t*)0x20000168 = 0); |
| NONFAILING(*(uint8_t*)0x20000169 = 0); |
| NONFAILING(*(uint8_t*)0x2000016a = 0); |
| NONFAILING(*(uint8_t*)0x2000016b = 0); |
| NONFAILING(*(uint8_t*)0x2000016c = 0); |
| NONFAILING(*(uint8_t*)0x2000016d = 0); |
| NONFAILING(*(uint8_t*)0x2000016e = 0); |
| NONFAILING(*(uint8_t*)0x2000016f = 0); |
| NONFAILING(*(uint8_t*)0x20000170 = 0); |
| NONFAILING(*(uint8_t*)0x20000171 = 0); |
| NONFAILING(*(uint8_t*)0x20000172 = 0); |
| NONFAILING(*(uint8_t*)0x20000173 = 0); |
| NONFAILING(*(uint8_t*)0x20000174 = 0); |
| NONFAILING(*(uint8_t*)0x20000175 = 0); |
| NONFAILING(*(uint8_t*)0x20000176 = 0); |
| NONFAILING(*(uint8_t*)0x20000177 = 0); |
| NONFAILING(*(uint8_t*)0x20000178 = 0); |
| NONFAILING(*(uint8_t*)0x20000179 = 0); |
| NONFAILING(*(uint8_t*)0x2000017a = 0); |
| NONFAILING(*(uint8_t*)0x2000017b = 0); |
| NONFAILING(*(uint8_t*)0x2000017c = 0); |
| NONFAILING(*(uint8_t*)0x2000017d = 0); |
| NONFAILING(*(uint8_t*)0x2000017e = 0); |
| NONFAILING(*(uint8_t*)0x2000017f = 0); |
| NONFAILING(*(uint8_t*)0x20000180 = 0); |
| NONFAILING(*(uint8_t*)0x20000181 = 0); |
| NONFAILING(*(uint8_t*)0x20000182 = 0); |
| NONFAILING(*(uint8_t*)0x20000183 = 0); |
| NONFAILING(*(uint8_t*)0x20000184 = 0); |
| NONFAILING(*(uint8_t*)0x20000185 = 0); |
| NONFAILING(*(uint8_t*)0x20000186 = 0); |
| NONFAILING(*(uint8_t*)0x20000187 = 0); |
| NONFAILING(*(uint8_t*)0x20000188 = 0); |
| NONFAILING(*(uint8_t*)0x20000189 = 0); |
| NONFAILING(*(uint8_t*)0x2000018a = 0); |
| NONFAILING(*(uint8_t*)0x2000018b = 0); |
| NONFAILING(*(uint8_t*)0x2000018c = 0); |
| NONFAILING(*(uint8_t*)0x2000018d = 0); |
| NONFAILING(*(uint8_t*)0x2000018e = 0); |
| NONFAILING(*(uint8_t*)0x2000018f = 0); |
| NONFAILING(*(uint8_t*)0x20000190 = 0); |
| NONFAILING(*(uint8_t*)0x20000191 = 0); |
| NONFAILING(*(uint8_t*)0x20000192 = 0); |
| NONFAILING(*(uint8_t*)0x20000193 = 0); |
| NONFAILING(*(uint8_t*)0x20000194 = 0); |
| NONFAILING(*(uint8_t*)0x20000195 = 0); |
| NONFAILING(*(uint8_t*)0x20000196 = 0); |
| NONFAILING(*(uint8_t*)0x20000197 = 0); |
| NONFAILING(*(uint8_t*)0x20000198 = 0); |
| NONFAILING(*(uint8_t*)0x20000199 = 0); |
| NONFAILING(*(uint8_t*)0x2000019a = 0); |
| NONFAILING(*(uint8_t*)0x2000019b = 0); |
| NONFAILING(*(uint8_t*)0x2000019c = 0); |
| NONFAILING(*(uint8_t*)0x2000019d = 0); |
| NONFAILING(*(uint8_t*)0x2000019e = 0); |
| NONFAILING(*(uint8_t*)0x2000019f = 0); |
| NONFAILING(*(uint8_t*)0x200001a0 = 0); |
| NONFAILING(*(uint8_t*)0x200001a1 = 0); |
| NONFAILING(*(uint8_t*)0x200001a2 = 0); |
| NONFAILING(*(uint8_t*)0x200001a3 = 0); |
| NONFAILING(*(uint8_t*)0x200001a4 = 0); |
| NONFAILING(*(uint8_t*)0x200001a5 = 0); |
| NONFAILING(*(uint8_t*)0x200001a6 = 0); |
| NONFAILING(*(uint8_t*)0x200001a7 = 0); |
| NONFAILING(*(uint8_t*)0x200001a8 = 0); |
| NONFAILING(*(uint8_t*)0x200001a9 = 0); |
| NONFAILING(*(uint8_t*)0x200001aa = 0); |
| NONFAILING(*(uint8_t*)0x200001ab = 0); |
| NONFAILING(*(uint8_t*)0x200001ac = 0); |
| NONFAILING(*(uint8_t*)0x200001ad = 0); |
| NONFAILING(*(uint8_t*)0x200001ae = 0); |
| NONFAILING(*(uint8_t*)0x200001af = 0); |
| NONFAILING(*(uint8_t*)0x200001b0 = 0); |
| NONFAILING(*(uint8_t*)0x200001b1 = 0); |
| NONFAILING(*(uint8_t*)0x200001b2 = 0); |
| NONFAILING(*(uint8_t*)0x200001b3 = 0); |
| NONFAILING(*(uint8_t*)0x200001b4 = 0); |
| NONFAILING(*(uint8_t*)0x200001b5 = 0); |
| NONFAILING(*(uint8_t*)0x200001b6 = 0); |
| NONFAILING(*(uint8_t*)0x200001b7 = 0); |
| NONFAILING(*(uint32_t*)0x200001b8 = 0); |
| NONFAILING(*(uint16_t*)0x200001bc = 0x200); |
| NONFAILING(*(uint16_t*)0x200001be = 0x268); |
| NONFAILING(*(uint32_t*)0x200001c0 = 0); |
| NONFAILING(*(uint64_t*)0x200001c8 = 0); |
| NONFAILING(*(uint64_t*)0x200001d0 = 0); |
| NONFAILING(*(uint16_t*)0x200001d8 = 0x158); |
| NONFAILING(memcpy((void*)0x200001da, "\x68\x61\x73\x68\x6c\x69\x6d\x69\x74" |
| "\x00\x00\x00\x00\x00\x00\x00\x00\x00" |
| "\x00\x00\x00\x00\x00\x00\x00\x00\x00" |
| "\x00\x00", |
| 29)); |
| NONFAILING(*(uint8_t*)0x200001f7 = 3); |
| NONFAILING(memcpy( |
| (void*)0x200001f8, |
| "\x65\x72\x73\x70\x61\x6e\x30\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\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\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\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\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\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\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\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\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00", |
| 255)); |
| NONFAILING(*(uint64_t*)0x200002f8 = 3); |
| NONFAILING(*(uint64_t*)0x20000300 = 0); |
| NONFAILING(*(uint32_t*)0x20000308 = 0x42); |
| NONFAILING(*(uint32_t*)0x2000030c = 0); |
| NONFAILING(*(uint32_t*)0x20000310 = 0); |
| NONFAILING(*(uint32_t*)0x20000314 = 0x3ff); |
| NONFAILING(*(uint32_t*)0x20000318 = 2); |
| NONFAILING(*(uint32_t*)0x2000031c = 0x80000000); |
| NONFAILING(*(uint8_t*)0x20000320 = 0); |
| NONFAILING(*(uint8_t*)0x20000321 = 0); |
| NONFAILING(*(uint64_t*)0x20000328 = 0); |
| NONFAILING(*(uint16_t*)0x20000330 = 0x68); |
| NONFAILING(memcpy((void*)0x20000332, "\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\x00\x00" |
| "\x00\x00", |
| 29)); |
| NONFAILING(*(uint8_t*)0x2000034f = 2); |
| NONFAILING(*(uint16_t*)0x20000350 = 9); |
| NONFAILING(*(uint16_t*)0x20000352 = 0); |
| NONFAILING(*(uint32_t*)0x20000354 = 0); |
| NONFAILING(*(uint32_t*)0x20000358 = 0); |
| NONFAILING(memcpy( |
| (void*)0x2000035c, |
| "\x6e\x65\x74\x62\x69\x6f\x73\x2d\x6e\x73\x00\x00\x00\x00\x00\x00", |
| 16)); |
| NONFAILING(memcpy((void*)0x2000036c, "\x73\x79\x7a\x31\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(*(uint64_t*)0x20000390 = 0); |
| NONFAILING(*(uint8_t*)0x20000398 = 0); |
| NONFAILING(*(uint8_t*)0x20000399 = 0); |
| NONFAILING(*(uint8_t*)0x2000039a = 0); |
| NONFAILING(*(uint8_t*)0x2000039b = 0); |
| NONFAILING(*(uint8_t*)0x2000039c = 0); |
| NONFAILING(*(uint8_t*)0x2000039d = 0); |
| NONFAILING(*(uint8_t*)0x2000039e = 0); |
| NONFAILING(*(uint8_t*)0x2000039f = 0); |
| NONFAILING(*(uint8_t*)0x200003a0 = 0); |
| NONFAILING(*(uint8_t*)0x200003a1 = 0); |
| NONFAILING(*(uint8_t*)0x200003a2 = 0); |
| NONFAILING(*(uint8_t*)0x200003a3 = 0); |
| NONFAILING(*(uint8_t*)0x200003a4 = 0); |
| NONFAILING(*(uint8_t*)0x200003a5 = 0); |
| NONFAILING(*(uint8_t*)0x200003a6 = 0); |
| NONFAILING(*(uint8_t*)0x200003a7 = 0); |
| NONFAILING(*(uint8_t*)0x200003a8 = 0); |
| NONFAILING(*(uint8_t*)0x200003a9 = 0); |
| NONFAILING(*(uint8_t*)0x200003aa = 0); |
| NONFAILING(*(uint8_t*)0x200003ab = 0); |
| NONFAILING(*(uint8_t*)0x200003ac = 0); |
| NONFAILING(*(uint8_t*)0x200003ad = 0); |
| NONFAILING(*(uint8_t*)0x200003ae = 0); |
| NONFAILING(*(uint8_t*)0x200003af = 0); |
| NONFAILING(*(uint8_t*)0x200003b0 = 0); |
| NONFAILING(*(uint8_t*)0x200003b1 = 0); |
| NONFAILING(*(uint8_t*)0x200003b2 = 0); |
| NONFAILING(*(uint8_t*)0x200003b3 = 0); |
| NONFAILING(*(uint8_t*)0x200003b4 = 0); |
| NONFAILING(*(uint8_t*)0x200003b5 = 0); |
| NONFAILING(*(uint8_t*)0x200003b6 = 0); |
| NONFAILING(*(uint8_t*)0x200003b7 = 0); |
| NONFAILING(*(uint8_t*)0x200003b8 = 0); |
| NONFAILING(*(uint8_t*)0x200003b9 = 0); |
| NONFAILING(*(uint8_t*)0x200003ba = 0); |
| NONFAILING(*(uint8_t*)0x200003bb = 0); |
| NONFAILING(*(uint8_t*)0x200003bc = 0); |
| NONFAILING(*(uint8_t*)0x200003bd = 0); |
| NONFAILING(*(uint8_t*)0x200003be = 0); |
| NONFAILING(*(uint8_t*)0x200003bf = 0); |
| NONFAILING(*(uint8_t*)0x200003c0 = 0); |
| NONFAILING(*(uint8_t*)0x200003c1 = 0); |
| NONFAILING(*(uint8_t*)0x200003c2 = 0); |
| NONFAILING(*(uint8_t*)0x200003c3 = 0); |
| NONFAILING(*(uint8_t*)0x200003c4 = 0); |
| NONFAILING(*(uint8_t*)0x200003c5 = 0); |
| NONFAILING(*(uint8_t*)0x200003c6 = 0); |
| NONFAILING(*(uint8_t*)0x200003c7 = 0); |
| NONFAILING(*(uint8_t*)0x200003c8 = 0); |
| NONFAILING(*(uint8_t*)0x200003c9 = 0); |
| NONFAILING(*(uint8_t*)0x200003ca = 0); |
| NONFAILING(*(uint8_t*)0x200003cb = 0); |
| NONFAILING(*(uint8_t*)0x200003cc = 0); |
| NONFAILING(*(uint8_t*)0x200003cd = 0); |
| NONFAILING(*(uint8_t*)0x200003ce = 0); |
| NONFAILING(*(uint8_t*)0x200003cf = 0); |
| NONFAILING(*(uint8_t*)0x200003d0 = 0); |
| NONFAILING(*(uint8_t*)0x200003d1 = 0); |
| NONFAILING(*(uint8_t*)0x200003d2 = 0); |
| NONFAILING(*(uint8_t*)0x200003d3 = 0); |
| NONFAILING(*(uint8_t*)0x200003d4 = 0); |
| NONFAILING(*(uint8_t*)0x200003d5 = 0); |
| NONFAILING(*(uint8_t*)0x200003d6 = 0); |
| NONFAILING(*(uint8_t*)0x200003d7 = 0); |
| NONFAILING(*(uint8_t*)0x200003d8 = 0); |
| NONFAILING(*(uint8_t*)0x200003d9 = 0); |
| NONFAILING(*(uint8_t*)0x200003da = 0); |
| NONFAILING(*(uint8_t*)0x200003db = 0); |
| NONFAILING(*(uint8_t*)0x200003dc = 0); |
| NONFAILING(*(uint8_t*)0x200003dd = 0); |
| NONFAILING(*(uint8_t*)0x200003de = 0); |
| NONFAILING(*(uint8_t*)0x200003df = 0); |
| NONFAILING(*(uint8_t*)0x200003e0 = 0); |
| NONFAILING(*(uint8_t*)0x200003e1 = 0); |
| NONFAILING(*(uint8_t*)0x200003e2 = 0); |
| NONFAILING(*(uint8_t*)0x200003e3 = 0); |
| NONFAILING(*(uint8_t*)0x200003e4 = 0); |
| NONFAILING(*(uint8_t*)0x200003e5 = 0); |
| NONFAILING(*(uint8_t*)0x200003e6 = 0); |
| NONFAILING(*(uint8_t*)0x200003e7 = 0); |
| NONFAILING(*(uint8_t*)0x200003e8 = 0); |
| NONFAILING(*(uint8_t*)0x200003e9 = 0); |
| NONFAILING(*(uint8_t*)0x200003ea = 0); |
| NONFAILING(*(uint8_t*)0x200003eb = 0); |
| NONFAILING(*(uint8_t*)0x200003ec = 0); |
| NONFAILING(*(uint8_t*)0x200003ed = 0); |
| NONFAILING(*(uint8_t*)0x200003ee = 0); |
| NONFAILING(*(uint8_t*)0x200003ef = 0); |
| NONFAILING(*(uint8_t*)0x200003f0 = 0); |
| NONFAILING(*(uint8_t*)0x200003f1 = 0); |
| NONFAILING(*(uint8_t*)0x200003f2 = 0); |
| NONFAILING(*(uint8_t*)0x200003f3 = 0); |
| NONFAILING(*(uint8_t*)0x200003f4 = 0); |
| NONFAILING(*(uint8_t*)0x200003f5 = 0); |
| NONFAILING(*(uint8_t*)0x200003f6 = 0); |
| NONFAILING(*(uint8_t*)0x200003f7 = 0); |
| NONFAILING(*(uint8_t*)0x200003f8 = 0); |
| NONFAILING(*(uint8_t*)0x200003f9 = 0); |
| NONFAILING(*(uint8_t*)0x200003fa = 0); |
| NONFAILING(*(uint8_t*)0x200003fb = 0); |
| NONFAILING(*(uint8_t*)0x200003fc = 0); |
| NONFAILING(*(uint8_t*)0x200003fd = 0); |
| NONFAILING(*(uint8_t*)0x200003fe = 0); |
| NONFAILING(*(uint8_t*)0x200003ff = 0); |
| NONFAILING(*(uint8_t*)0x20000400 = 0); |
| NONFAILING(*(uint8_t*)0x20000401 = 0); |
| NONFAILING(*(uint8_t*)0x20000402 = 0); |
| NONFAILING(*(uint8_t*)0x20000403 = 0); |
| NONFAILING(*(uint8_t*)0x20000404 = 0); |
| NONFAILING(*(uint8_t*)0x20000405 = 0); |
| NONFAILING(*(uint8_t*)0x20000406 = 0); |
| NONFAILING(*(uint8_t*)0x20000407 = 0); |
| NONFAILING(*(uint8_t*)0x20000408 = 0); |
| NONFAILING(*(uint8_t*)0x20000409 = 0); |
| NONFAILING(*(uint8_t*)0x2000040a = 0); |
| NONFAILING(*(uint8_t*)0x2000040b = 0); |
| NONFAILING(*(uint8_t*)0x2000040c = 0); |
| NONFAILING(*(uint8_t*)0x2000040d = 0); |
| NONFAILING(*(uint8_t*)0x2000040e = 0); |
| NONFAILING(*(uint8_t*)0x2000040f = 0); |
| NONFAILING(*(uint8_t*)0x20000410 = 0); |
| NONFAILING(*(uint8_t*)0x20000411 = 0); |
| NONFAILING(*(uint8_t*)0x20000412 = 0); |
| NONFAILING(*(uint8_t*)0x20000413 = 0); |
| NONFAILING(*(uint8_t*)0x20000414 = 0); |
| NONFAILING(*(uint8_t*)0x20000415 = 0); |
| NONFAILING(*(uint8_t*)0x20000416 = 0); |
| NONFAILING(*(uint8_t*)0x20000417 = 0); |
| NONFAILING(*(uint8_t*)0x20000418 = 0); |
| NONFAILING(*(uint8_t*)0x20000419 = 0); |
| NONFAILING(*(uint8_t*)0x2000041a = 0); |
| NONFAILING(*(uint8_t*)0x2000041b = 0); |
| NONFAILING(*(uint8_t*)0x2000041c = 0); |
| NONFAILING(*(uint8_t*)0x2000041d = 0); |
| NONFAILING(*(uint8_t*)0x2000041e = 0); |
| NONFAILING(*(uint8_t*)0x2000041f = 0); |
| NONFAILING(*(uint32_t*)0x20000420 = 0); |
| NONFAILING(*(uint16_t*)0x20000424 = 0xa8); |
| NONFAILING(*(uint16_t*)0x20000426 = 0xd0); |
| NONFAILING(*(uint32_t*)0x20000428 = 0); |
| NONFAILING(*(uint64_t*)0x20000430 = 0); |
| NONFAILING(*(uint64_t*)0x20000438 = 0); |
| NONFAILING(*(uint16_t*)0x20000440 = 0x28); |
| NONFAILING(memcpy((void*)0x20000442, "\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*)0x2000045f = 0); |
| NONFAILING(*(uint32_t*)0x20000460 = 0xfffffffe); |
| syscall(__NR_setsockopt, r[0], 0x29, 0x40, 0x20000000, 0x468); |
| break; |
| case 2: |
| NONFAILING(memcpy((void*)0x200e1000, "\xf3\xe8\x50\xef\x10\x49", 6)); |
| NONFAILING(*(uint8_t*)0x200e1006 = -1); |
| NONFAILING(*(uint8_t*)0x200e1007 = -1); |
| NONFAILING(*(uint8_t*)0x200e1008 = -1); |
| NONFAILING(*(uint8_t*)0x200e1009 = -1); |
| NONFAILING(*(uint8_t*)0x200e100a = -1); |
| NONFAILING(*(uint8_t*)0x200e100b = -1); |
| NONFAILING(*(uint16_t*)0x200e100c = htobe16(0x806)); |
| NONFAILING(*(uint16_t*)0x200e100e = htobe16(1)); |
| NONFAILING(*(uint16_t*)0x200e1010 = htobe16(0x800)); |
| NONFAILING(*(uint8_t*)0x200e1012 = 6); |
| NONFAILING(*(uint8_t*)0x200e1013 = 4); |
| NONFAILING(*(uint16_t*)0x200e1014 = htobe16(1)); |
| NONFAILING(memcpy((void*)0x200e1016, "\x56\x9c\xd5\x69\xf6\xad", 6)); |
| NONFAILING(*(uint32_t*)0x200e101c = htobe32(0)); |
| NONFAILING(*(uint8_t*)0x200e1020 = -1); |
| NONFAILING(*(uint8_t*)0x200e1021 = -1); |
| NONFAILING(*(uint8_t*)0x200e1022 = -1); |
| NONFAILING(*(uint8_t*)0x200e1023 = -1); |
| NONFAILING(*(uint8_t*)0x200e1024 = -1); |
| NONFAILING(*(uint8_t*)0x200e1025 = -1); |
| NONFAILING(*(uint8_t*)0x200e1026 = 0xac); |
| NONFAILING(*(uint8_t*)0x200e1027 = 0x14); |
| NONFAILING(*(uint8_t*)0x200e1028 = 0 + procid * 1); |
| NONFAILING(*(uint8_t*)0x200e1029 = 0xaa); |
| syz_emit_ethernet(0x2a, 0x200e1000, 0); |
| break; |
| } |
| } |
| |
| void test() |
| { |
| memset(r, -1, sizeof(r)); |
| execute(3); |
| collide = 1; |
| execute(3); |
| } |
| |
| int main() |
| { |
| syscall(__NR_mmap, 0x20000000, 0x1000000, 3, 0x32, -1, 0); |
| char* cwd = get_current_dir_name(); |
| for (procid = 0; procid < 8; procid++) { |
| if (fork() == 0) { |
| install_segv_handler(); |
| for (;;) { |
| if (chdir(cwd)) |
| fail("failed to chdir"); |
| use_temporary_dir(); |
| int pid = do_sandbox_namespace(procid, true); |
| int status = 0; |
| while (waitpid(pid, &status, __WALL) != pid) { |
| } |
| } |
| } |
| } |
| sleep(1000000); |
| return 0; |
| } |