Am Montag, den 19.08.2019, 14:43 +0200 schrieb Andrey Konovalov:
> On Mon, Aug 19, 2019 at 2:37 PM Oliver Neukum <[email protected]> wrote:
> > The original error was a divide by zero. The first fix fixed that
> > but still another error showed up. If I propose a fix there are
> > other possibilities besides it working.
> >
> > I could have no effect on the original bug or my fix breaks
> > something else and KASAN is making no difference between
> > those cases.
>
> I think you mean syzbot here and not KASAN. Do I understand correctly,
> that you're saying that the original report was
Yes, sorry syzbot.
> divide-by-zero, but
> when you requested to test the patch the reproducer triggered a
> use-after-free, and syzbot didn't treat the patch you provided as a
> correct fix?
No, obviously there is still a bug. What I would like syzbot to have
would be a third category: inconclusive.
Seeing another bug instead may also mean the first bug struck
before the second could ever happen. We just lack data to tell.
Regards
Oliver