From: Darren Kenny <darren.kenny@oracle.com>
To: Alexander Bulekov <alxndr@bu.edu>, qemu-devel@nongnu.org
Cc: Alexander Bulekov <alxndr@bu.edu>,
Stefan Hajnoczi <stefanha@redhat.com>,
Bandan Das <bsd@redhat.com>, Paolo Bonzini <pbonzini@redhat.com>,
Thomas Huth <thuth@redhat.com>, Qiuhao Li <Qiuhao.Li@outlook.com>,
Laurent Vivier <lvivier@redhat.com>
Subject: Re: [PATCH 03/10] fuzz/generic-fuzz: use reboots instead of forks to reset state
Date: Mon, 13 Feb 2023 14:26:22 +0000 [thread overview]
Message-ID: <m2o7pxr69d.fsf@oracle.com> (raw)
In-Reply-To: <20230205042951.3570008-4-alxndr@bu.edu>
Hi Alex,
On Saturday, 2023-02-04 at 23:29:44 -05, Alexander Bulekov wrote:
> Signed-off-by: Alexander Bulekov <alxndr@bu.edu>
> ---
> tests/qtest/fuzz/generic_fuzz.c | 106 +++++++-------------------------
> 1 file changed, 23 insertions(+), 83 deletions(-)
>
> diff --git a/tests/qtest/fuzz/generic_fuzz.c b/tests/qtest/fuzz/generic_fuzz.c
> index 7326f6840b..c2e5642150 100644
> --- a/tests/qtest/fuzz/generic_fuzz.c
> +++ b/tests/qtest/fuzz/generic_fuzz.c
> @@ -18,7 +18,6 @@
> #include "tests/qtest/libqtest.h"
> #include "tests/qtest/libqos/pci-pc.h"
> #include "fuzz.h"
> -#include "fork_fuzz.h"
> #include "string.h"
> #include "exec/memory.h"
> #include "exec/ramblock.h"
> @@ -29,6 +28,8 @@
> #include "generic_fuzz_configs.h"
> #include "hw/mem/sparse-mem.h"
>
> +static void pci_enum(gpointer pcidev, gpointer bus);
> +
> /*
> * SEPARATOR is used to separate "operations" in the fuzz input
> */
> @@ -589,30 +590,6 @@ static void op_disable_pci(QTestState *s, const unsigned char *data, size_t len)
> pci_disabled = true;
> }
>
> -static void handle_timeout(int sig)
> -{
> - if (qtest_log_enabled) {
> - fprintf(stderr, "[Timeout]\n");
> - fflush(stderr);
> - }
> -
> - /*
> - * If there is a crash, libfuzzer/ASAN forks a child to run an
> - * "llvm-symbolizer" process for printing out a pretty stacktrace. It
> - * communicates with this child using a pipe. If we timeout+Exit, while
> - * libfuzzer is still communicating with the llvm-symbolizer child, we will
> - * be left with an orphan llvm-symbolizer process. Sometimes, this appears
> - * to lead to a deadlock in the forkserver. Use waitpid to check if there
> - * are any waitable children. If so, exit out of the signal-handler, and
> - * let libfuzzer finish communicating with the child, and exit, on its own.
> - */
> - if (waitpid(-1, NULL, WNOHANG) == 0) {
> - return;
> - }
> -
> - _Exit(0);
> -}
> -
> /*
>
I'm presuming that the timeout is being left to the fuzz orchestrator
now, rather than us managing it directly in our own way?
> * Here, we interpret random bytes from the fuzzer, as a sequence of commands.
> * Some commands can be variable-width, so we use a separator, SEPARATOR, to
> @@ -669,64 +646,34 @@ static void generic_fuzz(QTestState *s, const unsigned char *Data, size_t Size)
> size_t cmd_len;
> uint8_t op;
>
> - if (fork() == 0) {
> - struct sigaction sact;
> - struct itimerval timer;
> - sigset_t set;
> - /*
> - * Sometimes the fuzzer will find inputs that take quite a long time to
> - * process. Often times, these inputs do not result in new coverage.
> - * Even if these inputs might be interesting, they can slow down the
> - * fuzzer, overall. Set a timeout for each command to avoid hurting
> - * performance, too much
> - */
> - if (timeout) {
> -
> - sigemptyset(&sact.sa_mask);
> - sact.sa_flags = SA_NODEFER;
> - sact.sa_handler = handle_timeout;
> - sigaction(SIGALRM, &sact, NULL);
> -
> - sigemptyset(&set);
> - sigaddset(&set, SIGALRM);
> - pthread_sigmask(SIG_UNBLOCK, &set, NULL);
> -
> - memset(&timer, 0, sizeof(timer));
> - timer.it_value.tv_sec = timeout / USEC_IN_SEC;
> - timer.it_value.tv_usec = timeout % USEC_IN_SEC;
> - }
> + op_clear_dma_patterns(s, NULL, 0);
> + pci_disabled = false;
>
> - op_clear_dma_patterns(s, NULL, 0);
> - pci_disabled = false;
> + QPCIBus *pcibus = qpci_new_pc(s, NULL);
> + g_ptr_array_foreach(fuzzable_pci_devices, pci_enum, pcibus);
> + qpci_free_pc(pcibus);
>
> - while (cmd && Size) {
> - /* Reset the timeout, each time we run a new command */
> - if (timeout) {
> - setitimer(ITIMER_REAL, &timer, NULL);
> - }
> + while (cmd && Size) {
> + /* Reset the timeout, each time we run a new command */
>
> - /* Get the length until the next command or end of input */
> - nextcmd = memmem(cmd, Size, SEPARATOR, strlen(SEPARATOR));
> - cmd_len = nextcmd ? nextcmd - cmd : Size;
> + /* Get the length until the next command or end of input */
> + nextcmd = memmem(cmd, Size, SEPARATOR, strlen(SEPARATOR));
> + cmd_len = nextcmd ? nextcmd - cmd : Size;
>
> - if (cmd_len > 0) {
> - /* Interpret the first byte of the command as an opcode */
> - op = *cmd % (sizeof(ops) / sizeof((ops)[0]));
> - ops[op](s, cmd + 1, cmd_len - 1);
> + if (cmd_len > 0) {
> + /* Interpret the first byte of the command as an opcode */
> + op = *cmd % (sizeof(ops) / sizeof((ops)[0]));
> + ops[op](s, cmd + 1, cmd_len - 1);
>
> - /* Run the main loop */
> - flush_events(s);
> - }
> - /* Advance to the next command */
> - cmd = nextcmd ? nextcmd + sizeof(SEPARATOR) - 1 : nextcmd;
> - Size = Size - (cmd_len + sizeof(SEPARATOR) - 1);
> - g_array_set_size(dma_regions, 0);
> + /* Run the main loop */
> + flush_events(s);
> }
> - _Exit(0);
> - } else {
> - flush_events(s);
> - wait(0);
> + /* Advance to the next command */
> + cmd = nextcmd ? nextcmd + sizeof(SEPARATOR) - 1 : nextcmd;
> + Size = Size - (cmd_len + sizeof(SEPARATOR) - 1);
> + g_array_set_size(dma_regions, 0);
> }
> + fuzz_reboot(s);
>
Guess this should be changed too if the declared function is too.
These are only nits, so:
Reviewed-by: Darren Kenny <darren.kenny@oracle.com>
Thanks,
Darren.
next prev parent reply other threads:[~2023-02-13 14:27 UTC|newest]
Thread overview: 36+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-02-05 4:29 [PATCH 00/10] Retire Fork-Based Fuzzing Alexander Bulekov
2023-02-05 4:29 ` [PATCH 01/10] hw/sparse-mem: clear memory on reset Alexander Bulekov
2023-02-05 10:40 ` Philippe Mathieu-Daudé
2023-02-13 14:15 ` Darren Kenny
2023-02-05 4:29 ` [PATCH 02/10] fuzz: add fuzz_reboot API Alexander Bulekov
2023-02-05 10:50 ` Philippe Mathieu-Daudé
2023-02-13 14:19 ` Darren Kenny
2023-02-05 4:29 ` [PATCH 03/10] fuzz/generic-fuzz: use reboots instead of forks to reset state Alexander Bulekov
2023-02-13 14:26 ` Darren Kenny [this message]
2023-02-17 4:01 ` Alexander Bulekov
2023-02-05 4:29 ` [PATCH 04/10] fuzz/generic-fuzz: add a limit on DMA bytes written Alexander Bulekov
2023-02-05 10:42 ` Philippe Mathieu-Daudé
2023-02-13 14:38 ` Darren Kenny
2023-02-17 3:59 ` Alexander Bulekov
2023-02-05 4:29 ` [PATCH 05/10] fuzz/virtio-scsi: remove fork-based fuzzer Alexander Bulekov
2023-02-13 14:42 ` Darren Kenny
2023-02-05 4:29 ` [PATCH 06/10] fuzz/virtio-net: " Alexander Bulekov
2023-02-13 14:44 ` Darren Kenny
2023-02-05 4:29 ` [PATCH 07/10] fuzz/virtio-blk: " Alexander Bulekov
2023-02-13 14:45 ` Darren Kenny
2023-02-05 4:29 ` [PATCH 08/10] fuzz/i440fx: " Alexander Bulekov
2023-02-13 14:46 ` Darren Kenny
2023-02-05 4:29 ` [PATCH 09/10] fuzz: remove fork-fuzzing scaffolding Alexander Bulekov
2023-02-13 14:47 ` Darren Kenny
2023-02-05 4:29 ` [PATCH 10/10] docs/fuzz: remove mentions of fork-based fuzzing Alexander Bulekov
2023-02-13 14:48 ` Darren Kenny
2023-02-05 10:39 ` [PATCH 00/10] Retire Fork-Based Fuzzing Philippe Mathieu-Daudé
2023-02-06 14:09 ` Alexander Bulekov
2023-02-13 2:11 ` Alexander Bulekov
2023-02-14 15:38 ` Stefan Hajnoczi
2023-02-14 16:08 ` Philippe Mathieu-Daudé
2023-02-14 17:58 ` Laurent Vivier
2023-02-14 18:46 ` Stefan Hajnoczi
2023-02-14 19:09 ` Thomas Huth
2023-02-14 19:14 ` Alexander Bulekov
2023-02-14 21:08 ` Thomas Huth
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=m2o7pxr69d.fsf@oracle.com \
--to=darren.kenny@oracle.com \
--cc=Qiuhao.Li@outlook.com \
--cc=alxndr@bu.edu \
--cc=bsd@redhat.com \
--cc=lvivier@redhat.com \
--cc=pbonzini@redhat.com \
--cc=qemu-devel@nongnu.org \
--cc=stefanha@redhat.com \
--cc=thuth@redhat.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).