Date: Thu, 28 Nov 2019 11:14:38 -0500 From: Qian Cai <cai@....pw> To: Dmitry Vyukov <dvyukov@...gle.com> Cc: Kees Cook <keescook@...omium.org>, Andrew Morton <akpm@...ux-foundation.org>, Andrey Ryabinin <aryabinin@...tuozzo.com>, Elena Petrova <lenaptr@...gle.com>, Alexander Potapenko <glider@...gle.com>, Linus Torvalds <torvalds@...ux-foundation.org>, Dan Carpenter <dan.carpenter@...cle.com>, "Gustavo A. R. Silva" <gustavo@...eddedor.com>, Arnd Bergmann <arnd@...db.de>, Ard Biesheuvel <ard.biesheuvel@...aro.org>, kasan-dev <kasan-dev@...glegroups.com>, LKML <linux-kernel@...r.kernel.org>, kernel-hardening@...ts.openwall.com, syzkaller <syzkaller@...glegroups.com> Subject: Re: [PATCH v2 0/3] ubsan: Split out bounds checker > On Nov 28, 2019, at 5:39 AM, 'Dmitry Vyukov' via kasan-dev <kasan-dev@...glegroups.com> 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
Powered by blists - more mailing lists
Confused about mailing lists and their use? Read about mailing lists on Wikipedia and check out these guidelines on proper formatting of your messages.