xref: /qemu/tests/qtest/fuzz/virtio_net_fuzz.c (revision b1db8c63169f2139af9f26c884e5e2abd27dd290)
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