On Thu, Mar 31, 2022 at 5:50 AM Marcelo Schmitt <marcelo.schmitt1@xxxxxxxxx> 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@xxxxxxxxx> > Acked-by: David Gow <davidgow@xxxxxxxxxx> > Cc: Dan Carpenter <dan.carpenter@xxxxxxxxxx> > Cc: Julia Lawall <julia.lawall@xxxxxxxx> > --- > 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
