diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index 0df7f8cb3..80305d5c1 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -93,7 +93,6 @@ let captured_dir_name = "captured" let checks_disabled_by_default = [ "GLOBAL_VARIABLE_INITIALIZED_WITH_FUNCTION_OR_METHOD_CALL"; - "UNSAFE_GUARDED_BY_ACCESS"; ] let clang_build_output_dir_name = "build_output" diff --git a/infer/tests/codetoanalyze/java/.inferconfig b/infer/tests/codetoanalyze/java/.inferconfig index bfdc7eb69..46bad5db6 100644 --- a/infer/tests/codetoanalyze/java/.inferconfig +++ b/infer/tests/codetoanalyze/java/.inferconfig @@ -14,8 +14,7 @@ "@generated" ], "enable_checks": [ - "GLOBAL_VARIABLE_INITIALIZED_WITH_FUNCTION_OR_METHOD_CALL", - "UNSAFE_GUARDED_BY_ACCESS" + "GLOBAL_VARIABLE_INITIALIZED_WITH_FUNCTION_OR_METHOD_CALL" ], "skip_translation": [ { diff --git a/infer/tests/codetoanalyze/java/infer/.inferconfig b/infer/tests/codetoanalyze/java/infer/.inferconfig index afe8db3e3..4584297ee 100644 --- a/infer/tests/codetoanalyze/java/infer/.inferconfig +++ b/infer/tests/codetoanalyze/java/infer/.inferconfig @@ -13,9 +13,6 @@ "infer-blacklist-files-containing": [ "@generated" ], - "enable_checks": [ - "UNSAFE_GUARDED_BY_ACCESS" - ], "skip_translation": [ { "language": "Java", diff --git a/infer/tests/codetoanalyze/java/tracing/.inferconfig b/infer/tests/codetoanalyze/java/tracing/.inferconfig index afe8db3e3..4584297ee 100644 --- a/infer/tests/codetoanalyze/java/tracing/.inferconfig +++ b/infer/tests/codetoanalyze/java/tracing/.inferconfig @@ -13,9 +13,6 @@ "infer-blacklist-files-containing": [ "@generated" ], - "enable_checks": [ - "UNSAFE_GUARDED_BY_ACCESS" - ], "skip_translation": [ { "language": "Java",