From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S932144AbbLEAhw (ORCPT ); Fri, 4 Dec 2015 19:37:52 -0500 Received: from mail.linuxfoundation.org ([140.211.169.12]:48744 "EHLO mail.linuxfoundation.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1756319AbbLEAht (ORCPT ); Fri, 4 Dec 2015 19:37:49 -0500 Date: Fri, 4 Dec 2015 16:37:47 -0800 From: Andrew Morton To: Andrey Ryabinin Cc: , Peter Zijlstra , Sasha Levin , Randy Dunlap , Rasmus Villemoes , Jonathan Corbet , Michal Marek , Thomas Gleixner , Ingo Molnar , "H. Peter Anvin" , Yury Gribov , Dmitry Vyukov , Konstantin Khlebnikov , Kostya Serebryany , , , Subject: Re: [PATCH v4 0/3] UBSAN: run-time undefined behavior sanity checker Message-Id: <20151204163747.0bb51d61832ac75bfc73ce0c@linux-foundation.org> In-Reply-To: <1449157807-20298-1-git-send-email-aryabinin@virtuozzo.com> References: <1449157807-20298-1-git-send-email-aryabinin@virtuozzo.com> X-Mailer: Sylpheed 3.4.1 (GTK+ 2.24.23; x86_64-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Thu, 3 Dec 2015 18:50:04 +0300 Andrey Ryabinin wrote: > UBSAN is run-time undefined behaviour checker. It uses compile-time > instrumentation to catch undefined behavior (UB). Compiler inserts code > that perform certain kinds of checks before operations that could cause UB. > If check fails (i.e. UB detected) __ubsan_handle_* function called to print error message. What I'd like to see in this changelog is a description of any kernel issues which this checker has already identified: what were they and what was their potential impact at runtime. This info will help us to understand the value of the proposed feature. Thanks. From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail.linuxfoundation.org ([140.211.169.12]:48744 "EHLO mail.linuxfoundation.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1756319AbbLEAht (ORCPT ); Fri, 4 Dec 2015 19:37:49 -0500 Date: Fri, 4 Dec 2015 16:37:47 -0800 From: Andrew Morton Subject: Re: [PATCH v4 0/3] UBSAN: run-time undefined behavior sanity checker Message-Id: <20151204163747.0bb51d61832ac75bfc73ce0c@linux-foundation.org> In-Reply-To: <1449157807-20298-1-git-send-email-aryabinin@virtuozzo.com> References: <1449157807-20298-1-git-send-email-aryabinin@virtuozzo.com> Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: linux-kbuild-owner@vger.kernel.org List-ID: To: Andrey Ryabinin Cc: linux-kernel@vger.kernel.org, Peter Zijlstra , Sasha Levin , Randy Dunlap , Rasmus Villemoes , Jonathan Corbet , Michal Marek , Thomas Gleixner , Ingo Molnar , "H. Peter Anvin" , Yury Gribov , Dmitry Vyukov , Konstantin Khlebnikov , Kostya Serebryany , x86@kernel.org, linux-doc@vger.kernel.org, linux-kbuild@vger.kernel.org On Thu, 3 Dec 2015 18:50:04 +0300 Andrey Ryabinin wrote: > UBSAN is run-time undefined behaviour checker. It uses compile-time > instrumentation to catch undefined behavior (UB). Compiler inserts code > that perform certain kinds of checks before operations that could cause UB. > If check fails (i.e. UB detected) __ubsan_handle_* function called to print error message. What I'd like to see in this changelog is a description of any kernel issues which this checker has already identified: what were they and what was their potential impact at runtime. This info will help us to understand the value of the proposed feature. Thanks.