diff --git a/infer/src/checkers/ThreadSafety.ml b/infer/src/checkers/ThreadSafety.ml index 8f20aeba4..000014279 100644 --- a/infer/src/checkers/ThreadSafety.ml +++ b/infer/src/checkers/ThreadSafety.ml @@ -370,7 +370,9 @@ module TransferFunctions (CFG : ProcCfg.S) = struct | ("android.app.Activity" | "android.view.View"), "findViewById" -> (* assume findViewById creates fresh View's (note: not always true) *) true - | "android.support.v4.util.Pools$Pool", "acquire" + | ( ( "android.support.v4.util.Pools$Pool" | "android.support.v4.util.Pools$SimplePool" + | "android.support.v4.util.Pools$SynchronizedPool" ) + , "acquire" ) -> (* a pool should own all of its objects *) true | _