From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1763914AbcALRz5 (ORCPT ); Tue, 12 Jan 2016 12:55:57 -0500 Received: from mail.skyhub.de ([78.46.96.112]:43730 "EHLO mail.skyhub.de" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1762923AbcALRzy (ORCPT ); Tue, 12 Jan 2016 12:55:54 -0500 Date: Tue, 12 Jan 2016 18:55:40 +0100 From: Borislav Petkov To: Josh Poimboeuf Cc: Thomas Gleixner , Ingo Molnar , "H. Peter Anvin" , x86@kernel.org, linux-kernel@vger.kernel.org, live-patching@vger.kernel.org, Michal Marek , Peter Zijlstra , Andy Lutomirski , Linus Torvalds , Andi Kleen , Pedro Alves , Namhyung Kim , Bernd Petrovitsch , Chris J Arges , Andrew Morton , Jiri Slaby , Arnaldo Carvalho de Melo Subject: Re: [PATCH v15 13/25] x86/reboot: Add ljmp instructions to stacktool whitelist Message-ID: <20160112175540.GI30558@pd.tnic> References: <20160112164711.GD22699@pd.tnic> <20160112174301.GD310@treble.redhat.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <20160112174301.GD310@treble.redhat.com> User-Agent: Mutt/1.5.24 (2015-08-30) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Tue, Jan 12, 2016 at 11:43:01AM -0600, Josh Poimboeuf wrote: > Well, these STACKTOOL_IGNORE whitelist markers are only needed in a > handful of places, and only for code that does very weird things. Yes, > they're a bit ugly, but IMO they also communicate valuable information: > "be careful, this code does something very weird." Weird for whom? > As for whether to put the whitelist info in the code vs hard-coding it > in stacktool, I think it's clearer and less "magical" to put them > directly in the code. I don't think so. All that unnecessary clutter just gets in the way of actually writing code. Sure, those tools are all good and nice but again, they should *not* have to touch the code. We want people to concentrate on writing code, not paying attention to gazillion tools breaking from their changes. > It's also more resilient to future code changes, e.g. if the offending > instruction gets moved or if the function gets renamed. So make your tool parse vmlinux properly. > And it gives you the ability to more granularly whitelist instructions > rather than entire functions, which could cause other offending stack > violations in the function to get overlooked. No no no, the moment you have to *whitelist* something is already wrong. Normal kernel code shouldn't have to whitelist anything - the tools should strive to be smart, instead. > Another thing is that stacktool could be a nice general purpose tool for > finding stack issues in other code bases, and so I think requiring it to > have hard-coded knowledge about the code base would greatly limit its > general usefulness. (Though maybe this problem could be remediated with > a user-provided whitelist file which lists functions to be ignored.) I can use the same argument for me: all those other code bases would need annotating too. Again, the onus should always be on the tool to do the right thing. If it cannot, it should not say anything. -- Regards/Gruss, Boris. ECO tip #101: Trim your mails when you reply.