From eccfb4de1073a02c4578d52d6fc87aa0d30c91ae Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Wed, 19 Sep 2018 08:12:34 -0700 Subject: [PATCH] [nullsafe][Objective C] more models of methods asserting the paramters to be different from nil Reviewed By: martintrojer Differential Revision: D9888359 fbshipit-source-id: 43ff6bd8d --- infer/src/checkers/NullabilityCheck.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/infer/src/checkers/NullabilityCheck.ml b/infer/src/checkers/NullabilityCheck.ml index 2865d36f0..4dc1e042a 100644 --- a/infer/src/checkers/NullabilityCheck.ml +++ b/infer/src/checkers/NullabilityCheck.ml @@ -62,7 +62,9 @@ module TransferFunctions (CFG : ProcCfg.S) = struct let container_method_regex = Str.regexp @@ "^\\(NS.*_\\(arrayByAddingObject\\|arrayWithObjects\\|" ^ "dictionaryWithObjects\\|dictionaryWithObjectsAndKeys\\|initWithObjectsAndKeys\\|" - ^ "addObject\\|insertObject\\|setObject\\):\\|" ^ "std::basic_string\\).*" + ^ "addObject\\|insertObject\\|setObject\\|" + ^ "stringWithUTF8String\\|stringWithString\\|initWithFormat\\|stringByAppendingString\\):\\|" + ^ "std::basic_string\\).*" let is_objc_container_add_method proc_name =