Dmitry Vyukov

> Syz-manager requires restart for every configuration change. @a-nogikh do you remember what parameters do they want to change?

> KVM + ARM64 syzbot setup was tricky. Let's simplify the first steps. IIRC this was only about providing instructions for KVM mode.

> Distros asked for the testing (Neal Gompa from Fedora). Fedora is ahead wrt to compiler+flags. There are many systems (CKI, KernelCI etc.) - it seems better to export reproducers....

> As far as I remember, that was more about the coverage filter (or also syscall filtering?). And that's unfortunately the trickiest option, after a change in which we actually...

> > better coverage for j1939, in particular cover [j1939/transport.c](https://elixir.bootlin.com/linux/v6.11/source/net/can/j1939/transport.c) > > FYI, for my first work with syz corpus, I'd like to take this CAN j1939 coverage, it's currently...

> am I duplicating some existing issue/doc? I don't remember any existing issues off the top of my head. It was discussed that we could generate hundreds of permutations for...

Note: it's only about finding bugs. Once we found a bug, we need to do cause bisection, then periodic re-testing and fix bisection, and patch testing.

Some use-cases that come up before: - bug prioritization - help debugging/root cause bugs (point to potential root cause) - fix generation - reproducer generation - test-case generation - syzlang...

Hi Nilo, How/when these tunables should be set? And when shouldn't they be set? Have you done any benchmarking? What are the results? Can this be enabled by default always?...

> Hello Dmitry, > > Nice to meet you! Thanks for your message, let me answer to each one of your questions by topic: > > ## Benchmarks > We...