[tests] [2/n] Add test about method specialized with block to Pulse

Summary: Added a test to Pulse of NPE that is found after correctly specialising a method with a block.

Reviewed By: jvillard

Differential Revision: D32533341

fbshipit-source-id: 3c0d42890

Author: dulmarod

infer/tests/codetoanalyze/objc/pulse/issues.exp

@@ -8,6 +8,7 @@ codetoanalyze/objc/pulse/memory_leaks/MemoryLeaks.m, call_bridge_interproc_leak_
 codetoanalyze/objc/pulse/memory_leaks/MemoryLeaks.m, call_cfrelease_interproc_leak_ok_FP, 2, MEMORY_LEAK, no_bucket, ERROR, [allocation part of the trace starts here,allocated by `CFLocaleCreate (custom malloc)` here,memory becomes unreachable here]
 codetoanalyze/objc/pulse/memory_leaks/MemoryLeaksInBlocks.m, block_captured_var_leak_bad, 6, MEMORY_LEAK, no_bucket, ERROR, [allocation part of the trace starts here,allocated by `malloc` here,memory becomes unreachable here]
 codetoanalyze/objc/pulse/memory_leaks/MemoryLeaksInBlocks.m, objc_blockblock_free_ok_npe_latent_FP_2, 1, NULLPTR_DEREFERENCE_LATENT, no_bucket, ERROR, [source of the null value part of the trace starts here,is the null pointer,null pointer dereference part of the trace starts here,parameter `x` of objc_blockblock_free_ok_npe_latent_FP_2,invalid access occurs here]
+codetoanalyze/objc/pulse/null_deref/Blocks_as_parameter.m, call_f_npe_bad, 6, NULLPTR_DEREFERENCE, no_bucket, ERROR, [in call to `B.f`,parameter `self` of B.f,in call to `B.call_block:[specialized with blocks]`,in call to `objc_blockB.f_1`,is the constant 5,assigned,return from call to `objc_blockB.f_1`,return from call to `B.call_block:[specialized with blocks]`,returned,return from call to `B.f`,assigned,taking "then" branch,is the null pointer,assigned,invalid access occurs here]
 codetoanalyze/objc/pulse/null_deref/FrontendEqualNames.m, EqualNamesInstanceNPEBad, 3, NULLPTR_DEREFERENCE, no_bucket, ERROR, [in call to `EqualNamesA.meth`,is the null pointer,returned,return from call to `EqualNamesA.meth`,assigned,invalid access occurs here]
 codetoanalyze/objc/pulse/null_deref/FrontendExplicitIvarName.m, ExplicitIvarNameA.testDefaultName, 7, NULLPTR_DEREFERENCE, no_bucket, ERROR, [is the null pointer,assigned,invalid access occurs here]
 codetoanalyze/objc/pulse/null_deref/FrontendExplicitIvarName.m, ExplicitIvarNameA.testExplicit, 6, NULLPTR_DEREFERENCE, no_bucket, ERROR, [is the null pointer,assigned,invalid access occurs here]

infer/tests/codetoanalyze/objc/pulse/null_deref/Blocks_as_parameter.m

@@ -0,0 +1,51 @@
+/*
+ * Copyright (c) Facebook, Inc. and its affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ */
+#import <Foundation/NSObject.h>
+
+typedef void (^MyBlock)();
+
+@interface B : NSObject {
+  int y;
+  int x;
+}
+- (void)call_block:(MyBlock)block;
+
+@end
+
+@implementation B
+
+- (void)call_block:(MyBlock)block {
+  block();
+}
+
+- (int)f {
+  [self call_block:^{
+    self->x = 5;
+  }];
+  return self->x + self->y;
+}
+
+void call_f_npe_bad() {
+  B* b = [[B alloc] init];
+  b->y = 10;
+  int z = [b f];
+  if (z == 15) {
+    int* p = NULL;
+    *p = 42;
+  }
+}
+
+void call_f_no_npe_good() {
+  B* b = [[B alloc] init];
+  b->y = 10;
+  int z = [b f];
+  if (z == 1) {
+    int* p = NULL;
+    *p = 42;
+  }
+}
+@end