linux-kernel - Re: [PATCH v2 0/2] UBSan: run-time undefined behavior sanity checker

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]

Message-ID: <CACT4Y+bmmVQT598Oagc7KS+4qRu_vVwm8MhAXiGqO0hJHxu_Aw@mail.gmail.com>
Date:	Tue, 3 Nov 2015 18:45:20 +0100
From:	Dmitry Vyukov <dvyukov@...gle.com>
To:	Sasha Levin <sasha.levin@...cle.com>,
	Andrey Ryabinin <ryabinin.a.a@...il.com>
Cc:	LKML <linux-kernel@...r.kernel.org>,
	Andrew Morton <akpm@...ux-foundation.org>,
	Peter Zijlstra <peterz@...radead.org>,
	Randy Dunlap <rdunlap@...radead.org>,
	Rasmus Villemoes <linux@...musvillemoes.dk>,
	Jonathan Corbet <corbet@....net>,
	Michal Marek <mmarek@...e.cz>,
	Thomas Gleixner <tglx@...utronix.de>,
	Ingo Molnar <mingo@...hat.com>,
	"H. Peter Anvin" <hpa@...or.com>,
	Yury Gribov <y.gribov@...sung.com>,
	Konstantin Khlebnikov <koct9i@...il.com>,
	"x86@...nel.org" <x86@...nel.org>, linux-doc@...r.kernel.org,
	"open list:KERNEL BUILD + fi..." <linux-kbuild@...r.kernel.org>
Subject: Re: [PATCH v2 0/2] UBSan: run-time undefined behavior sanity checker

+Andrey

On Tue, Nov 3, 2015 at 6:35 PM, Dmitry Vyukov <dvyukov@...gle.com> wrote:
> I guess just nobody reviewed this. I would like to see this merged as well.
>
>
>
> On Tue, Nov 3, 2015 at 6:20 PM, Sasha Levin <sasha.levin@...cle.com> wrote:
>> Anyone knows why wasn't this merged a year ago? I didn't see any review comments, and it
>> ended up finding real bugs.
>>
>> On 11/14/2014 07:50 AM, Andrey Ryabinin wrote:
>>> Next spin of UBSan and there are two patches from now.
>>> "Two there should be; no more, no less. One to embody the UBSan,
>>> the other to not deadlock it."
>>>
>>> Patches on top of v3.18-rc4. As usual they are available in git:
>>>       git://github.com/aryabinin/linux ubsan/v2
>>>
>>> Changes since v1:
>>>    - Refactoring and cleanups in lib/ubsan.c including Sasha's complains.
>>>    - Some spelling fixes from Randy
>>>    - Fixed possible memory corruption on 64 big endian machines, spotted by Rasmus.
>>>    - Links to the relevant GCC documentation added into changelog (Peter).
>>>    - Added documentation.
>>>    - Fix deadlock caused by kernel/printk/printk.c instrumentation
>>>         (patch "kernel: printk: specify alignment for struct printk_log").
>>>    - Dropped useless 'Indirect call of a function through a function pointer of the wrong type'
>>>      checker. GCC doesn't support this, and as clang manual says it's for C++ only.
>>>    - Added checker for __builtin_unreachable() calls.
>>>    - Removed redundant -fno-sanitize=float-cast-overflow from CFLAGS.
>>>    - Added lock to prevent mixing reports.
>>>
>>> Andrey Ryabinin (2):
>>>   kernel: printk: specify alignment for struct printk_log
>>>   UBSan: run-time undefined behavior sanity checker
>>>
>>>  Documentation/ubsan.txt               |  69 +++++
>>>  Makefile                              |  10 +-
>>>  arch/x86/Kconfig                      |   1 +
>>>  arch/x86/boot/Makefile                |   1 +
>>>  arch/x86/boot/compressed/Makefile     |   1 +
>>>  arch/x86/realmode/rm/Makefile         |   1 +
>>>  arch/x86/vdso/Makefile                |   2 +
>>>  drivers/firmware/efi/libstub/Makefile |   1 +
>>>  include/linux/sched.h                 |   3 +
>>>  kernel/printk/printk.c                |  10 +-
>>>  lib/Kconfig.debug                     |  22 ++
>>>  lib/Makefile                          |   3 +
>>>  lib/ubsan.c                           | 567 ++++++++++++++++++++++++++++++++++
>>>  lib/ubsan.h                           |  84 +++++
>>>  scripts/Makefile.lib                  |   6 +
>>>  15 files changed, 775 insertions(+), 6 deletions(-)
>>>  create mode 100644 Documentation/ubsan.txt
>>>  create mode 100644 lib/ubsan.c
>>>  create mode 100644 lib/ubsan.h
>>>
>>
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/