From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-3.8 required=3.0 tests=BAYES_00,DKIMWL_WL_HIGH, DKIM_SIGNED,DKIM_VALID,HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI, SPF_HELO_NONE,SPF_PASS autolearn=no autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id EF07DC433DF for ; Tue, 13 Oct 2020 07:34:51 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [23.128.96.18]) by mail.kernel.org (Postfix) with ESMTP id 9CB0D214D8 for ; Tue, 13 Oct 2020 07:34:51 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=default; t=1602574491; bh=GhAG0J+vJgd9zGq/7S2yLWnSWEl+GQ9Gt6oedI60JpA=; h=Date:From:To:Cc:Subject:References:In-Reply-To:List-ID:From; b=NcNccBXg6gM7ADJLbTLQYlNS8zeTWbPoCCe91BpfOpKWxmlJIewaYUYtQTWkkOYpS i4YATSgXFP4Y2pvlEtvZIRh7SrkDQQK8F2RIo4wi4c3yJbh2qn0OA5UmsbJ+e5esPh pUlGsLAXGb92UkQXxK6bVRe02b7uHCthqk90OY2k= Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S2390371AbgJMHeu (ORCPT ); Tue, 13 Oct 2020 03:34:50 -0400 Received: from mail.kernel.org ([198.145.29.99]:56662 "EHLO mail.kernel.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S2390018AbgJMHes (ORCPT ); Tue, 13 Oct 2020 03:34:48 -0400 Received: from localhost (83-86-74-64.cable.dynamic.v4.ziggo.nl [83.86.74.64]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.kernel.org (Postfix) with ESMTPSA id 5DEAC205CA; Tue, 13 Oct 2020 07:34:46 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=default; t=1602574486; bh=GhAG0J+vJgd9zGq/7S2yLWnSWEl+GQ9Gt6oedI60JpA=; h=Date:From:To:Cc:Subject:References:In-Reply-To:From; b=fGAqznVbGa+EmEekK8WeEnc/qlcLTCEzLJHirBZmtROeXU6ZOm8ndMqttj1tdD0YG w8bEdAiGO/UBFmrTsjaItMERglAGVSIu69KkiKj6OZUoW2W6fj7Nqpa9BG+pM5+j02 ZkXvbV2FlUwjBQXdI4kFAY/OfKMbDQnAZnRHfmnM= Date: Tue, 13 Oct 2020 09:35:24 +0200 From: Greg Kroah-Hartman To: Lukas Bulwahn Cc: Alan Stern , Sudip Mukherjee , linux-kernel@vger.kernel.org, linux-safety@lists.elisa.tech, linux-usb@vger.kernel.org Subject: Re: [linux-safety] [PATCH] usb: host: ehci-sched: add comment about find_tt() not returning error Message-ID: <20201013073524.GA1674118@kroah.com> References: <20201011205008.24369-1-sudipm.mukherjee@gmail.com> <20201012145710.GA631710@rowland.harvard.edu> <20201012151816.GA1559916@kroah.com> <20201013052317.GB330398@kroah.com> <20201013063636.GA1663576@kroah.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Tue, Oct 13, 2020 at 09:16:27AM +0200, Lukas Bulwahn wrote: > Some others actually believe that the use of static analysis tools > increase software quality and ONLY IF a static analysis tool is used, a > specific level of software quality is achieved and they want to prove > that the software reaches a certain level that way. (I do not > understand that argument but some have been repeating it quite often > around me. This argument seems to come from a specific interpretation of > safety standards that claim to have methods to predict the absense of > bugs up to a certain confidence.) So do those others also audit the static analysis tools to ensure that they actually work as they "think" they do? If not, then their requirement is pretty pointless :) > I am doing it for the fun and learning about tools, and I am not such a > believer but those others would be forced by their beliefs until they > understand what static analysis tools and their janitors really already > contribute to the kernel development and where the real gaps might be. > > I hope that helps to get a bit of the motivation. Consider us > kernel newbies :) Watch out, sending patches to subsystems to "fix" issues that really are not real problems is a sure way to get your patches rejected and make maintainers grumpy. I recommend starting out with code that we all "know" needs help, in drivers/staging/ for stuff like this, so you can learn the process better, as well as start to understand the limitations of your tools better. good luck! greg k-h