1<?xml version="1.0" encoding="UTF-8"?>
2<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
3<plist version="1.0">
4<dict>
5 <key>clang_version</key>
6 <key>diagnostics</key>
7 <array>
8  <dict>
9   <key>path</key>
10   <array>
11    <dict>
12     <key>kind</key><string>event</string>
13     <key>location</key>
14     <dict>
15      <key>line</key><integer>5</integer>
16      <key>col</key><integer>3</integer>
17      <key>file</key><integer>0</integer>
18     </dict>
19     <key>ranges</key>
20     <array>
21       <array>
22        <dict>
23         <key>line</key><integer>5</integer>
24         <key>col</key><integer>3</integer>
25         <key>file</key><integer>0</integer>
26        </dict>
27        <dict>
28         <key>line</key><integer>5</integer>
29         <key>col</key><integer>8</integer>
30         <key>file</key><integer>0</integer>
31        </dict>
32       </array>
33     </array>
34     <key>depth</key><integer>0</integer>
35     <key>extended_message</key>
36     <string>&apos;p&apos; initialized to a null pointer value</string>
37     <key>message</key>
38     <string>&apos;p&apos; initialized to a null pointer value</string>
39    </dict>
40    <dict>
41     <key>kind</key><string>control</string>
42     <key>edges</key>
43      <array>
44       <dict>
45        <key>start</key>
46         <array>
47          <dict>
48           <key>line</key><integer>5</integer>
49           <key>col</key><integer>3</integer>
50           <key>file</key><integer>0</integer>
51          </dict>
52          <dict>
53           <key>line</key><integer>5</integer>
54           <key>col</key><integer>5</integer>
55           <key>file</key><integer>0</integer>
56          </dict>
57         </array>
58        <key>end</key>
59         <array>
60          <dict>
61           <key>line</key><integer>6</integer>
62           <key>col</key><integer>3</integer>
63           <key>file</key><integer>0</integer>
64          </dict>
65          <dict>
66           <key>line</key><integer>6</integer>
67           <key>col</key><integer>3</integer>
68           <key>file</key><integer>0</integer>
69          </dict>
70         </array>
71       </dict>
72      </array>
73    </dict>
74    <dict>
75     <key>kind</key><string>control</string>
76     <key>edges</key>
77      <array>
78       <dict>
79        <key>start</key>
80         <array>
81          <dict>
82           <key>line</key><integer>6</integer>
83           <key>col</key><integer>3</integer>
84           <key>file</key><integer>0</integer>
85          </dict>
86          <dict>
87           <key>line</key><integer>6</integer>
88           <key>col</key><integer>3</integer>
89           <key>file</key><integer>0</integer>
90          </dict>
91         </array>
92        <key>end</key>
93         <array>
94          <dict>
95           <key>line</key><integer>6</integer>
96           <key>col</key><integer>6</integer>
97           <key>file</key><integer>0</integer>
98          </dict>
99          <dict>
100           <key>line</key><integer>6</integer>
101           <key>col</key><integer>6</integer>
102           <key>file</key><integer>0</integer>
103          </dict>
104         </array>
105       </dict>
106      </array>
107    </dict>
108    <dict>
109     <key>kind</key><string>event</string>
110     <key>location</key>
111     <dict>
112      <key>line</key><integer>6</integer>
113      <key>col</key><integer>6</integer>
114      <key>file</key><integer>0</integer>
115     </dict>
116     <key>ranges</key>
117     <array>
118       <array>
119        <dict>
120         <key>line</key><integer>6</integer>
121         <key>col</key><integer>4</integer>
122         <key>file</key><integer>0</integer>
123        </dict>
124        <dict>
125         <key>line</key><integer>6</integer>
126         <key>col</key><integer>4</integer>
127         <key>file</key><integer>0</integer>
128        </dict>
129       </array>
130     </array>
131     <key>depth</key><integer>0</integer>
132     <key>extended_message</key>
133     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
134     <key>message</key>
135     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
136    </dict>
137   </array>
138   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
139   <key>category</key><string>Logic error</string>
140   <key>type</key><string>Dereference of null pointer</string>
141   <key>check_name</key><string>core.NullDereference</string>
142   <!-- This hash is experimental and going to change! -->
143   <key>issue_hash_content_of_line_in_context</key><string>dc9c2a657ca759f9744cde2e093cfd59</string>
144  <key>issue_context_kind</key><string>function</string>
145  <key>issue_context</key><string>test_null_init</string>
146  <key>issue_hash_function_offset</key><string>2</string>
147  <key>location</key>
148  <dict>
149   <key>line</key><integer>6</integer>
150   <key>col</key><integer>6</integer>
151   <key>file</key><integer>0</integer>
152  </dict>
153  <key>ExecutedLines</key>
154  <dict>
155   <key>0</key>
156   <array>
157    <integer>4</integer>
158    <integer>5</integer>
159    <integer>6</integer>
160   </array>
161  </dict>
162  </dict>
163  <dict>
164   <key>path</key>
165   <array>
166    <dict>
167     <key>kind</key><string>control</string>
168     <key>edges</key>
169      <array>
170       <dict>
171        <key>start</key>
172         <array>
173          <dict>
174           <key>line</key><integer>10</integer>
175           <key>col</key><integer>3</integer>
176           <key>file</key><integer>0</integer>
177          </dict>
178          <dict>
179           <key>line</key><integer>10</integer>
180           <key>col</key><integer>5</integer>
181           <key>file</key><integer>0</integer>
182          </dict>
183         </array>
184        <key>end</key>
185         <array>
186          <dict>
187           <key>line</key><integer>11</integer>
188           <key>col</key><integer>3</integer>
189           <key>file</key><integer>0</integer>
190          </dict>
191          <dict>
192           <key>line</key><integer>11</integer>
193           <key>col</key><integer>3</integer>
194           <key>file</key><integer>0</integer>
195          </dict>
196         </array>
197       </dict>
198      </array>
199    </dict>
200    <dict>
201     <key>kind</key><string>event</string>
202     <key>location</key>
203     <dict>
204      <key>line</key><integer>11</integer>
205      <key>col</key><integer>3</integer>
206      <key>file</key><integer>0</integer>
207     </dict>
208     <key>ranges</key>
209     <array>
210       <array>
211        <dict>
212         <key>line</key><integer>11</integer>
213         <key>col</key><integer>3</integer>
214         <key>file</key><integer>0</integer>
215        </dict>
216        <dict>
217         <key>line</key><integer>11</integer>
218         <key>col</key><integer>7</integer>
219         <key>file</key><integer>0</integer>
220        </dict>
221       </array>
222     </array>
223     <key>depth</key><integer>0</integer>
224     <key>extended_message</key>
225     <string>Null pointer value stored to &apos;p&apos;</string>
226     <key>message</key>
227     <string>Null pointer value stored to &apos;p&apos;</string>
228    </dict>
229    <dict>
230     <key>kind</key><string>control</string>
231     <key>edges</key>
232      <array>
233       <dict>
234        <key>start</key>
235         <array>
236          <dict>
237           <key>line</key><integer>11</integer>
238           <key>col</key><integer>3</integer>
239           <key>file</key><integer>0</integer>
240          </dict>
241          <dict>
242           <key>line</key><integer>11</integer>
243           <key>col</key><integer>3</integer>
244           <key>file</key><integer>0</integer>
245          </dict>
246         </array>
247        <key>end</key>
248         <array>
249          <dict>
250           <key>line</key><integer>12</integer>
251           <key>col</key><integer>3</integer>
252           <key>file</key><integer>0</integer>
253          </dict>
254          <dict>
255           <key>line</key><integer>12</integer>
256           <key>col</key><integer>3</integer>
257           <key>file</key><integer>0</integer>
258          </dict>
259         </array>
260       </dict>
261      </array>
262    </dict>
263    <dict>
264     <key>kind</key><string>control</string>
265     <key>edges</key>
266      <array>
267       <dict>
268        <key>start</key>
269         <array>
270          <dict>
271           <key>line</key><integer>12</integer>
272           <key>col</key><integer>3</integer>
273           <key>file</key><integer>0</integer>
274          </dict>
275          <dict>
276           <key>line</key><integer>12</integer>
277           <key>col</key><integer>3</integer>
278           <key>file</key><integer>0</integer>
279          </dict>
280         </array>
281        <key>end</key>
282         <array>
283          <dict>
284           <key>line</key><integer>12</integer>
285           <key>col</key><integer>6</integer>
286           <key>file</key><integer>0</integer>
287          </dict>
288          <dict>
289           <key>line</key><integer>12</integer>
290           <key>col</key><integer>6</integer>
291           <key>file</key><integer>0</integer>
292          </dict>
293         </array>
294       </dict>
295      </array>
296    </dict>
297    <dict>
298     <key>kind</key><string>event</string>
299     <key>location</key>
300     <dict>
301      <key>line</key><integer>12</integer>
302      <key>col</key><integer>6</integer>
303      <key>file</key><integer>0</integer>
304     </dict>
305     <key>ranges</key>
306     <array>
307       <array>
308        <dict>
309         <key>line</key><integer>12</integer>
310         <key>col</key><integer>4</integer>
311         <key>file</key><integer>0</integer>
312        </dict>
313        <dict>
314         <key>line</key><integer>12</integer>
315         <key>col</key><integer>4</integer>
316         <key>file</key><integer>0</integer>
317        </dict>
318       </array>
319     </array>
320     <key>depth</key><integer>0</integer>
321     <key>extended_message</key>
322     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
323     <key>message</key>
324     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
325    </dict>
326   </array>
327   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
328   <key>category</key><string>Logic error</string>
329   <key>type</key><string>Dereference of null pointer</string>
330   <key>check_name</key><string>core.NullDereference</string>
331   <!-- This hash is experimental and going to change! -->
332   <key>issue_hash_content_of_line_in_context</key><string>8f95d9681490a4e52c167969d0957b39</string>
333  <key>issue_context_kind</key><string>function</string>
334  <key>issue_context</key><string>test_null_assign</string>
335  <key>issue_hash_function_offset</key><string>3</string>
336  <key>location</key>
337  <dict>
338   <key>line</key><integer>12</integer>
339   <key>col</key><integer>6</integer>
340   <key>file</key><integer>0</integer>
341  </dict>
342  <key>ExecutedLines</key>
343  <dict>
344   <key>0</key>
345   <array>
346    <integer>9</integer>
347    <integer>10</integer>
348    <integer>11</integer>
349    <integer>12</integer>
350   </array>
351  </dict>
352  </dict>
353  <dict>
354   <key>path</key>
355   <array>
356    <dict>
357     <key>kind</key><string>control</string>
358     <key>edges</key>
359      <array>
360       <dict>
361        <key>start</key>
362         <array>
363          <dict>
364           <key>line</key><integer>16</integer>
365           <key>col</key><integer>3</integer>
366           <key>file</key><integer>0</integer>
367          </dict>
368          <dict>
369           <key>line</key><integer>16</integer>
370           <key>col</key><integer>5</integer>
371           <key>file</key><integer>0</integer>
372          </dict>
373         </array>
374        <key>end</key>
375         <array>
376          <dict>
377           <key>line</key><integer>17</integer>
378           <key>col</key><integer>3</integer>
379           <key>file</key><integer>0</integer>
380          </dict>
381          <dict>
382           <key>line</key><integer>17</integer>
383           <key>col</key><integer>3</integer>
384           <key>file</key><integer>0</integer>
385          </dict>
386         </array>
387       </dict>
388      </array>
389    </dict>
390    <dict>
391     <key>kind</key><string>event</string>
392     <key>location</key>
393     <dict>
394      <key>line</key><integer>17</integer>
395      <key>col</key><integer>3</integer>
396      <key>file</key><integer>0</integer>
397     </dict>
398     <key>ranges</key>
399     <array>
400       <array>
401        <dict>
402         <key>line</key><integer>17</integer>
403         <key>col</key><integer>3</integer>
404         <key>file</key><integer>0</integer>
405        </dict>
406        <dict>
407         <key>line</key><integer>17</integer>
408         <key>col</key><integer>7</integer>
409         <key>file</key><integer>0</integer>
410        </dict>
411       </array>
412     </array>
413     <key>depth</key><integer>0</integer>
414     <key>extended_message</key>
415     <string>Null pointer value stored to &apos;p&apos;</string>
416     <key>message</key>
417     <string>Null pointer value stored to &apos;p&apos;</string>
418    </dict>
419    <dict>
420     <key>kind</key><string>control</string>
421     <key>edges</key>
422      <array>
423       <dict>
424        <key>start</key>
425         <array>
426          <dict>
427           <key>line</key><integer>17</integer>
428           <key>col</key><integer>3</integer>
429           <key>file</key><integer>0</integer>
430          </dict>
431          <dict>
432           <key>line</key><integer>17</integer>
433           <key>col</key><integer>3</integer>
434           <key>file</key><integer>0</integer>
435          </dict>
436         </array>
437        <key>end</key>
438         <array>
439          <dict>
440           <key>line</key><integer>18</integer>
441           <key>col</key><integer>3</integer>
442           <key>file</key><integer>0</integer>
443          </dict>
444          <dict>
445           <key>line</key><integer>18</integer>
446           <key>col</key><integer>5</integer>
447           <key>file</key><integer>0</integer>
448          </dict>
449         </array>
450       </dict>
451      </array>
452    </dict>
453    <dict>
454     <key>kind</key><string>event</string>
455     <key>location</key>
456     <dict>
457      <key>line</key><integer>18</integer>
458      <key>col</key><integer>3</integer>
459      <key>file</key><integer>0</integer>
460     </dict>
461     <key>ranges</key>
462     <array>
463       <array>
464        <dict>
465         <key>line</key><integer>18</integer>
466         <key>col</key><integer>3</integer>
467         <key>file</key><integer>0</integer>
468        </dict>
469        <dict>
470         <key>line</key><integer>18</integer>
471         <key>col</key><integer>8</integer>
472         <key>file</key><integer>0</integer>
473        </dict>
474       </array>
475     </array>
476     <key>depth</key><integer>0</integer>
477     <key>extended_message</key>
478     <string>&apos;q&apos; initialized to a null pointer value</string>
479     <key>message</key>
480     <string>&apos;q&apos; initialized to a null pointer value</string>
481    </dict>
482    <dict>
483     <key>kind</key><string>control</string>
484     <key>edges</key>
485      <array>
486       <dict>
487        <key>start</key>
488         <array>
489          <dict>
490           <key>line</key><integer>18</integer>
491           <key>col</key><integer>3</integer>
492           <key>file</key><integer>0</integer>
493          </dict>
494          <dict>
495           <key>line</key><integer>18</integer>
496           <key>col</key><integer>5</integer>
497           <key>file</key><integer>0</integer>
498          </dict>
499         </array>
500        <key>end</key>
501         <array>
502          <dict>
503           <key>line</key><integer>19</integer>
504           <key>col</key><integer>3</integer>
505           <key>file</key><integer>0</integer>
506          </dict>
507          <dict>
508           <key>line</key><integer>19</integer>
509           <key>col</key><integer>3</integer>
510           <key>file</key><integer>0</integer>
511          </dict>
512         </array>
513       </dict>
514      </array>
515    </dict>
516    <dict>
517     <key>kind</key><string>control</string>
518     <key>edges</key>
519      <array>
520       <dict>
521        <key>start</key>
522         <array>
523          <dict>
524           <key>line</key><integer>19</integer>
525           <key>col</key><integer>3</integer>
526           <key>file</key><integer>0</integer>
527          </dict>
528          <dict>
529           <key>line</key><integer>19</integer>
530           <key>col</key><integer>3</integer>
531           <key>file</key><integer>0</integer>
532          </dict>
533         </array>
534        <key>end</key>
535         <array>
536          <dict>
537           <key>line</key><integer>19</integer>
538           <key>col</key><integer>6</integer>
539           <key>file</key><integer>0</integer>
540          </dict>
541          <dict>
542           <key>line</key><integer>19</integer>
543           <key>col</key><integer>6</integer>
544           <key>file</key><integer>0</integer>
545          </dict>
546         </array>
547       </dict>
548      </array>
549    </dict>
550    <dict>
551     <key>kind</key><string>event</string>
552     <key>location</key>
553     <dict>
554      <key>line</key><integer>19</integer>
555      <key>col</key><integer>6</integer>
556      <key>file</key><integer>0</integer>
557     </dict>
558     <key>ranges</key>
559     <array>
560       <array>
561        <dict>
562         <key>line</key><integer>19</integer>
563         <key>col</key><integer>4</integer>
564         <key>file</key><integer>0</integer>
565        </dict>
566        <dict>
567         <key>line</key><integer>19</integer>
568         <key>col</key><integer>4</integer>
569         <key>file</key><integer>0</integer>
570        </dict>
571       </array>
572     </array>
573     <key>depth</key><integer>0</integer>
574     <key>extended_message</key>
575     <string>Dereference of null pointer (loaded from variable &apos;q&apos;)</string>
576     <key>message</key>
577     <string>Dereference of null pointer (loaded from variable &apos;q&apos;)</string>
578    </dict>
579   </array>
580   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;q&apos;)</string>
581   <key>category</key><string>Logic error</string>
582   <key>type</key><string>Dereference of null pointer</string>
583   <key>check_name</key><string>core.NullDereference</string>
584   <!-- This hash is experimental and going to change! -->
585   <key>issue_hash_content_of_line_in_context</key><string>94c43fbcad6aaff4ee7433f2d2db0bbe</string>
586  <key>issue_context_kind</key><string>function</string>
587  <key>issue_context</key><string>test_null_assign_transitive</string>
588  <key>issue_hash_function_offset</key><string>4</string>
589  <key>location</key>
590  <dict>
591   <key>line</key><integer>19</integer>
592   <key>col</key><integer>6</integer>
593   <key>file</key><integer>0</integer>
594  </dict>
595  <key>ExecutedLines</key>
596  <dict>
597   <key>0</key>
598   <array>
599    <integer>15</integer>
600    <integer>16</integer>
601    <integer>17</integer>
602    <integer>18</integer>
603    <integer>19</integer>
604   </array>
605  </dict>
606  </dict>
607  <dict>
608   <key>path</key>
609   <array>
610    <dict>
611     <key>kind</key><string>control</string>
612     <key>edges</key>
613      <array>
614       <dict>
615        <key>start</key>
616         <array>
617          <dict>
618           <key>line</key><integer>23</integer>
619           <key>col</key><integer>3</integer>
620           <key>file</key><integer>0</integer>
621          </dict>
622          <dict>
623           <key>line</key><integer>23</integer>
624           <key>col</key><integer>4</integer>
625           <key>file</key><integer>0</integer>
626          </dict>
627         </array>
628        <key>end</key>
629         <array>
630          <dict>
631           <key>line</key><integer>23</integer>
632           <key>col</key><integer>7</integer>
633           <key>file</key><integer>0</integer>
634          </dict>
635          <dict>
636           <key>line</key><integer>23</integer>
637           <key>col</key><integer>7</integer>
638           <key>file</key><integer>0</integer>
639          </dict>
640         </array>
641       </dict>
642      </array>
643    </dict>
644    <dict>
645     <key>kind</key><string>event</string>
646     <key>location</key>
647     <dict>
648      <key>line</key><integer>23</integer>
649      <key>col</key><integer>7</integer>
650      <key>file</key><integer>0</integer>
651     </dict>
652     <key>ranges</key>
653     <array>
654       <array>
655        <dict>
656         <key>line</key><integer>23</integer>
657         <key>col</key><integer>7</integer>
658         <key>file</key><integer>0</integer>
659        </dict>
660        <dict>
661         <key>line</key><integer>23</integer>
662         <key>col</key><integer>8</integer>
663         <key>file</key><integer>0</integer>
664        </dict>
665       </array>
666     </array>
667     <key>depth</key><integer>0</integer>
668     <key>extended_message</key>
669     <string>Assuming &apos;p&apos; is null</string>
670     <key>message</key>
671     <string>Assuming &apos;p&apos; is null</string>
672    </dict>
673    <dict>
674     <key>kind</key><string>control</string>
675     <key>edges</key>
676      <array>
677       <dict>
678        <key>start</key>
679         <array>
680          <dict>
681           <key>line</key><integer>23</integer>
682           <key>col</key><integer>7</integer>
683           <key>file</key><integer>0</integer>
684          </dict>
685          <dict>
686           <key>line</key><integer>23</integer>
687           <key>col</key><integer>7</integer>
688           <key>file</key><integer>0</integer>
689          </dict>
690         </array>
691        <key>end</key>
692         <array>
693          <dict>
694           <key>line</key><integer>24</integer>
695           <key>col</key><integer>5</integer>
696           <key>file</key><integer>0</integer>
697          </dict>
698          <dict>
699           <key>line</key><integer>24</integer>
700           <key>col</key><integer>5</integer>
701           <key>file</key><integer>0</integer>
702          </dict>
703         </array>
704       </dict>
705      </array>
706    </dict>
707    <dict>
708     <key>kind</key><string>control</string>
709     <key>edges</key>
710      <array>
711       <dict>
712        <key>start</key>
713         <array>
714          <dict>
715           <key>line</key><integer>24</integer>
716           <key>col</key><integer>5</integer>
717           <key>file</key><integer>0</integer>
718          </dict>
719          <dict>
720           <key>line</key><integer>24</integer>
721           <key>col</key><integer>5</integer>
722           <key>file</key><integer>0</integer>
723          </dict>
724         </array>
725        <key>end</key>
726         <array>
727          <dict>
728           <key>line</key><integer>24</integer>
729           <key>col</key><integer>8</integer>
730           <key>file</key><integer>0</integer>
731          </dict>
732          <dict>
733           <key>line</key><integer>24</integer>
734           <key>col</key><integer>8</integer>
735           <key>file</key><integer>0</integer>
736          </dict>
737         </array>
738       </dict>
739      </array>
740    </dict>
741    <dict>
742     <key>kind</key><string>event</string>
743     <key>location</key>
744     <dict>
745      <key>line</key><integer>24</integer>
746      <key>col</key><integer>8</integer>
747      <key>file</key><integer>0</integer>
748     </dict>
749     <key>ranges</key>
750     <array>
751       <array>
752        <dict>
753         <key>line</key><integer>24</integer>
754         <key>col</key><integer>6</integer>
755         <key>file</key><integer>0</integer>
756        </dict>
757        <dict>
758         <key>line</key><integer>24</integer>
759         <key>col</key><integer>6</integer>
760         <key>file</key><integer>0</integer>
761        </dict>
762       </array>
763     </array>
764     <key>depth</key><integer>0</integer>
765     <key>extended_message</key>
766     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
767     <key>message</key>
768     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
769    </dict>
770   </array>
771   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
772   <key>category</key><string>Logic error</string>
773   <key>type</key><string>Dereference of null pointer</string>
774   <key>check_name</key><string>core.NullDereference</string>
775   <!-- This hash is experimental and going to change! -->
776   <key>issue_hash_content_of_line_in_context</key><string>659f01507ffd7efd3ca3eab7179fd7d2</string>
777  <key>issue_context_kind</key><string>function</string>
778  <key>issue_context</key><string>test_null_cond</string>
779  <key>issue_hash_function_offset</key><string>2</string>
780  <key>location</key>
781  <dict>
782   <key>line</key><integer>24</integer>
783   <key>col</key><integer>8</integer>
784   <key>file</key><integer>0</integer>
785  </dict>
786  <key>ExecutedLines</key>
787  <dict>
788   <key>0</key>
789   <array>
790    <integer>22</integer>
791    <integer>23</integer>
792    <integer>24</integer>
793   </array>
794  </dict>
795  </dict>
796  <dict>
797   <key>path</key>
798   <array>
799    <dict>
800     <key>kind</key><string>control</string>
801     <key>edges</key>
802      <array>
803       <dict>
804        <key>start</key>
805         <array>
806          <dict>
807           <key>line</key><integer>29</integer>
808           <key>col</key><integer>3</integer>
809           <key>file</key><integer>0</integer>
810          </dict>
811          <dict>
812           <key>line</key><integer>29</integer>
813           <key>col</key><integer>4</integer>
814           <key>file</key><integer>0</integer>
815          </dict>
816         </array>
817        <key>end</key>
818         <array>
819          <dict>
820           <key>line</key><integer>29</integer>
821           <key>col</key><integer>7</integer>
822           <key>file</key><integer>0</integer>
823          </dict>
824          <dict>
825           <key>line</key><integer>29</integer>
826           <key>col</key><integer>7</integer>
827           <key>file</key><integer>0</integer>
828          </dict>
829         </array>
830       </dict>
831      </array>
832    </dict>
833    <dict>
834     <key>kind</key><string>event</string>
835     <key>location</key>
836     <dict>
837      <key>line</key><integer>29</integer>
838      <key>col</key><integer>7</integer>
839      <key>file</key><integer>0</integer>
840     </dict>
841     <key>ranges</key>
842     <array>
843       <array>
844        <dict>
845         <key>line</key><integer>29</integer>
846         <key>col</key><integer>7</integer>
847         <key>file</key><integer>0</integer>
848        </dict>
849        <dict>
850         <key>line</key><integer>29</integer>
851         <key>col</key><integer>8</integer>
852         <key>file</key><integer>0</integer>
853        </dict>
854       </array>
855     </array>
856     <key>depth</key><integer>0</integer>
857     <key>extended_message</key>
858     <string>Assuming &apos;q&apos; is null</string>
859     <key>message</key>
860     <string>Assuming &apos;q&apos; is null</string>
861    </dict>
862    <dict>
863     <key>kind</key><string>control</string>
864     <key>edges</key>
865      <array>
866       <dict>
867        <key>start</key>
868         <array>
869          <dict>
870           <key>line</key><integer>29</integer>
871           <key>col</key><integer>7</integer>
872           <key>file</key><integer>0</integer>
873          </dict>
874          <dict>
875           <key>line</key><integer>29</integer>
876           <key>col</key><integer>7</integer>
877           <key>file</key><integer>0</integer>
878          </dict>
879         </array>
880        <key>end</key>
881         <array>
882          <dict>
883           <key>line</key><integer>30</integer>
884           <key>col</key><integer>5</integer>
885           <key>file</key><integer>0</integer>
886          </dict>
887          <dict>
888           <key>line</key><integer>30</integer>
889           <key>col</key><integer>7</integer>
890           <key>file</key><integer>0</integer>
891          </dict>
892         </array>
893       </dict>
894      </array>
895    </dict>
896    <dict>
897     <key>kind</key><string>event</string>
898     <key>location</key>
899     <dict>
900      <key>line</key><integer>30</integer>
901      <key>col</key><integer>5</integer>
902      <key>file</key><integer>0</integer>
903     </dict>
904     <key>ranges</key>
905     <array>
906       <array>
907        <dict>
908         <key>line</key><integer>30</integer>
909         <key>col</key><integer>5</integer>
910         <key>file</key><integer>0</integer>
911        </dict>
912        <dict>
913         <key>line</key><integer>30</integer>
914         <key>col</key><integer>10</integer>
915         <key>file</key><integer>0</integer>
916        </dict>
917       </array>
918     </array>
919     <key>depth</key><integer>0</integer>
920     <key>extended_message</key>
921     <string>&apos;p&apos; initialized to a null pointer value</string>
922     <key>message</key>
923     <string>&apos;p&apos; initialized to a null pointer value</string>
924    </dict>
925    <dict>
926     <key>kind</key><string>control</string>
927     <key>edges</key>
928      <array>
929       <dict>
930        <key>start</key>
931         <array>
932          <dict>
933           <key>line</key><integer>30</integer>
934           <key>col</key><integer>5</integer>
935           <key>file</key><integer>0</integer>
936          </dict>
937          <dict>
938           <key>line</key><integer>30</integer>
939           <key>col</key><integer>7</integer>
940           <key>file</key><integer>0</integer>
941          </dict>
942         </array>
943        <key>end</key>
944         <array>
945          <dict>
946           <key>line</key><integer>31</integer>
947           <key>col</key><integer>5</integer>
948           <key>file</key><integer>0</integer>
949          </dict>
950          <dict>
951           <key>line</key><integer>31</integer>
952           <key>col</key><integer>5</integer>
953           <key>file</key><integer>0</integer>
954          </dict>
955         </array>
956       </dict>
957      </array>
958    </dict>
959    <dict>
960     <key>kind</key><string>control</string>
961     <key>edges</key>
962      <array>
963       <dict>
964        <key>start</key>
965         <array>
966          <dict>
967           <key>line</key><integer>31</integer>
968           <key>col</key><integer>5</integer>
969           <key>file</key><integer>0</integer>
970          </dict>
971          <dict>
972           <key>line</key><integer>31</integer>
973           <key>col</key><integer>5</integer>
974           <key>file</key><integer>0</integer>
975          </dict>
976         </array>
977        <key>end</key>
978         <array>
979          <dict>
980           <key>line</key><integer>31</integer>
981           <key>col</key><integer>8</integer>
982           <key>file</key><integer>0</integer>
983          </dict>
984          <dict>
985           <key>line</key><integer>31</integer>
986           <key>col</key><integer>8</integer>
987           <key>file</key><integer>0</integer>
988          </dict>
989         </array>
990       </dict>
991      </array>
992    </dict>
993    <dict>
994     <key>kind</key><string>event</string>
995     <key>location</key>
996     <dict>
997      <key>line</key><integer>31</integer>
998      <key>col</key><integer>8</integer>
999      <key>file</key><integer>0</integer>
1000     </dict>
1001     <key>ranges</key>
1002     <array>
1003       <array>
1004        <dict>
1005         <key>line</key><integer>31</integer>
1006         <key>col</key><integer>6</integer>
1007         <key>file</key><integer>0</integer>
1008        </dict>
1009        <dict>
1010         <key>line</key><integer>31</integer>
1011         <key>col</key><integer>6</integer>
1012         <key>file</key><integer>0</integer>
1013        </dict>
1014       </array>
1015     </array>
1016     <key>depth</key><integer>0</integer>
1017     <key>extended_message</key>
1018     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
1019     <key>message</key>
1020     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
1021    </dict>
1022   </array>
1023   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
1024   <key>category</key><string>Logic error</string>
1025   <key>type</key><string>Dereference of null pointer</string>
1026   <key>check_name</key><string>core.NullDereference</string>
1027   <!-- This hash is experimental and going to change! -->
1028   <key>issue_hash_content_of_line_in_context</key><string>c90d51e62139e614b57aff7021240a82</string>
1029  <key>issue_context_kind</key><string>function</string>
1030  <key>issue_context</key><string>test_null_cond_transitive</string>
1031  <key>issue_hash_function_offset</key><string>3</string>
1032  <key>location</key>
1033  <dict>
1034   <key>line</key><integer>31</integer>
1035   <key>col</key><integer>8</integer>
1036   <key>file</key><integer>0</integer>
1037  </dict>
1038  <key>ExecutedLines</key>
1039  <dict>
1040   <key>0</key>
1041   <array>
1042    <integer>28</integer>
1043    <integer>29</integer>
1044    <integer>30</integer>
1045    <integer>31</integer>
1046   </array>
1047  </dict>
1048  </dict>
1049  <dict>
1050   <key>path</key>
1051   <array>
1052    <dict>
1053     <key>kind</key><string>control</string>
1054     <key>edges</key>
1055      <array>
1056       <dict>
1057        <key>start</key>
1058         <array>
1059          <dict>
1060           <key>line</key><integer>36</integer>
1061           <key>col</key><integer>24</integer>
1062           <key>file</key><integer>0</integer>
1063          </dict>
1064          <dict>
1065           <key>line</key><integer>36</integer>
1066           <key>col</key><integer>24</integer>
1067           <key>file</key><integer>0</integer>
1068          </dict>
1069         </array>
1070        <key>end</key>
1071         <array>
1072          <dict>
1073           <key>line</key><integer>37</integer>
1074           <key>col</key><integer>3</integer>
1075           <key>file</key><integer>0</integer>
1076          </dict>
1077          <dict>
1078           <key>line</key><integer>37</integer>
1079           <key>col</key><integer>3</integer>
1080           <key>file</key><integer>0</integer>
1081          </dict>
1082         </array>
1083       </dict>
1084      </array>
1085    </dict>
1086    <dict>
1087     <key>kind</key><string>event</string>
1088     <key>location</key>
1089     <dict>
1090      <key>line</key><integer>37</integer>
1091      <key>col</key><integer>3</integer>
1092      <key>file</key><integer>0</integer>
1093     </dict>
1094     <key>ranges</key>
1095     <array>
1096       <array>
1097        <dict>
1098         <key>line</key><integer>37</integer>
1099         <key>col</key><integer>3</integer>
1100         <key>file</key><integer>0</integer>
1101        </dict>
1102        <dict>
1103         <key>line</key><integer>37</integer>
1104         <key>col</key><integer>9</integer>
1105         <key>file</key><integer>0</integer>
1106        </dict>
1107       </array>
1108     </array>
1109     <key>depth</key><integer>0</integer>
1110     <key>extended_message</key>
1111     <string>Null pointer value stored to &apos;x.p&apos;</string>
1112     <key>message</key>
1113     <string>Null pointer value stored to &apos;x.p&apos;</string>
1114    </dict>
1115    <dict>
1116     <key>kind</key><string>control</string>
1117     <key>edges</key>
1118      <array>
1119       <dict>
1120        <key>start</key>
1121         <array>
1122          <dict>
1123           <key>line</key><integer>37</integer>
1124           <key>col</key><integer>3</integer>
1125           <key>file</key><integer>0</integer>
1126          </dict>
1127          <dict>
1128           <key>line</key><integer>37</integer>
1129           <key>col</key><integer>3</integer>
1130           <key>file</key><integer>0</integer>
1131          </dict>
1132         </array>
1133        <key>end</key>
1134         <array>
1135          <dict>
1136           <key>line</key><integer>38</integer>
1137           <key>col</key><integer>3</integer>
1138           <key>file</key><integer>0</integer>
1139          </dict>
1140          <dict>
1141           <key>line</key><integer>38</integer>
1142           <key>col</key><integer>3</integer>
1143           <key>file</key><integer>0</integer>
1144          </dict>
1145         </array>
1146       </dict>
1147      </array>
1148    </dict>
1149    <dict>
1150     <key>kind</key><string>control</string>
1151     <key>edges</key>
1152      <array>
1153       <dict>
1154        <key>start</key>
1155         <array>
1156          <dict>
1157           <key>line</key><integer>38</integer>
1158           <key>col</key><integer>3</integer>
1159           <key>file</key><integer>0</integer>
1160          </dict>
1161          <dict>
1162           <key>line</key><integer>38</integer>
1163           <key>col</key><integer>3</integer>
1164           <key>file</key><integer>0</integer>
1165          </dict>
1166         </array>
1167        <key>end</key>
1168         <array>
1169          <dict>
1170           <key>line</key><integer>38</integer>
1171           <key>col</key><integer>10</integer>
1172           <key>file</key><integer>0</integer>
1173          </dict>
1174          <dict>
1175           <key>line</key><integer>38</integer>
1176           <key>col</key><integer>10</integer>
1177           <key>file</key><integer>0</integer>
1178          </dict>
1179         </array>
1180       </dict>
1181      </array>
1182    </dict>
1183    <dict>
1184     <key>kind</key><string>event</string>
1185     <key>location</key>
1186     <dict>
1187      <key>line</key><integer>38</integer>
1188      <key>col</key><integer>10</integer>
1189      <key>file</key><integer>0</integer>
1190     </dict>
1191     <key>ranges</key>
1192     <array>
1193       <array>
1194        <dict>
1195         <key>line</key><integer>38</integer>
1196         <key>col</key><integer>7</integer>
1197         <key>file</key><integer>0</integer>
1198        </dict>
1199        <dict>
1200         <key>line</key><integer>38</integer>
1201         <key>col</key><integer>7</integer>
1202         <key>file</key><integer>0</integer>
1203        </dict>
1204       </array>
1205     </array>
1206     <key>depth</key><integer>0</integer>
1207     <key>extended_message</key>
1208     <string>Dereference of null pointer (loaded from field &apos;p&apos;)</string>
1209     <key>message</key>
1210     <string>Dereference of null pointer (loaded from field &apos;p&apos;)</string>
1211    </dict>
1212   </array>
1213   <key>description</key><string>Dereference of null pointer (loaded from field &apos;p&apos;)</string>
1214   <key>category</key><string>Logic error</string>
1215   <key>type</key><string>Dereference of null pointer</string>
1216   <key>check_name</key><string>core.NullDereference</string>
1217   <!-- This hash is experimental and going to change! -->
1218   <key>issue_hash_content_of_line_in_context</key><string>245408d2bc416e324064d990e6dd82a8</string>
1219  <key>issue_context_kind</key><string>function</string>
1220  <key>issue_context</key><string>test_null_field</string>
1221  <key>issue_hash_function_offset</key><string>3</string>
1222  <key>location</key>
1223  <dict>
1224   <key>line</key><integer>38</integer>
1225   <key>col</key><integer>10</integer>
1226   <key>file</key><integer>0</integer>
1227  </dict>
1228  <key>ExecutedLines</key>
1229  <dict>
1230   <key>0</key>
1231   <array>
1232    <integer>35</integer>
1233    <integer>36</integer>
1234    <integer>37</integer>
1235    <integer>38</integer>
1236   </array>
1237  </dict>
1238  </dict>
1239  <dict>
1240   <key>path</key>
1241   <array>
1242    <dict>
1243     <key>kind</key><string>control</string>
1244     <key>edges</key>
1245      <array>
1246       <dict>
1247        <key>start</key>
1248         <array>
1249          <dict>
1250           <key>line</key><integer>53</integer>
1251           <key>col</key><integer>3</integer>
1252           <key>file</key><integer>0</integer>
1253          </dict>
1254          <dict>
1255           <key>line</key><integer>53</integer>
1256           <key>col</key><integer>8</integer>
1257           <key>file</key><integer>0</integer>
1258          </dict>
1259         </array>
1260        <key>end</key>
1261         <array>
1262          <dict>
1263           <key>line</key><integer>54</integer>
1264           <key>col</key><integer>3</integer>
1265           <key>file</key><integer>0</integer>
1266          </dict>
1267          <dict>
1268           <key>line</key><integer>54</integer>
1269           <key>col</key><integer>13</integer>
1270           <key>file</key><integer>0</integer>
1271          </dict>
1272         </array>
1273       </dict>
1274      </array>
1275    </dict>
1276    <dict>
1277     <key>kind</key><string>event</string>
1278     <key>location</key>
1279     <dict>
1280      <key>line</key><integer>54</integer>
1281      <key>col</key><integer>23</integer>
1282      <key>file</key><integer>0</integer>
1283     </dict>
1284     <key>ranges</key>
1285     <array>
1286       <array>
1287        <dict>
1288         <key>line</key><integer>54</integer>
1289         <key>col</key><integer>23</integer>
1290         <key>file</key><integer>0</integer>
1291        </dict>
1292        <dict>
1293         <key>line</key><integer>54</integer>
1294         <key>col</key><integer>82</integer>
1295         <key>file</key><integer>0</integer>
1296        </dict>
1297       </array>
1298     </array>
1299     <key>depth</key><integer>0</integer>
1300     <key>extended_message</key>
1301     <string>Call to function &apos;CFNumberCreate&apos; returns a Core Foundation object of type &apos;CFNumberRef&apos; with a +1 retain count</string>
1302     <key>message</key>
1303     <string>Call to function &apos;CFNumberCreate&apos; returns a Core Foundation object of type &apos;CFNumberRef&apos; with a +1 retain count</string>
1304    </dict>
1305    <dict>
1306     <key>kind</key><string>control</string>
1307     <key>edges</key>
1308      <array>
1309       <dict>
1310        <key>start</key>
1311         <array>
1312          <dict>
1313           <key>line</key><integer>54</integer>
1314           <key>col</key><integer>3</integer>
1315           <key>file</key><integer>0</integer>
1316          </dict>
1317          <dict>
1318           <key>line</key><integer>54</integer>
1319           <key>col</key><integer>13</integer>
1320           <key>file</key><integer>0</integer>
1321          </dict>
1322         </array>
1323        <key>end</key>
1324         <array>
1325          <dict>
1326           <key>line</key><integer>55</integer>
1327           <key>col</key><integer>3</integer>
1328           <key>file</key><integer>0</integer>
1329          </dict>
1330          <dict>
1331           <key>line</key><integer>55</integer>
1332           <key>col</key><integer>4</integer>
1333           <key>file</key><integer>0</integer>
1334          </dict>
1335         </array>
1336       </dict>
1337      </array>
1338    </dict>
1339    <dict>
1340     <key>kind</key><string>control</string>
1341     <key>edges</key>
1342      <array>
1343       <dict>
1344        <key>start</key>
1345         <array>
1346          <dict>
1347           <key>line</key><integer>55</integer>
1348           <key>col</key><integer>3</integer>
1349           <key>file</key><integer>0</integer>
1350          </dict>
1351          <dict>
1352           <key>line</key><integer>55</integer>
1353           <key>col</key><integer>4</integer>
1354           <key>file</key><integer>0</integer>
1355          </dict>
1356         </array>
1357        <key>end</key>
1358         <array>
1359          <dict>
1360           <key>line</key><integer>55</integer>
1361           <key>col</key><integer>7</integer>
1362           <key>file</key><integer>0</integer>
1363          </dict>
1364          <dict>
1365           <key>line</key><integer>55</integer>
1366           <key>col</key><integer>7</integer>
1367           <key>file</key><integer>0</integer>
1368          </dict>
1369         </array>
1370       </dict>
1371      </array>
1372    </dict>
1373    <dict>
1374     <key>kind</key><string>event</string>
1375     <key>location</key>
1376     <dict>
1377      <key>line</key><integer>55</integer>
1378      <key>col</key><integer>7</integer>
1379      <key>file</key><integer>0</integer>
1380     </dict>
1381     <key>ranges</key>
1382     <array>
1383       <array>
1384        <dict>
1385         <key>line</key><integer>55</integer>
1386         <key>col</key><integer>7</integer>
1387         <key>file</key><integer>0</integer>
1388        </dict>
1389        <dict>
1390         <key>line</key><integer>55</integer>
1391         <key>col</key><integer>7</integer>
1392         <key>file</key><integer>0</integer>
1393        </dict>
1394       </array>
1395     </array>
1396     <key>depth</key><integer>0</integer>
1397     <key>extended_message</key>
1398     <string>Assuming &apos;x&apos; is 0</string>
1399     <key>message</key>
1400     <string>Assuming &apos;x&apos; is 0</string>
1401    </dict>
1402    <dict>
1403     <key>kind</key><string>control</string>
1404     <key>edges</key>
1405      <array>
1406       <dict>
1407        <key>start</key>
1408         <array>
1409          <dict>
1410           <key>line</key><integer>55</integer>
1411           <key>col</key><integer>7</integer>
1412           <key>file</key><integer>0</integer>
1413          </dict>
1414          <dict>
1415           <key>line</key><integer>55</integer>
1416           <key>col</key><integer>7</integer>
1417           <key>file</key><integer>0</integer>
1418          </dict>
1419         </array>
1420        <key>end</key>
1421         <array>
1422          <dict>
1423           <key>line</key><integer>57</integer>
1424           <key>col</key><integer>3</integer>
1425           <key>file</key><integer>0</integer>
1426          </dict>
1427          <dict>
1428           <key>line</key><integer>57</integer>
1429           <key>col</key><integer>3</integer>
1430           <key>file</key><integer>0</integer>
1431          </dict>
1432         </array>
1433       </dict>
1434      </array>
1435    </dict>
1436    <dict>
1437     <key>kind</key><string>control</string>
1438     <key>edges</key>
1439      <array>
1440       <dict>
1441        <key>start</key>
1442         <array>
1443          <dict>
1444           <key>line</key><integer>57</integer>
1445           <key>col</key><integer>3</integer>
1446           <key>file</key><integer>0</integer>
1447          </dict>
1448          <dict>
1449           <key>line</key><integer>57</integer>
1450           <key>col</key><integer>3</integer>
1451           <key>file</key><integer>0</integer>
1452          </dict>
1453         </array>
1454        <key>end</key>
1455         <array>
1456          <dict>
1457           <key>line</key><integer>58</integer>
1458           <key>col</key><integer>1</integer>
1459           <key>file</key><integer>0</integer>
1460          </dict>
1461          <dict>
1462           <key>line</key><integer>58</integer>
1463           <key>col</key><integer>1</integer>
1464           <key>file</key><integer>0</integer>
1465          </dict>
1466         </array>
1467       </dict>
1468      </array>
1469    </dict>
1470    <dict>
1471     <key>kind</key><string>event</string>
1472     <key>location</key>
1473     <dict>
1474      <key>line</key><integer>58</integer>
1475      <key>col</key><integer>1</integer>
1476      <key>file</key><integer>0</integer>
1477     </dict>
1478     <key>depth</key><integer>0</integer>
1479     <key>extended_message</key>
1480     <string>Object leaked: object allocated and stored into &apos;value&apos; is not referenced later in this execution path and has a retain count of +1</string>
1481     <key>message</key>
1482     <string>Object leaked: object allocated and stored into &apos;value&apos; is not referenced later in this execution path and has a retain count of +1</string>
1483    </dict>
1484   </array>
1485   <key>description</key><string>Potential leak of an object stored into &apos;value&apos;</string>
1486   <key>category</key><string>Memory (Core Foundation/Objective-C/OSObject)</string>
1487   <key>type</key><string>Leak</string>
1488   <key>check_name</key><string>osx.cocoa.RetainCount</string>
1489   <!-- This hash is experimental and going to change! -->
1490   <key>issue_hash_content_of_line_in_context</key><string>29a10ca4af622b6146ca082e49d919d6</string>
1491  <key>issue_context_kind</key><string>function</string>
1492  <key>issue_context</key><string>rdar8331641</string>
1493  <key>issue_hash_function_offset</key><string>2</string>
1494  <key>location</key>
1495  <dict>
1496   <key>line</key><integer>58</integer>
1497   <key>col</key><integer>1</integer>
1498   <key>file</key><integer>0</integer>
1499  </dict>
1500  <key>ExecutedLines</key>
1501  <dict>
1502   <key>0</key>
1503   <array>
1504    <integer>52</integer>
1505    <integer>53</integer>
1506    <integer>54</integer>
1507    <integer>55</integer>
1508    <integer>57</integer>
1509    <integer>58</integer>
1510   </array>
1511  </dict>
1512  </dict>
1513 </array>
1514 <key>files</key>
1515 <array>
1516 </array>
1517</dict>
1518</plist>
1519