[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-ID: <cover.1648674305.git.marcelo.schmitt1@gmail.com>
Date: Wed, 30 Mar 2022 18:49:02 -0300
From: Marcelo Schmitt <marcelo.schmitt1@...il.com>
To: corbet@....net, mchehab+huawei@...nel.org, dlatypov@...gle.com,
davidgow@...gle.com
Cc: linux-doc@...r.kernel.org, linux-sparse@...r.kernel.org,
cocci@...ia.fr, smatch@...r.kernel.org,
linux-kernel@...r.kernel.org, skhan@...uxfoundation.org,
dan.carpenter@...cle.com, julia.lawall@...ia.fr
Subject: [PATCH v3 0/2] Add a section for static analysis tools
Hi all,
This is the third patch version in the direction of complementing the
testing guide documentation page with information about static analysis
tools.
Thank you for your suggestions and comments so far.
These docs wouldn't get so helpful without them.
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
Change log v1 -> v2:
- New patch adding considerations on when to use each tool
- 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
Marcelo Schmitt (2):
Documentation: dev-tools: Add a section for static analysis tools
Documentation: dev-tools: Enhance static analysis section with
discussion
Documentation/dev-tools/testing-overview.rst | 63 ++++++++++++++++++++
1 file changed, 63 insertions(+)
--
2.35.1
Powered by blists - more mailing lists