One step closer to shipping initial GUARDEDBY

Reviewed By: jvillard

Differential Revision: D3469320

fbshipit-source-id: b8491a7

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 = [

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"

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",