diff --git a/infer/lib/python/inferlib/issues.py b/infer/lib/python/inferlib/issues.py index 9b389c4d6..42e3af9d6 100644 --- a/infer/lib/python/inferlib/issues.py +++ b/infer/lib/python/inferlib/issues.py @@ -60,7 +60,7 @@ ISSUE_TYPES = [ 'ASSIGN_POINTER_WARNING', 'GLOBAL_VARIABLE_INITIALIZED_WITH_FUNCTION_OR_METHOD_CALL', # TODO (t11307776): Turn this back on once some of the FP issues are fixed - # 'UNSAFE_GUARDED_BY_ACCESS', + 'UNSAFE_GUARDED_BY_ACCESS', ] NULL_STYLE_ISSUE_TYPES = [ diff --git a/infer/src/backend/config.ml b/infer/src/backend/config.ml index 5338a64f4..c706ee7fd 100644 --- a/infer/src/backend/config.ml +++ b/infer/src/backend/config.ml @@ -92,6 +92,7 @@ let captured_dir_name = "captured" let checks_disabled_by_default = [ "GLOBAL_VARIABLE_INITIALIZED_WITH_FUNCTION_OR_METHOD_CALL"; + "UNSAFE_GUARDED_BY_ACCESS"; ] let default_failure_name = "ASSERTION_FAILURE" diff --git a/infer/tests/codetoanalyze/java/.inferconfig b/infer/tests/codetoanalyze/java/.inferconfig index a7ff591ed..bfdc7eb69 100644 --- a/infer/tests/codetoanalyze/java/.inferconfig +++ b/infer/tests/codetoanalyze/java/.inferconfig @@ -13,6 +13,10 @@ "infer-blacklist-files-containing": [ "@generated" ], + "enable_checks": [ + "GLOBAL_VARIABLE_INITIALIZED_WITH_FUNCTION_OR_METHOD_CALL", + "UNSAFE_GUARDED_BY_ACCESS" + ], "skip_translation": [ { "language": "Java",