[thread-safety] blacklist logging methods

Reviewed By: peterogithub Differential Revision: D4341870 fbshipit-source-id: e99ca07
8 years ago · 3ca924f546
parent 084fd9301b
commit 3ca924f546
1 changed files with 1 additions and 0 deletions
--- a/infer/src/checkers/ThreadSafety.ml
+++ b/infer/src/checkers/ThreadSafety.ml
@ -159,6 +159,7 @@ module TransferFunctions (CFG : ProcCfg.S) = struct
                         (e.g., constructors that access static fields) *)
                      if is_unprotected locks' &&
                         not (is_initializer tenv pn) &&
+                         not (FbThreadSafety.is_logging_method pn) &&
                         not (is_call_to_builder_class_method pn) &&
                         not (is_call_to_immutable_collection_method tenv pn)
                      then