[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

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