Re: [PATCH v2 1/2] Documentation: dev-tools: Add a section for static analysis tools

Daniel Latypov <[email protected]> Tue, 29 Mar 2022 18:48:30 -0500
Newsgroups org.kernel.vger.smatch,fr.inria.cocci,org.kernel.vger.linux-doc,org.kernel.vger.linux-kernel,org.kernel.vger.linux-sparse
Message-ID <CAGS_qxoEZmAHVHQHJsnaALXmmODQono24qLbQr98FKqRUXmCNQ@mail.gmail.com>
On Tue, Mar 29, 2022 at 6:22 PM Marcelo Schmitt
<[email protected]> wrote:
>
> Complement the Kernel Testing Guide documentation page by adding a
> section about static analysis tools.
>
> Signed-off-by: Marcelo Schmitt <[email protected]>
> Acked-by: Daniel Latypov <[email protected]>
> Acked-by: Dan Carpenter <[email protected]>
> Reviewed-by: David Gow <[email protected]>
> Reviewed-by: Shuah Khan <[email protected]>
> ---
> 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