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

David Gow <[email protected]> Wed, 30 Mar 2022 10:33:27 +0800
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 <CABVgOSk7dc_gn14M5Z5WRtHvyFcwrhpmCjf8cE=gypTim9FdPw@mail.gmail.com>
On Wed, Mar 30, 2022 at 7:22 AM 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
>

Looks better to me: most of the things which I feel are still missing
are added in the next patch.

I think it would be possible to combine the two if you wanted to,
which might make the overall descriptions of the tools a bit stronger,
but this works either way.

This is still
Reviewed-by: David Gow <[email protected]>

-- David
smime.p7s (application/pkcs7-signature, 3.9 KB) - not displayed