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