Messages in this thread | | | From | David Gow <> | Date | Wed, 30 Mar 2022 10:33:27 +0800 | Subject | Re: [PATCH v2 1/2] Documentation: dev-tools: Add a section for static analysis tools |
| |
On Wed, Mar 30, 2022 at 7:22 AM Marcelo Schmitt <marcelo.schmitt1@gmail.com> wrote: > > Complement the Kernel Testing Guide documentation page by adding a > section about static analysis tools. > > Signed-off-by: Marcelo Schmitt <marcelo.schmitt1@gmail.com> > Acked-by: Daniel Latypov <dlatypov@google.com> > Acked-by: Dan Carpenter <dan.carpenter@oracle.com> > Reviewed-by: David Gow <davidgow@google.com> > Reviewed-by: Shuah Khan <skhan@linuxfoundation.org> > --- > 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 <davidgow@google.com>
-- David [unhandled content-type:application/pkcs7-signature] | |