From 9ad37a3712ab54edb6398a59aba6614d9da05118 Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Mon, 25 Mar 2019 20:38:48 -0700 Subject: [PATCH] [infer] add an option to deactivate the list of previously registered checkers Summary: Field Not Nullable 2025 Fragment Retains View 81 Inconsistent Subclass Parameter Annotation 1364 Inconsistent Subclass Return Annotation 119 Nullable Dereference 6430 Parameter Not Nullable 10993 Return Not Nullable 1038 ``` Reviewed By: ezgicicek Differential Revision: D14339141 fbshipit-source-id: 7cebf1180 --- infer/man/man1/infer-analyze.txt | 4 ++++ infer/man/man1/infer-full.txt | 4 ++++ infer/man/man1/infer.txt | 4 ++++ infer/src/base/Config.ml | 9 +++++++++ 4 files changed, 21 insertions(+) diff --git a/infer/man/man1/infer-analyze.txt b/infer/man/man1/infer-analyze.txt index dd6dbb4bc..084b06131 100644 --- a/infer/man/man1/infer-analyze.txt +++ b/infer/man/man1/infer-analyze.txt @@ -101,6 +101,10 @@ OPTIONS --fragment-retains-view, --linters, --liveness, --ownership, --racerd, --siof, --uninit (Conversely: --default-checkers) + --disable-all-checkers + Activates: turn off all the previously enabled checkers + (Conversely: --no-disable-all-checkers) + --eradicate Activates: the eradicate @Nullable checker for Java annotations (Conversely: --no-eradicate) diff --git a/infer/man/man1/infer-full.txt b/infer/man/man1/infer-full.txt index 43b24784b..27781bdb0 100644 --- a/infer/man/man1/infer-full.txt +++ b/infer/man/man1/infer-full.txt @@ -262,6 +262,10 @@ OPTIONS differential report is desired. Source files should be specified relative to project root or be absolute See also infer-report(1). + --disable-all-checkers + Activates: turn off all the previously enabled checkers + (Conversely: --no-disable-all-checkers) See also infer-analyze(1). + --disable-issue-type +issue_type Do not show reports coming from this type of issue. Each checker can report a range of issue types. This option provides diff --git a/infer/man/man1/infer.txt b/infer/man/man1/infer.txt index 811dc89af..a4e960a3f 100644 --- a/infer/man/man1/infer.txt +++ b/infer/man/man1/infer.txt @@ -262,6 +262,10 @@ OPTIONS differential report is desired. Source files should be specified relative to project root or be absolute See also infer-report(1). + --disable-all-checkers + Activates: turn off all the previously enabled checkers + (Conversely: --no-disable-all-checkers) See also infer-analyze(1). + --disable-issue-type +issue_type Do not show reports coming from this type of issue. Each checker can report a range of issue types. This option provides diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index e1f40d486..6651d66ab 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -744,6 +744,15 @@ and ( annotation_reachability , uninit ) +let _disable_all_checkers : bool ref = + CLOpt.mk_bool ~long:"disable-all-checkers" "turn off all the previously enabled checkers" + ~in_help:InferCommand.[(Analyze, manual_generic)] + ~default:false + ~f:(fun b -> + if b then disable_all_checkers () ; + b ) + + and annotation_reachability_custom_pairs = CLOpt.mk_json ~long:"annotation-reachability-custom-pairs" ~in_help:InferCommand.[(Analyze, manual_java)]