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 2B67CC433F5 for ; Tue, 29 Mar 2022 23:48:50 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S239514AbiC2Xuc (ORCPT ); Tue, 29 Mar 2022 19:50:32 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:33082 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S241116AbiC2Xu2 (ORCPT ); Tue, 29 Mar 2022 19:50:28 -0400 Received: from mail-ej1-x630.google.com (mail-ej1-x630.google.com [IPv6:2a00:1450:4864:20::630]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id A190CB0A5B for ; Tue, 29 Mar 2022 16:48:43 -0700 (PDT) Received: by mail-ej1-x630.google.com with SMTP id bq8so24262416ejb.10 for ; Tue, 29 Mar 2022 16:48:43 -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=HjRkKcTIdEtSJ5qdAlFxYDjytEDuq9kJF/JdJHhM/W0=; b=Npg9tE2QGOUSet55NeMISOUe/KIPJ3btjDh/22dgXKu1PpUjyv7Vk4Y/oRPiEkY82w hcBWY3k/GnJzyqfD4xQV4QmOaihQ9S571CWdWE6Cu8zWij4iaT8ZVKe3C07i5W1s9yHA u4s+WgscKOGxKTYoLeUTkD75HZzK1F9xtclR9/zvyzyl8m6FfkdAbAJxj6cFf3Qy5Q6y BCC2yBo3UCRTBxjsP+uR8EWlc+sD8rIIGt0T5lBt4cOWoPSu3m+SUniVC/lX0MAT5zCl k6YdzBgp18h/6qfbpOIIuQ9CDuXGv22P10E/2zK5bCpdPdeAZVEvspBdUAunRZvcM3Wm mI8A== 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=HjRkKcTIdEtSJ5qdAlFxYDjytEDuq9kJF/JdJHhM/W0=; b=FM0VO4CEPFepM83G2JcM2Hujj9Dhk3JsG9tVyrhc7+PaiOnx30U8CahzbxkXKj5+/Q ieYzf1jELKN+ZE6lw2Cig84X3IwLRi3VPqRBtvj1zg9QaXMO07oZq+4jk8OVj8piLLDm aGeV4rgnOIiJSsAgKdRAdl0M4cxrCsP6cHwvw60SwZHUI9j2bRI2MFw0hfDAg/S1neHL GnYrmYO4Q4x+pZsOArOdaAXdrnBJItimllqicoYa4KBzTZ2QFFanSQBu2T69M7I3ImYb si03GJlZ377UekHg37A/g82MjkTnbR2IEcYDwlig2J0V42IjtirZGT+BaydWizpYfIDs Bs2Q== X-Gm-Message-State: AOAM533S5CpBfJ5zPremDRmpBCHx6/OYYGTK9pcLFjFAcbkqSTVv+8XJ KHkWvMo87RA1Q45m65rZgBV2jWJP27v/OlDYW1sbxw== X-Google-Smtp-Source: ABdhPJzx3gWELIECgfbIZ7X/BnP3w6wKOVDzcjJ3/ACk+h5YKfJf8FHobuoDG15x3ba5Y2mpQHNA+QM/IqRkoW+athY= X-Received: by 2002:a17:907:1622:b0:6df:d1a2:d4a3 with SMTP id hb34-20020a170907162200b006dfd1a2d4a3mr35877982ejc.542.1648597722027; Tue, 29 Mar 2022 16:48:42 -0700 (PDT) MIME-Version: 1.0 References: <9b8233e89227617a2cb47d85c654603c6583323d.1648593132.git.marcelo.schmitt1@gmail.com> In-Reply-To: <9b8233e89227617a2cb47d85c654603c6583323d.1648593132.git.marcelo.schmitt1@gmail.com> From: Daniel Latypov Date: Tue, 29 Mar 2022 18:48:30 -0500 Message-ID: Subject: Re: [PATCH v2 1/2] Documentation: dev-tools: Add a section for static analysis tools To: Marcelo Schmitt Cc: corbet@lwn.net, mchehab+huawei@kernel.org, davidgow@google.com, linux-doc@vger.kernel.org, linux-sparse@vger.kernel.org, cocci@inria.fr, smatch@vger.kernel.org, linux-kernel@vger.kernel.org, skhan@linuxfoundation.org, dan.carpenter@oracle.com, julia.lawall@inria.fr Content-Type: text/plain; charset="UTF-8" Precedence: bulk List-ID: X-Mailing-List: linux-sparse@vger.kernel.org On Tue, Mar 29, 2022 at 6:22 PM Marcelo Schmitt wrote: > > Complement the Kernel Testing Guide documentation page by adding a > section about static analysis tools. > > Signed-off-by: Marcelo Schmitt > Acked-by: Daniel Latypov > Acked-by: Dan Carpenter > Reviewed-by: David Gow > Reviewed-by: Shuah Khan > --- > Change log: > - 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 This looks a lot nicer to me! Thanks for doing this. Daniel