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