[PATCH] D62092: [analyzer] Create the beta package that is more stable than alpha, move unix.cstring.OutOfBounds there

[Kristóf Umann via Phabricator via cfe-commits]

Szelethus created this revision.
Szelethus added reviewers: NoQ, dkrupp, o.gyorgy, dcoughlin, Charusso, a.sidorin, xazax.hun, rnkovacs.
Szelethus added a project: clang.
Herald added subscribers: cfe-commits, gamesh411, donat.nagy, mikhail.ramalho, szepet, baloghadamsoftware, whisperity.

As per discussed on the mailing list <http://lists.llvm.org/pipermail/cfe-dev/2019-May/062298.html>, this patch introduces a new package, that is conceptually in between an alpha and a production ready package called `beta`.

Beta packages and checkers may lack a better better bug reporting,some finetuning on the FP/TP ratio, but as an experimental feature they are considered stable enough to be run on production code.

We philosophically define alpha as not "power user feature"s, or "high fp/tp reporting checkers that is usable sometimes", but as unfinished. For checkers in beta, while still unfinished, we would like to allow users to experiment with it, because according to our experience analyzing internal C/C++ code at Ericsson, false positives from alpha checkers, even with poor reporting were tolerable, hence the desire to move a portion of alpha checkers to beta.

This patch only moves a single checker to beta, `beta.unix.cstring.OutOfBounds`.


Repository:
  rC Clang

https://reviews.llvm.org/D62092

Files:
  include/clang/StaticAnalyzer/Checkers/Checkers.td
  test/Analysis/bsd-string.c
  test/Analysis/bstring.c
  test/Analysis/cstring-plist.c
  test/Analysis/null-deref-ps-region.c
  test/Analysis/string.c

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D62092.200124.patch
Type: text/x-patch
Size: 10583 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20190518/3fd07178/attachment.bin>