1*b1db8c63SAlexander Bulekov /* 2*b1db8c63SAlexander Bulekov * virtio-net Fuzzing Target 3*b1db8c63SAlexander Bulekov * 4*b1db8c63SAlexander Bulekov * Copyright Red Hat Inc., 2019 5*b1db8c63SAlexander Bulekov * 6*b1db8c63SAlexander Bulekov * Authors: 7*b1db8c63SAlexander Bulekov * Alexander Bulekov <alxndr@bu.edu> 8*b1db8c63SAlexander Bulekov * 9*b1db8c63SAlexander Bulekov * This work is licensed under the terms of the GNU GPL, version 2 or later. 10*b1db8c63SAlexander Bulekov * See the COPYING file in the top-level directory. 11*b1db8c63SAlexander Bulekov */ 12*b1db8c63SAlexander Bulekov 13*b1db8c63SAlexander Bulekov #include "qemu/osdep.h" 14*b1db8c63SAlexander Bulekov 15*b1db8c63SAlexander Bulekov #include "standard-headers/linux/virtio_config.h" 16*b1db8c63SAlexander Bulekov #include "tests/qtest/libqtest.h" 17*b1db8c63SAlexander Bulekov #include "tests/qtest/libqos/virtio-net.h" 18*b1db8c63SAlexander Bulekov #include "fuzz.h" 19*b1db8c63SAlexander Bulekov #include "fork_fuzz.h" 20*b1db8c63SAlexander Bulekov #include "qos_fuzz.h" 21*b1db8c63SAlexander Bulekov 22*b1db8c63SAlexander Bulekov 23*b1db8c63SAlexander Bulekov #define QVIRTIO_NET_TIMEOUT_US (30 * 1000 * 1000) 24*b1db8c63SAlexander Bulekov #define QVIRTIO_RX_VQ 0 25*b1db8c63SAlexander Bulekov #define QVIRTIO_TX_VQ 1 26*b1db8c63SAlexander Bulekov #define QVIRTIO_CTRL_VQ 2 27*b1db8c63SAlexander Bulekov 28*b1db8c63SAlexander Bulekov static int sockfds[2]; 29*b1db8c63SAlexander Bulekov static bool sockfds_initialized; 30*b1db8c63SAlexander Bulekov 31*b1db8c63SAlexander Bulekov static void virtio_net_fuzz_multi(QTestState *s, 32*b1db8c63SAlexander Bulekov const unsigned char *Data, size_t Size, bool check_used) 33*b1db8c63SAlexander Bulekov { 34*b1db8c63SAlexander Bulekov typedef struct vq_action { 35*b1db8c63SAlexander Bulekov uint8_t queue; 36*b1db8c63SAlexander Bulekov uint8_t length; 37*b1db8c63SAlexander Bulekov uint8_t write; 38*b1db8c63SAlexander Bulekov uint8_t next; 39*b1db8c63SAlexander Bulekov uint8_t rx; 40*b1db8c63SAlexander Bulekov } vq_action; 41*b1db8c63SAlexander Bulekov 42*b1db8c63SAlexander Bulekov uint32_t free_head = 0; 43*b1db8c63SAlexander Bulekov 44*b1db8c63SAlexander Bulekov QGuestAllocator *t_alloc = fuzz_qos_alloc; 45*b1db8c63SAlexander Bulekov 46*b1db8c63SAlexander Bulekov QVirtioNet *net_if = fuzz_qos_obj; 47*b1db8c63SAlexander Bulekov QVirtioDevice *dev = net_if->vdev; 48*b1db8c63SAlexander Bulekov QVirtQueue *q; 49*b1db8c63SAlexander Bulekov vq_action vqa; 50*b1db8c63SAlexander Bulekov while (Size >= sizeof(vqa)) { 51*b1db8c63SAlexander Bulekov memcpy(&vqa, Data, sizeof(vqa)); 52*b1db8c63SAlexander Bulekov Data += sizeof(vqa); 53*b1db8c63SAlexander Bulekov Size -= sizeof(vqa); 54*b1db8c63SAlexander Bulekov 55*b1db8c63SAlexander Bulekov q = net_if->queues[vqa.queue % 3]; 56*b1db8c63SAlexander Bulekov 57*b1db8c63SAlexander Bulekov vqa.length = vqa.length >= Size ? Size : vqa.length; 58*b1db8c63SAlexander Bulekov 59*b1db8c63SAlexander Bulekov /* 60*b1db8c63SAlexander Bulekov * Only attempt to write incoming packets, when using the socket 61*b1db8c63SAlexander Bulekov * backend. Otherwise, always place the input on a virtqueue. 62*b1db8c63SAlexander Bulekov */ 63*b1db8c63SAlexander Bulekov if (vqa.rx && sockfds_initialized) { 64*b1db8c63SAlexander Bulekov write(sockfds[0], Data, vqa.length); 65*b1db8c63SAlexander Bulekov } else { 66*b1db8c63SAlexander Bulekov vqa.rx = 0; 67*b1db8c63SAlexander Bulekov uint64_t req_addr = guest_alloc(t_alloc, vqa.length); 68*b1db8c63SAlexander Bulekov /* 69*b1db8c63SAlexander Bulekov * If checking used ring, ensure that the fuzzer doesn't trigger 70*b1db8c63SAlexander Bulekov * trivial asserion failure on zero-zied buffer 71*b1db8c63SAlexander Bulekov */ 72*b1db8c63SAlexander Bulekov qtest_memwrite(s, req_addr, Data, vqa.length); 73*b1db8c63SAlexander Bulekov 74*b1db8c63SAlexander Bulekov 75*b1db8c63SAlexander Bulekov free_head = qvirtqueue_add(s, q, req_addr, vqa.length, 76*b1db8c63SAlexander Bulekov vqa.write, vqa.next); 77*b1db8c63SAlexander Bulekov qvirtqueue_add(s, q, req_addr, vqa.length, vqa.write , vqa.next); 78*b1db8c63SAlexander Bulekov qvirtqueue_kick(s, dev, q, free_head); 79*b1db8c63SAlexander Bulekov } 80*b1db8c63SAlexander Bulekov 81*b1db8c63SAlexander Bulekov /* Run the main loop */ 82*b1db8c63SAlexander Bulekov qtest_clock_step(s, 100); 83*b1db8c63SAlexander Bulekov flush_events(s); 84*b1db8c63SAlexander Bulekov 85*b1db8c63SAlexander Bulekov /* Wait on used descriptors */ 86*b1db8c63SAlexander Bulekov if (check_used && !vqa.rx) { 87*b1db8c63SAlexander Bulekov gint64 start_time = g_get_monotonic_time(); 88*b1db8c63SAlexander Bulekov /* 89*b1db8c63SAlexander Bulekov * normally, we could just use qvirtio_wait_used_elem, but since we 90*b1db8c63SAlexander Bulekov * must manually run the main-loop for all the bhs to run, we use 91*b1db8c63SAlexander Bulekov * this hack with flush_events(), to run the main_loop 92*b1db8c63SAlexander Bulekov */ 93*b1db8c63SAlexander Bulekov while (!vqa.rx && q != net_if->queues[QVIRTIO_RX_VQ]) { 94*b1db8c63SAlexander Bulekov uint32_t got_desc_idx; 95*b1db8c63SAlexander Bulekov /* Input led to a virtio_error */ 96*b1db8c63SAlexander Bulekov if (dev->bus->get_status(dev) & VIRTIO_CONFIG_S_NEEDS_RESET) { 97*b1db8c63SAlexander Bulekov break; 98*b1db8c63SAlexander Bulekov } 99*b1db8c63SAlexander Bulekov if (dev->bus->get_queue_isr_status(dev, q) && 100*b1db8c63SAlexander Bulekov qvirtqueue_get_buf(s, q, &got_desc_idx, NULL)) { 101*b1db8c63SAlexander Bulekov g_assert_cmpint(got_desc_idx, ==, free_head); 102*b1db8c63SAlexander Bulekov break; 103*b1db8c63SAlexander Bulekov } 104*b1db8c63SAlexander Bulekov g_assert(g_get_monotonic_time() - start_time 105*b1db8c63SAlexander Bulekov <= QVIRTIO_NET_TIMEOUT_US); 106*b1db8c63SAlexander Bulekov 107*b1db8c63SAlexander Bulekov /* Run the main loop */ 108*b1db8c63SAlexander Bulekov qtest_clock_step(s, 100); 109*b1db8c63SAlexander Bulekov flush_events(s); 110*b1db8c63SAlexander Bulekov } 111*b1db8c63SAlexander Bulekov } 112*b1db8c63SAlexander Bulekov Data += vqa.length; 113*b1db8c63SAlexander Bulekov Size -= vqa.length; 114*b1db8c63SAlexander Bulekov } 115*b1db8c63SAlexander Bulekov } 116*b1db8c63SAlexander Bulekov 117*b1db8c63SAlexander Bulekov static void virtio_net_fork_fuzz(QTestState *s, 118*b1db8c63SAlexander Bulekov const unsigned char *Data, size_t Size) 119*b1db8c63SAlexander Bulekov { 120*b1db8c63SAlexander Bulekov if (fork() == 0) { 121*b1db8c63SAlexander Bulekov virtio_net_fuzz_multi(s, Data, Size, false); 122*b1db8c63SAlexander Bulekov flush_events(s); 123*b1db8c63SAlexander Bulekov _Exit(0); 124*b1db8c63SAlexander Bulekov } else { 125*b1db8c63SAlexander Bulekov wait(NULL); 126*b1db8c63SAlexander Bulekov } 127*b1db8c63SAlexander Bulekov } 128*b1db8c63SAlexander Bulekov 129*b1db8c63SAlexander Bulekov static void virtio_net_fork_fuzz_check_used(QTestState *s, 130*b1db8c63SAlexander Bulekov const unsigned char *Data, size_t Size) 131*b1db8c63SAlexander Bulekov { 132*b1db8c63SAlexander Bulekov if (fork() == 0) { 133*b1db8c63SAlexander Bulekov virtio_net_fuzz_multi(s, Data, Size, true); 134*b1db8c63SAlexander Bulekov flush_events(s); 135*b1db8c63SAlexander Bulekov _Exit(0); 136*b1db8c63SAlexander Bulekov } else { 137*b1db8c63SAlexander Bulekov wait(NULL); 138*b1db8c63SAlexander Bulekov } 139*b1db8c63SAlexander Bulekov } 140*b1db8c63SAlexander Bulekov 141*b1db8c63SAlexander Bulekov static void virtio_net_pre_fuzz(QTestState *s) 142*b1db8c63SAlexander Bulekov { 143*b1db8c63SAlexander Bulekov qos_init_path(s); 144*b1db8c63SAlexander Bulekov counter_shm_init(); 145*b1db8c63SAlexander Bulekov } 146*b1db8c63SAlexander Bulekov 147*b1db8c63SAlexander Bulekov static void *virtio_net_test_setup_socket(GString *cmd_line, void *arg) 148*b1db8c63SAlexander Bulekov { 149*b1db8c63SAlexander Bulekov int ret = socketpair(PF_UNIX, SOCK_STREAM, 0, sockfds); 150*b1db8c63SAlexander Bulekov g_assert_cmpint(ret, !=, -1); 151*b1db8c63SAlexander Bulekov fcntl(sockfds[0], F_SETFL, O_NONBLOCK); 152*b1db8c63SAlexander Bulekov sockfds_initialized = true; 153*b1db8c63SAlexander Bulekov g_string_append_printf(cmd_line, " -netdev socket,fd=%d,id=hs0 ", 154*b1db8c63SAlexander Bulekov sockfds[1]); 155*b1db8c63SAlexander Bulekov return arg; 156*b1db8c63SAlexander Bulekov } 157*b1db8c63SAlexander Bulekov 158*b1db8c63SAlexander Bulekov static void *virtio_net_test_setup_user(GString *cmd_line, void *arg) 159*b1db8c63SAlexander Bulekov { 160*b1db8c63SAlexander Bulekov g_string_append_printf(cmd_line, " -netdev user,id=hs0 "); 161*b1db8c63SAlexander Bulekov return arg; 162*b1db8c63SAlexander Bulekov } 163*b1db8c63SAlexander Bulekov 164*b1db8c63SAlexander Bulekov static void register_virtio_net_fuzz_targets(void) 165*b1db8c63SAlexander Bulekov { 166*b1db8c63SAlexander Bulekov fuzz_add_qos_target(&(FuzzTarget){ 167*b1db8c63SAlexander Bulekov .name = "virtio-net-socket", 168*b1db8c63SAlexander Bulekov .description = "Fuzz the virtio-net virtual queues. Fuzz incoming " 169*b1db8c63SAlexander Bulekov "traffic using the socket backend", 170*b1db8c63SAlexander Bulekov .pre_fuzz = &virtio_net_pre_fuzz, 171*b1db8c63SAlexander Bulekov .fuzz = virtio_net_fork_fuzz,}, 172*b1db8c63SAlexander Bulekov "virtio-net", 173*b1db8c63SAlexander Bulekov &(QOSGraphTestOptions){.before = virtio_net_test_setup_socket} 174*b1db8c63SAlexander Bulekov ); 175*b1db8c63SAlexander Bulekov 176*b1db8c63SAlexander Bulekov fuzz_add_qos_target(&(FuzzTarget){ 177*b1db8c63SAlexander Bulekov .name = "virtio-net-socket-check-used", 178*b1db8c63SAlexander Bulekov .description = "Fuzz the virtio-net virtual queues. Wait for the " 179*b1db8c63SAlexander Bulekov "descriptors to be used. Timeout may indicate improperly handled " 180*b1db8c63SAlexander Bulekov "input", 181*b1db8c63SAlexander Bulekov .pre_fuzz = &virtio_net_pre_fuzz, 182*b1db8c63SAlexander Bulekov .fuzz = virtio_net_fork_fuzz_check_used,}, 183*b1db8c63SAlexander Bulekov "virtio-net", 184*b1db8c63SAlexander Bulekov &(QOSGraphTestOptions){.before = virtio_net_test_setup_socket} 185*b1db8c63SAlexander Bulekov ); 186*b1db8c63SAlexander Bulekov fuzz_add_qos_target(&(FuzzTarget){ 187*b1db8c63SAlexander Bulekov .name = "virtio-net-slirp", 188*b1db8c63SAlexander Bulekov .description = "Fuzz the virtio-net virtual queues with the slirp " 189*b1db8c63SAlexander Bulekov " backend. Warning: May result in network traffic emitted from the " 190*b1db8c63SAlexander Bulekov " process. Run in an isolated network environment.", 191*b1db8c63SAlexander Bulekov .pre_fuzz = &virtio_net_pre_fuzz, 192*b1db8c63SAlexander Bulekov .fuzz = virtio_net_fork_fuzz,}, 193*b1db8c63SAlexander Bulekov "virtio-net", 194*b1db8c63SAlexander Bulekov &(QOSGraphTestOptions){.before = virtio_net_test_setup_user} 195*b1db8c63SAlexander Bulekov ); 196*b1db8c63SAlexander Bulekov } 197*b1db8c63SAlexander Bulekov 198*b1db8c63SAlexander Bulekov fuzz_target_init(register_virtio_net_fuzz_targets); 199