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 Received: from vger.kernel.org (vger.kernel.org [23.128.96.18]) by smtp.lore.kernel.org (Postfix) with ESMTP id BC32CC433F5 for ; Thu, 31 Mar 2022 02:10:04 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1352475AbiCaCLt (ORCPT ); Wed, 30 Mar 2022 22:11:49 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:51044 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1352458AbiCaCLs (ORCPT ); Wed, 30 Mar 2022 22:11:48 -0400 Received: from mail-wm1-x331.google.com (mail-wm1-x331.google.com [IPv6:2a00:1450:4864:20::331]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 915546582C for ; Wed, 30 Mar 2022 19:10:01 -0700 (PDT) Received: by mail-wm1-x331.google.com with SMTP id bi13-20020a05600c3d8d00b0038c2c33d8f3so899442wmb.4 for ; Wed, 30 Mar 2022 19:10:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20210112; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=M+Y4Clr/KV3RmCQxfUTOx3L8tcl6/qhhWFZStvbs7AE=; b=IRNA4dtWN35P6LcruP2XmfFRfHUIeZxTdcIDZkazItppUyO19PVXKrjN6Z2gBpvYX9 665wkXXe/8yk9G+1anKqrIDJHlX8Qofa7yWrcfbbHB67DcluoZdssOl8ENobi8QpTook qBWI9lD01RRhdNDJSeWenT2uFZtge5oqmhFLznMuDBI2q7uuDq/D9eKfakbGsbBcyEcc 0VGTDUzy44vmSNXKfV5JmVrHwqtuJIBMyCFEJCAWhUmLDMUJedR6dMa989h9EjTJwS5Z R3uv/T+QNbGBmvbE3N4d/HawXTHp4k6ASz8e3xe/at7nFPK7ZV1/HUQzwktnoRP1xazv MtEQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=M+Y4Clr/KV3RmCQxfUTOx3L8tcl6/qhhWFZStvbs7AE=; b=fL522n6L1TvafjQvjYlorUea3ss7GZSgm+Jrh0UeLiyGhpgeXGjfZ7tBKk9VhOuDWu JVbqc5hTOdwhaG515a2FMBRHwSE6L6d6Zl2T3/KymTs0MZAZV5+zyfIanVwDnc7IpCdG K7bPm84AHcLEhYrKUjmAPmanSWHFJE78RjnjElbJ8HSYDDKF0EVv3phiuvPB8wF+j6zk L9jKn9WryHk2nVWXWX2RVZGWPbalT+AGN46bOyg+8fPimwgNoDbMm9445IIU2aLn5KX9 gE9sLh0WMzwHpL06zOuDgSmn1ICP74wqqloLEdEg8+4aox8tCoYdVFS6sVjfHrxORmUo gE/g== X-Gm-Message-State: AOAM531mVPYA8AQFhiAkIOQcQ7UosvmeQsfQBb3+qykiZFxl3ZEXs+Fn vMqpER8q0CCVp+Y0+HQbtqc161AZn5JZJXJHDs0tzwI3SJg3nSPI X-Google-Smtp-Source: ABdhPJxX9ikYBf74niQggS4KpIrzIpWarfLSBLv4JdiFkCpZEqGhtcFVRLzgm1Hpstkt8udcLZoMEcwgyQ39Z6R2zz0= X-Received: by 2002:a7b:c541:0:b0:38c:b0ed:31c4 with SMTP id j1-20020a7bc541000000b0038cb0ed31c4mr2624910wmk.141.1648692600105; Wed, 30 Mar 2022 19:10:00 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: David Gow Date: Thu, 31 Mar 2022 10:09:48 +0800 Message-ID: Subject: Re: [PATCH v3 0/2] Add a section for static analysis tools To: Marcelo Schmitt Cc: Jonathan Corbet , Mauro Carvalho Chehab , Daniel Latypov , "open list:DOCUMENTATION" , linux-sparse@vger.kernel.org, cocci@inria.fr, smatch@vger.kernel.org, Linux Kernel Mailing List , Shuah Khan , Dan Carpenter , julia.lawall@inria.fr, Hu Haowen Content-Type: text/plain; charset="UTF-8" Precedence: bulk List-ID: X-Mailing-List: linux-sparse@vger.kernel.org On Thu, Mar 31, 2022 at 5:49 AM Marcelo Schmitt wrote: > > Hi all, > > This is the third patch version in the direction of complementing the > testing guide documentation page with information about static analysis > tools. > > Thank you for your suggestions and comments so far. > These docs wouldn't get so helpful without them. > > Change log v2 -> v3: > - Changed the paragraph about Sparse to make it sound better (hopefully) > - Minor adjusts to make the considerations about Coccinelle sound better > and be precise > > Change log v1 -> v2: > - New patch adding considerations on when to use each tool > - Brought generic tool characteristics to the intro paragraph > - Made explicit that these tools run at compile time > - Added a note of caution about false positives > - Updated Coccinelle info to make it sound better and be more skimmable > > > Marcelo Schmitt (2): > Documentation: dev-tools: Add a section for static analysis tools > Documentation: dev-tools: Enhance static analysis section with > discussion > > Documentation/dev-tools/testing-overview.rst | 63 ++++++++++++++++++++ > 1 file changed, 63 insertions(+) > This is looking pretty good to me: thanks for helping to improve the documentation! CCing Hu Haowen as an FYI for the zh_CN translation. -- David