Received: by 2002:a05:6a10:2726:0:0:0:0 with SMTP id ib38csp922183pxb; Wed, 6 Apr 2022 04:22:21 -0700 (PDT) X-Google-Smtp-Source: ABdhPJzsK9U3lMdd2MXWU7kuhzqrz+JiPsNEmNPYuFtaaMngvZX1kFrXL8OFDkU8xCb6M3av0Ssq X-Received: by 2002:a63:fd01:0:b0:381:31b7:8bc5 with SMTP id d1-20020a63fd01000000b0038131b78bc5mr6622929pgh.206.1649244141262; Wed, 06 Apr 2022 04:22:21 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1649244141; cv=none; d=google.com; s=arc-20160816; b=yB2SIIh1HzQw7KU1xXQCVikDiedkpfkd0j+ZePRnmVod+nEm38wWk2YzkcXFwoL2VR b2wBmk5j2tfOGRFrmuI9zKf90Qd5l5iooSe0+OqUlzQvp0n2f3FCdqzrsUffuj0IHpwk SOq3XLmIrfoSdb+j9OERnAU70aEpj5/Yts/8J/CZrHeCPy+i90QEz5f1/Y4QR3bkhImY Nct/ZE2PkXozBnmDogJiLynevMQTjJzKYGRx+xWdvavIXe8xkeXzq0J8tnqUvtUFRXw7 aeAHH+0twYJEE4NZcT4AnqXhWPvlbfy7lnfhhjKD2tTOzIzScKQrqBAd/oAIJuQ0aLDC goJw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:dkim-signature:dkim-filter; bh=7+lervbpy6gXxeBrivEVunvIrUU2KhGTP2hBrxL/QTA=; b=Dc+nKa3xPiL7Rw23VdJxdy/CuHMyHJvwo8+We/US6/ITm0ARwoPKBEigRTYA2O0cR0 JiA7anTpheohwe+gLQEYV3ushxOuTvL+dhfdYlkYkm0mXvrR/hPvMbGVDFtvrMglR33z 8Qd2FmDSeHCAf6TyCIazEGLIvP0s3tOQq1/eNFVR73Ee7eQxnPvDg4gV2JDQdvBajAlI Ql/5cfWynwBbtXm57OsVCI4BFc6YCGPOzZJWmFEu0fBIJxKGWz6s1pWBn/xKu32fMhor tGqhlltbiBB/zvThSisG2h6MW1STluIoqNMhtREL54YUcCoz+h8Q0/Kd/wrOzrJHJQfs mpzg== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@lwn.net header.s=20201203 header.b=pCL0S9Jp; spf=softfail (google.com: domain of transitioning linux-kernel-owner@vger.kernel.org does not designate 23.128.96.19 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from lindbergh.monkeyblade.net (lindbergh.monkeyblade.net. [23.128.96.19]) by mx.google.com with ESMTPS id mq12-20020a17090b380c00b001bd14e030adsi5038098pjb.133.2022.04.06.04.22.20 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 06 Apr 2022 04:22:21 -0700 (PDT) Received-SPF: softfail (google.com: domain of transitioning linux-kernel-owner@vger.kernel.org does not designate 23.128.96.19 as permitted sender) client-ip=23.128.96.19; Authentication-Results: mx.google.com; dkim=pass header.i=@lwn.net header.s=20201203 header.b=pCL0S9Jp; spf=softfail (google.com: domain of transitioning linux-kernel-owner@vger.kernel.org does not designate 23.128.96.19 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: from vger.kernel.org (vger.kernel.org [23.128.96.18]) by lindbergh.monkeyblade.net (Postfix) with ESMTP id EC24C5ED9E9; Wed, 6 Apr 2022 02:44:04 -0700 (PDT) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1454227AbiDEWiG (ORCPT + 99 others); Tue, 5 Apr 2022 18:38:06 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:37050 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1457471AbiDEQDQ (ORCPT ); Tue, 5 Apr 2022 12:03:16 -0400 Received: from ms.lwn.net (ms.lwn.net [IPv6:2600:3c01:e000:3a1::42]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id D9F1A3BA47; Tue, 5 Apr 2022 08:50:20 -0700 (PDT) Received: from localhost (unknown [IPv6:2601:281:8300:35:2589:2a93:190d:b787]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ms.lwn.net (Postfix) with ESMTPSA id 1B761608; Tue, 5 Apr 2022 15:50:20 +0000 (UTC) DKIM-Filter: OpenDKIM Filter v2.11.0 ms.lwn.net 1B761608 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lwn.net; s=20201203; t=1649173820; bh=7+lervbpy6gXxeBrivEVunvIrUU2KhGTP2hBrxL/QTA=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From; b=pCL0S9JpbndAJVkCNAkIKwDxISi6nnxklloexQ6eeoGjdVbCYbUcS2nMV1GpRvtu6 9NQ0lkceS1cH5tCqvEs/MOTgPSGrtE/fhm9G/sdeNbUoH6dv+wSeuUolH/qe3QCeZc BGUIdIJR1dCJDXfeI3ecF9FM4J1yizFYN59Iixc4w6h1r6XGEoaCDoRx6+2dgdtpr4 HSyGRMADKpho8RVLVzR71/bG5fT0y0P0QzF/IUdgqI0K153OheSBzrRR0wL0+8ZYtI 5LUw4JAVkkPjZs7rzKwZfgjh2zF0RYX3KTXhpc/6XrHLGjD/uwVbPUBWuG0WyoOPJl 5XRazNzgYMahA== From: Jonathan Corbet To: Marcelo Schmitt , Dongliang Mu Cc: Mauro Carvalho Chehab , dlatypov@google.com, davidgow@google.com, linux-doc@vger.kernel.org, linux-sparse@vger.kernel.org, cocci@inria.fr, smatch@vger.kernel.org, linux-kernel , skhan@linuxfoundation.org, Dan Carpenter , julia.lawall@inria.fr Subject: Re: [PATCH v3 1/2] Documentation: dev-tools: Add a section for static analysis tools In-Reply-To: References: <7d793c1b9f87d9cb8ac0e858e561e108c2bf0176.1648674305.git.marcelo.schmitt1@gmail.com> Date: Tue, 05 Apr 2022 09:50:19 -0600 Message-ID: <87y20jedhg.fsf@meer.lwn.net> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Status: No, score=-2.0 required=5.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,RDNS_NONE,SPF_HELO_NONE,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on lindbergh.monkeyblade.net Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Marcelo Schmitt writes: > On 03/31, Dongliang Mu wrote: >> Should we include static analysis tools based on LLVM? For example, >> Clang static analysis. > > I think that would be a good addition. I haven't checked out Clang tools > though, so it would take me a bit more time to write something about that. That seems like a good topic for a future patch. Meanwhile I've applied this series, thanks. jon