On Tue, Mar 29, 2022 at 6:22 PM Marcelo Schmitt
[off-list ref] 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 <redacted>
Acked-by: Dan Carpenter <redacted>
Reviewed-by: David Gow <redacted>
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

This looks a lot nicer to me!
Thanks for doing this.

Daniel