From 3ca924f5461090b62e88b0d51d3188eb0afc0acc Mon Sep 17 00:00:00 2001
From: Sam Blackshear <shb@fb.com>
Date: Mon, 19 Dec 2016 10:30:37 -0800
Subject: [PATCH] [thread-safety] blacklist logging methods

Reviewed By: peterogithub

Differential Revision: D4341870

fbshipit-source-id: e99ca07
---
 infer/src/checkers/ThreadSafety.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/infer/src/checkers/ThreadSafety.ml b/infer/src/checkers/ThreadSafety.ml
index 746410e9e..db9ce3499 100644
--- 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