Re: [PATCH v2 0/3] ubsan: Split out bounds checker

From: Qian Cai
Date: Thu Nov 28 2019 - 11:14:42 EST




> On Nov 28, 2019, at 5:39 AM, 'Dmitry Vyukov' via kasan-dev <kasan-dev@xxxxxxxxxxxxxxxx> wrote:
>
> But also LOCKDEP, KMEMLEAK, ODEBUG, FAULT_INJECTS, etc, all untested
> too. Nobody knows what they produce, and if they even still detect
> bugs, report false positives, etc.
> But that's the kernel testing story...

Yes, those work except PROVE_LOCKING where there are existing potential deadlocks are almost impossible to fix them properly now. I have been running those for linux-next daily with all those debugging on where you can borrow the configs etc.

https://github.com/cailca/linux-mm