Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1756127AbbLGQsK (ORCPT ); Mon, 7 Dec 2015 11:48:10 -0500 Received: from mx2.parallels.com ([199.115.105.18]:57586 "EHLO mx2.parallels.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1756004AbbLGQsI (ORCPT ); Mon, 7 Dec 2015 11:48:08 -0500 Subject: Re: [PATCH v4 0/3] UBSAN: run-time undefined behavior sanity checker To: Andrew Morton References: <1449157807-20298-1-git-send-email-aryabinin@virtuozzo.com> <20151204163747.0bb51d61832ac75bfc73ce0c@linux-foundation.org> 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 , , , From: Andrey Ryabinin Message-ID: <5665B860.9040404@virtuozzo.com> Date: Mon, 7 Dec 2015 19:48:32 +0300 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.3.0 MIME-Version: 1.0 In-Reply-To: <20151204163747.0bb51d61832ac75bfc73ce0c@linux-foundation.org> Content-Type: text/plain; charset="windows-1252" Content-Transfer-Encoding: 7bit X-ClientProxiedBy: US-EXCH2.sw.swsoft.com (10.255.249.46) To US-EXCH2.sw.swsoft.com (10.255.249.46) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 1037 Lines: 24 On 12/05/2015 03:37 AM, Andrew Morton wrote: > 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. > Sure, I'll come back soon with a list of found bugs. > Thanks. > -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/