[PATCH] D61839: [analyzer][WIP] Hide developer-only checker/package options by default

Mon May 13 14:08:47 PDT 2019

NoQ added a comment.

In D57858#1499414 <https://reviews.llvm.org/D57858#1499414>, @Szelethus wrote:

> Checker options are a different kind of animal entirely. I think we should definitely let the user fine-tune some modeling checkers, for instance, `unix.DynamicMemoryModeling:Optimistic`, despite us not really wanting to let  anyone (even developers really) mess around whether `unix.DynamicMemoryModeling` should be enabled.

Hmm, great point!

In D57858#1499414 <https://reviews.llvm.org/D57858#1499414>, @Szelethus wrote:

> I am not really confident about osx checkers

Let's hide `CheckOSObject` and unhide the rest. Hmm, Devin also mentioned that some help texts are also not user-friendly-enough (eg., the localization checker help with `SymRegion`s and stuff), let's also hide this one.

In D57858#1499414 <https://reviews.llvm.org/D57858#1499414>, @Szelethus wrote:

> I can see valid uses for the rest of the options, but I might not be strict enough on this

I think `debug.AnalysisOrder` options are worth hiding. Let's also hide the `Optimistic` Malloc Checker, it's clearly alpha. Probably hide alpha checker options if we hide alpha checkers (i.e., Clone Checker).

Repository:
  rC Clang

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D61839/new/

https://reviews.llvm.org/D61839