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