[PATCH v3 0/2] Add a section for static analysis tools

From: Marcelo Schmitt <marcelo.schmitt1@gmail.com>
To: corbet@lwn.net, mchehab+huawei@kernel.org, dlatypov@google.com,
	davidgow@google.com
Cc: linux-doc@vger.kernel.org, linux-sparse@vger.kernel.org,
	cocci@inria.fr, smatch@vger.kernel.org,
	linux-kernel@vger.kernel.org, skhan@linuxfoundation.org,
	dan.carpenter@oracle.com, julia.lawall@inria.fr
Subject: [PATCH v3 0/2] Add a section for static analysis tools
Date: Wed, 30 Mar 2022 18:49:02 -0300	[thread overview]
Message-ID: <cover.1648674305.git.marcelo.schmitt1@gmail.com> (raw)

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