Re: [PATCH v3 0/2] Add a section for static analysis tools
David Gow <[email protected]> Thu, 31 Mar 2022 10:09:48 +0800
| Newsgroups | org.kernel.vger.smatch,fr.inria.cocci,org.kernel.vger.linux-doc,org.kernel.vger.linux-kernel,org.kernel.vger.linux-sparse |
|---|---|
| Message-ID | <CABVgOSkQFdGmBZsWqhFifzWAi2+1VOvYy3Q8F_umMa6AV85AQQ@mail.gmail.com> |
On Thu, Mar 31, 2022 at 5:49 AM Marcelo Schmitt <[email protected]> wrote: > > 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(+) > This is looking pretty good to me: thanks for helping to improve the documentation! CCing Hu Haowen as an FYI for the zh_CN translation. -- David