[pulse] Model the correct CFAutorelease

Reviewed By: ezgicicek

Differential Revision: D20941777

fbshipit-source-id: 150924949

infer/src/pulse/PulseModels.ml

@@ -565,7 +565,7 @@ module ProcNameDispatcher = struct
       ; +PatternMatch.ObjectiveC.is_core_graphics_create_or_copy &++> ObjectiveC.alloc
       ; +PatternMatch.ObjectiveC.is_core_graphics_release <>$ capt_arg_payload $--> C.free
       ; -"CFRelease" <>$ capt_arg_payload $--> C.free
-      ; -"CFAutoRelease" <>$ capt_arg_payload $--> C.free ]
+      ; -"CFAutorelease" <>$ capt_arg_payload $--> C.free ]
 end
 
 let dispatch tenv proc_name args = ProcNameDispatcher.dispatch tenv proc_name args

infer/tests/codetoanalyze/objc/pulse/MemoryLeaks.m

@@ -48,7 +48,7 @@
 
 + (void)cg_bitmap_context_create_image1_no_leak_good {
   CGImageRef newImage = CGBitmapContextCreateImage(nil);
-  CFAutoRelease(newImage);
+  CFAutorelease(newImage);
 }
 
 @end