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)]