Messages in this thread | | | From | David Gow <> | Date | Fri, 1 Apr 2022 08:22:05 +0800 | Subject | Re: [PATCH v3 2/2] Documentation: dev-tools: Enhance static analysis section with discussion |
| |
On Thu, Mar 31, 2022 at 5:50 AM Marcelo Schmitt <marcelo.schmitt1@gmail.com> wrote: > > Enhance the static analysis tools section with a discussion on when to > use each of them. > > This was mainly taken from Dan Carpenter and Julia Lawall's comments on > a previous documentation patch for static analysis tools. > > Lore: https://lore.kernel.org/linux-doc/20220329090911.GX3293@kadam/T/#mb97770c8e938095aadc3ee08f4ac7fe32ae386e6 > > Signed-off-by: Marcelo Schmitt <marcelo.schmitt1@gmail.com> > Acked-by: David Gow <davidgow@google.com> > Cc: Dan Carpenter <dan.carpenter@oracle.com> > Cc: Julia Lawall <julia.lawall@inria.fr> > --- > Change log v2 -> v3: > - Changed the paragraph about Sparse to make it sound better (hopefully) > - Minor adjusts to make the considerations about Coccinelle sound better > and be precise
These (plus the cut down note on Sparse/Smatch overlaps) are definitely an improvement.
Assuming no-one with more knowledge of these that me objects, I think this is good-to-go!
Thanks, -- David
| |