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>43</integer>
1251           <key>col</key><integer>3</integer>
1252           <key>file</key><integer>0</integer>
1253          </dict>
1254          <dict>
1255           <key>line</key><integer>43</integer>
1256           <key>col</key><integer>4</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>43</integer>
1264           <key>col</key><integer>7</integer>
1265           <key>file</key><integer>0</integer>
1266          </dict>
1267          <dict>
1268           <key>line</key><integer>43</integer>
1269           <key>col</key><integer>7</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>43</integer>
1281      <key>col</key><integer>7</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>43</integer>
1289         <key>col</key><integer>7</integer>
1290         <key>file</key><integer>0</integer>
1291        </dict>
1292        <dict>
1293         <key>line</key><integer>43</integer>
1294         <key>col</key><integer>12</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>Assuming &apos;a&apos; is not equal to 0</string>
1302     <key>message</key>
1303     <string>Assuming &apos;a&apos; is not equal to 0</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>43</integer>
1314           <key>col</key><integer>7</integer>
1315           <key>file</key><integer>0</integer>
1316          </dict>
1317          <dict>
1318           <key>line</key><integer>43</integer>
1319           <key>col</key><integer>7</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>46</integer>
1327           <key>col</key><integer>3</integer>
1328           <key>file</key><integer>0</integer>
1329          </dict>
1330          <dict>
1331           <key>line</key><integer>46</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>46</integer>
1348           <key>col</key><integer>3</integer>
1349           <key>file</key><integer>0</integer>
1350          </dict>
1351          <dict>
1352           <key>line</key><integer>46</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>46</integer>
1361           <key>col</key><integer>7</integer>
1362           <key>file</key><integer>0</integer>
1363          </dict>
1364          <dict>
1365           <key>line</key><integer>46</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>46</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>46</integer>
1386         <key>col</key><integer>7</integer>
1387         <key>file</key><integer>0</integer>
1388        </dict>
1389        <dict>
1390         <key>line</key><integer>46</integer>
1391         <key>col</key><integer>12</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;b&apos; is equal to 0</string>
1399     <key>message</key>
1400     <string>Assuming &apos;b&apos; is equal to 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>46</integer>
1411           <key>col</key><integer>7</integer>
1412           <key>file</key><integer>0</integer>
1413          </dict>
1414          <dict>
1415           <key>line</key><integer>46</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>49</integer>
1424           <key>col</key><integer>3</integer>
1425           <key>file</key><integer>0</integer>
1426          </dict>
1427          <dict>
1428           <key>line</key><integer>49</integer>
1429           <key>col</key><integer>5</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>event</string>
1438     <key>location</key>
1439     <dict>
1440      <key>line</key><integer>49</integer>
1441      <key>col</key><integer>3</integer>
1442      <key>file</key><integer>0</integer>
1443     </dict>
1444     <key>ranges</key>
1445     <array>
1446       <array>
1447        <dict>
1448         <key>line</key><integer>49</integer>
1449         <key>col</key><integer>3</integer>
1450         <key>file</key><integer>0</integer>
1451        </dict>
1452        <dict>
1453         <key>line</key><integer>49</integer>
1454         <key>col</key><integer>8</integer>
1455         <key>file</key><integer>0</integer>
1456        </dict>
1457       </array>
1458     </array>
1459     <key>depth</key><integer>0</integer>
1460     <key>extended_message</key>
1461     <string>&apos;p&apos; initialized to a null pointer value</string>
1462     <key>message</key>
1463     <string>&apos;p&apos; initialized to a null pointer value</string>
1464    </dict>
1465    <dict>
1466     <key>kind</key><string>control</string>
1467     <key>edges</key>
1468      <array>
1469       <dict>
1470        <key>start</key>
1471         <array>
1472          <dict>
1473           <key>line</key><integer>49</integer>
1474           <key>col</key><integer>3</integer>
1475           <key>file</key><integer>0</integer>
1476          </dict>
1477          <dict>
1478           <key>line</key><integer>49</integer>
1479           <key>col</key><integer>5</integer>
1480           <key>file</key><integer>0</integer>
1481          </dict>
1482         </array>
1483        <key>end</key>
1484         <array>
1485          <dict>
1486           <key>line</key><integer>50</integer>
1487           <key>col</key><integer>3</integer>
1488           <key>file</key><integer>0</integer>
1489          </dict>
1490          <dict>
1491           <key>line</key><integer>50</integer>
1492           <key>col</key><integer>3</integer>
1493           <key>file</key><integer>0</integer>
1494          </dict>
1495         </array>
1496       </dict>
1497      </array>
1498    </dict>
1499    <dict>
1500     <key>kind</key><string>control</string>
1501     <key>edges</key>
1502      <array>
1503       <dict>
1504        <key>start</key>
1505         <array>
1506          <dict>
1507           <key>line</key><integer>50</integer>
1508           <key>col</key><integer>3</integer>
1509           <key>file</key><integer>0</integer>
1510          </dict>
1511          <dict>
1512           <key>line</key><integer>50</integer>
1513           <key>col</key><integer>3</integer>
1514           <key>file</key><integer>0</integer>
1515          </dict>
1516         </array>
1517        <key>end</key>
1518         <array>
1519          <dict>
1520           <key>line</key><integer>50</integer>
1521           <key>col</key><integer>6</integer>
1522           <key>file</key><integer>0</integer>
1523          </dict>
1524          <dict>
1525           <key>line</key><integer>50</integer>
1526           <key>col</key><integer>6</integer>
1527           <key>file</key><integer>0</integer>
1528          </dict>
1529         </array>
1530       </dict>
1531      </array>
1532    </dict>
1533    <dict>
1534     <key>kind</key><string>event</string>
1535     <key>location</key>
1536     <dict>
1537      <key>line</key><integer>50</integer>
1538      <key>col</key><integer>6</integer>
1539      <key>file</key><integer>0</integer>
1540     </dict>
1541     <key>ranges</key>
1542     <array>
1543       <array>
1544        <dict>
1545         <key>line</key><integer>50</integer>
1546         <key>col</key><integer>4</integer>
1547         <key>file</key><integer>0</integer>
1548        </dict>
1549        <dict>
1550         <key>line</key><integer>50</integer>
1551         <key>col</key><integer>4</integer>
1552         <key>file</key><integer>0</integer>
1553        </dict>
1554       </array>
1555     </array>
1556     <key>depth</key><integer>0</integer>
1557     <key>extended_message</key>
1558     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
1559     <key>message</key>
1560     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
1561    </dict>
1562   </array>
1563   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
1564   <key>category</key><string>Logic error</string>
1565   <key>type</key><string>Dereference of null pointer</string>
1566   <key>check_name</key><string>core.NullDereference</string>
1567   <!-- This hash is experimental and going to change! -->
1568   <key>issue_hash_content_of_line_in_context</key><string>b12acffa40177b55b695aa2292533410</string>
1569  <key>issue_context_kind</key><string>function</string>
1570  <key>issue_context</key><string>test_assumptions</string>
1571  <key>issue_hash_function_offset</key><string>8</string>
1572  <key>location</key>
1573  <dict>
1574   <key>line</key><integer>50</integer>
1575   <key>col</key><integer>6</integer>
1576   <key>file</key><integer>0</integer>
1577  </dict>
1578  <key>ExecutedLines</key>
1579  <dict>
1580   <key>0</key>
1581   <array>
1582    <integer>41</integer>
1583    <integer>42</integer>
1584    <integer>43</integer>
1585    <integer>46</integer>
1586    <integer>49</integer>
1587    <integer>50</integer>
1588   </array>
1589  </dict>
1590  </dict>
1591  <dict>
1592   <key>path</key>
1593   <array>
1594    <dict>
1595     <key>kind</key><string>control</string>
1596     <key>edges</key>
1597      <array>
1598       <dict>
1599        <key>start</key>
1600         <array>
1601          <dict>
1602           <key>line</key><integer>55</integer>
1603           <key>col</key><integer>3</integer>
1604           <key>file</key><integer>0</integer>
1605          </dict>
1606          <dict>
1607           <key>line</key><integer>55</integer>
1608           <key>col</key><integer>5</integer>
1609           <key>file</key><integer>0</integer>
1610          </dict>
1611         </array>
1612        <key>end</key>
1613         <array>
1614          <dict>
1615           <key>line</key><integer>56</integer>
1616           <key>col</key><integer>3</integer>
1617           <key>file</key><integer>0</integer>
1618          </dict>
1619          <dict>
1620           <key>line</key><integer>56</integer>
1621           <key>col</key><integer>4</integer>
1622           <key>file</key><integer>0</integer>
1623          </dict>
1624         </array>
1625       </dict>
1626      </array>
1627    </dict>
1628    <dict>
1629     <key>kind</key><string>control</string>
1630     <key>edges</key>
1631      <array>
1632       <dict>
1633        <key>start</key>
1634         <array>
1635          <dict>
1636           <key>line</key><integer>56</integer>
1637           <key>col</key><integer>3</integer>
1638           <key>file</key><integer>0</integer>
1639          </dict>
1640          <dict>
1641           <key>line</key><integer>56</integer>
1642           <key>col</key><integer>4</integer>
1643           <key>file</key><integer>0</integer>
1644          </dict>
1645         </array>
1646        <key>end</key>
1647         <array>
1648          <dict>
1649           <key>line</key><integer>56</integer>
1650           <key>col</key><integer>7</integer>
1651           <key>file</key><integer>0</integer>
1652          </dict>
1653          <dict>
1654           <key>line</key><integer>56</integer>
1655           <key>col</key><integer>7</integer>
1656           <key>file</key><integer>0</integer>
1657          </dict>
1658         </array>
1659       </dict>
1660      </array>
1661    </dict>
1662    <dict>
1663     <key>kind</key><string>event</string>
1664     <key>location</key>
1665     <dict>
1666      <key>line</key><integer>56</integer>
1667      <key>col</key><integer>7</integer>
1668      <key>file</key><integer>0</integer>
1669     </dict>
1670     <key>ranges</key>
1671     <array>
1672       <array>
1673        <dict>
1674         <key>line</key><integer>56</integer>
1675         <key>col</key><integer>7</integer>
1676         <key>file</key><integer>0</integer>
1677        </dict>
1678        <dict>
1679         <key>line</key><integer>56</integer>
1680         <key>col</key><integer>27</integer>
1681         <key>file</key><integer>0</integer>
1682        </dict>
1683       </array>
1684     </array>
1685     <key>depth</key><integer>0</integer>
1686     <key>extended_message</key>
1687     <string>Value assigned to &apos;p&apos;</string>
1688     <key>message</key>
1689     <string>Value assigned to &apos;p&apos;</string>
1690    </dict>
1691    <dict>
1692     <key>kind</key><string>event</string>
1693     <key>location</key>
1694     <dict>
1695      <key>line</key><integer>56</integer>
1696      <key>col</key><integer>7</integer>
1697      <key>file</key><integer>0</integer>
1698     </dict>
1699     <key>ranges</key>
1700     <array>
1701       <array>
1702        <dict>
1703         <key>line</key><integer>56</integer>
1704         <key>col</key><integer>7</integer>
1705         <key>file</key><integer>0</integer>
1706        </dict>
1707        <dict>
1708         <key>line</key><integer>56</integer>
1709         <key>col</key><integer>7</integer>
1710         <key>file</key><integer>0</integer>
1711        </dict>
1712       </array>
1713     </array>
1714     <key>depth</key><integer>0</integer>
1715     <key>extended_message</key>
1716     <string>Assuming &apos;p&apos; is null</string>
1717     <key>message</key>
1718     <string>Assuming &apos;p&apos; is null</string>
1719    </dict>
1720    <dict>
1721     <key>kind</key><string>event</string>
1722     <key>location</key>
1723     <dict>
1724      <key>line</key><integer>56</integer>
1725      <key>col</key><integer>7</integer>
1726      <key>file</key><integer>0</integer>
1727     </dict>
1728     <key>ranges</key>
1729     <array>
1730       <array>
1731        <dict>
1732         <key>line</key><integer>56</integer>
1733         <key>col</key><integer>7</integer>
1734         <key>file</key><integer>0</integer>
1735        </dict>
1736        <dict>
1737         <key>line</key><integer>56</integer>
1738         <key>col</key><integer>27</integer>
1739         <key>file</key><integer>0</integer>
1740        </dict>
1741       </array>
1742     </array>
1743     <key>depth</key><integer>0</integer>
1744     <key>extended_message</key>
1745     <string>Assuming pointer value is null</string>
1746     <key>message</key>
1747     <string>Assuming pointer value is null</string>
1748    </dict>
1749    <dict>
1750     <key>kind</key><string>control</string>
1751     <key>edges</key>
1752      <array>
1753       <dict>
1754        <key>start</key>
1755         <array>
1756          <dict>
1757           <key>line</key><integer>56</integer>
1758           <key>col</key><integer>7</integer>
1759           <key>file</key><integer>0</integer>
1760          </dict>
1761          <dict>
1762           <key>line</key><integer>56</integer>
1763           <key>col</key><integer>7</integer>
1764           <key>file</key><integer>0</integer>
1765          </dict>
1766         </array>
1767        <key>end</key>
1768         <array>
1769          <dict>
1770           <key>line</key><integer>58</integer>
1771           <key>col</key><integer>3</integer>
1772           <key>file</key><integer>0</integer>
1773          </dict>
1774          <dict>
1775           <key>line</key><integer>58</integer>
1776           <key>col</key><integer>8</integer>
1777           <key>file</key><integer>0</integer>
1778          </dict>
1779         </array>
1780       </dict>
1781      </array>
1782    </dict>
1783    <dict>
1784     <key>kind</key><string>control</string>
1785     <key>edges</key>
1786      <array>
1787       <dict>
1788        <key>start</key>
1789         <array>
1790          <dict>
1791           <key>line</key><integer>58</integer>
1792           <key>col</key><integer>3</integer>
1793           <key>file</key><integer>0</integer>
1794          </dict>
1795          <dict>
1796           <key>line</key><integer>58</integer>
1797           <key>col</key><integer>8</integer>
1798           <key>file</key><integer>0</integer>
1799          </dict>
1800         </array>
1801        <key>end</key>
1802         <array>
1803          <dict>
1804           <key>line</key><integer>58</integer>
1805           <key>col</key><integer>10</integer>
1806           <key>file</key><integer>0</integer>
1807          </dict>
1808          <dict>
1809           <key>line</key><integer>58</integer>
1810           <key>col</key><integer>10</integer>
1811           <key>file</key><integer>0</integer>
1812          </dict>
1813         </array>
1814       </dict>
1815      </array>
1816    </dict>
1817    <dict>
1818     <key>kind</key><string>event</string>
1819     <key>location</key>
1820     <dict>
1821      <key>line</key><integer>58</integer>
1822      <key>col</key><integer>10</integer>
1823      <key>file</key><integer>0</integer>
1824     </dict>
1825     <key>ranges</key>
1826     <array>
1827       <array>
1828        <dict>
1829         <key>line</key><integer>58</integer>
1830         <key>col</key><integer>11</integer>
1831         <key>file</key><integer>0</integer>
1832        </dict>
1833        <dict>
1834         <key>line</key><integer>58</integer>
1835         <key>col</key><integer>11</integer>
1836         <key>file</key><integer>0</integer>
1837        </dict>
1838       </array>
1839     </array>
1840     <key>depth</key><integer>0</integer>
1841     <key>extended_message</key>
1842     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
1843     <key>message</key>
1844     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
1845    </dict>
1846   </array>
1847   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
1848   <key>category</key><string>Logic error</string>
1849   <key>type</key><string>Dereference of null pointer</string>
1850   <key>check_name</key><string>core.NullDereference</string>
1851   <!-- This hash is experimental and going to change! -->
1852   <key>issue_hash_content_of_line_in_context</key><string>c0a32b8291b0fc7230f847f05f415625</string>
1853  <key>issue_context_kind</key><string>function</string>
1854  <key>issue_context</key><string>test_cond_assign</string>
1855  <key>issue_hash_function_offset</key><string>4</string>
1856  <key>location</key>
1857  <dict>
1858   <key>line</key><integer>58</integer>
1859   <key>col</key><integer>10</integer>
1860   <key>file</key><integer>0</integer>
1861  </dict>
1862  <key>ExecutedLines</key>
1863  <dict>
1864   <key>0</key>
1865   <array>
1866    <integer>54</integer>
1867    <integer>55</integer>
1868    <integer>56</integer>
1869    <integer>58</integer>
1870   </array>
1871  </dict>
1872  </dict>
1873  <dict>
1874   <key>path</key>
1875   <array>
1876    <dict>
1877     <key>kind</key><string>control</string>
1878     <key>edges</key>
1879      <array>
1880       <dict>
1881        <key>start</key>
1882         <array>
1883          <dict>
1884           <key>line</key><integer>75</integer>
1885           <key>col</key><integer>3</integer>
1886           <key>file</key><integer>0</integer>
1887          </dict>
1888          <dict>
1889           <key>line</key><integer>75</integer>
1890           <key>col</key><integer>4</integer>
1891           <key>file</key><integer>0</integer>
1892          </dict>
1893         </array>
1894        <key>end</key>
1895         <array>
1896          <dict>
1897           <key>line</key><integer>75</integer>
1898           <key>col</key><integer>7</integer>
1899           <key>file</key><integer>0</integer>
1900          </dict>
1901          <dict>
1902           <key>line</key><integer>75</integer>
1903           <key>col</key><integer>7</integer>
1904           <key>file</key><integer>0</integer>
1905          </dict>
1906         </array>
1907       </dict>
1908      </array>
1909    </dict>
1910    <dict>
1911     <key>kind</key><string>event</string>
1912     <key>location</key>
1913     <dict>
1914      <key>line</key><integer>75</integer>
1915      <key>col</key><integer>7</integer>
1916      <key>file</key><integer>0</integer>
1917     </dict>
1918     <key>ranges</key>
1919     <array>
1920       <array>
1921        <dict>
1922         <key>line</key><integer>75</integer>
1923         <key>col</key><integer>7</integer>
1924         <key>file</key><integer>0</integer>
1925        </dict>
1926        <dict>
1927         <key>line</key><integer>75</integer>
1928         <key>col</key><integer>14</integer>
1929         <key>file</key><integer>0</integer>
1930        </dict>
1931       </array>
1932     </array>
1933     <key>depth</key><integer>0</integer>
1934     <key>extended_message</key>
1935     <string>Assuming the condition is true</string>
1936     <key>message</key>
1937     <string>Assuming the condition is true</string>
1938    </dict>
1939    <dict>
1940     <key>kind</key><string>control</string>
1941     <key>edges</key>
1942      <array>
1943       <dict>
1944        <key>start</key>
1945         <array>
1946          <dict>
1947           <key>line</key><integer>75</integer>
1948           <key>col</key><integer>7</integer>
1949           <key>file</key><integer>0</integer>
1950          </dict>
1951          <dict>
1952           <key>line</key><integer>75</integer>
1953           <key>col</key><integer>7</integer>
1954           <key>file</key><integer>0</integer>
1955          </dict>
1956         </array>
1957        <key>end</key>
1958         <array>
1959          <dict>
1960           <key>line</key><integer>76</integer>
1961           <key>col</key><integer>5</integer>
1962           <key>file</key><integer>0</integer>
1963          </dict>
1964          <dict>
1965           <key>line</key><integer>76</integer>
1966           <key>col</key><integer>7</integer>
1967           <key>file</key><integer>0</integer>
1968          </dict>
1969         </array>
1970       </dict>
1971      </array>
1972    </dict>
1973    <dict>
1974     <key>kind</key><string>event</string>
1975     <key>location</key>
1976     <dict>
1977      <key>line</key><integer>76</integer>
1978      <key>col</key><integer>5</integer>
1979      <key>file</key><integer>0</integer>
1980     </dict>
1981     <key>ranges</key>
1982     <array>
1983       <array>
1984        <dict>
1985         <key>line</key><integer>76</integer>
1986         <key>col</key><integer>5</integer>
1987         <key>file</key><integer>0</integer>
1988        </dict>
1989        <dict>
1990         <key>line</key><integer>76</integer>
1991         <key>col</key><integer>10</integer>
1992         <key>file</key><integer>0</integer>
1993        </dict>
1994       </array>
1995     </array>
1996     <key>depth</key><integer>0</integer>
1997     <key>extended_message</key>
1998     <string>&apos;p&apos; initialized to a null pointer value</string>
1999     <key>message</key>
2000     <string>&apos;p&apos; initialized to a null pointer value</string>
2001    </dict>
2002    <dict>
2003     <key>kind</key><string>control</string>
2004     <key>edges</key>
2005      <array>
2006       <dict>
2007        <key>start</key>
2008         <array>
2009          <dict>
2010           <key>line</key><integer>76</integer>
2011           <key>col</key><integer>5</integer>
2012           <key>file</key><integer>0</integer>
2013          </dict>
2014          <dict>
2015           <key>line</key><integer>76</integer>
2016           <key>col</key><integer>7</integer>
2017           <key>file</key><integer>0</integer>
2018          </dict>
2019         </array>
2020        <key>end</key>
2021         <array>
2022          <dict>
2023           <key>line</key><integer>77</integer>
2024           <key>col</key><integer>5</integer>
2025           <key>file</key><integer>0</integer>
2026          </dict>
2027          <dict>
2028           <key>line</key><integer>77</integer>
2029           <key>col</key><integer>5</integer>
2030           <key>file</key><integer>0</integer>
2031          </dict>
2032         </array>
2033       </dict>
2034      </array>
2035    </dict>
2036    <dict>
2037     <key>kind</key><string>control</string>
2038     <key>edges</key>
2039      <array>
2040       <dict>
2041        <key>start</key>
2042         <array>
2043          <dict>
2044           <key>line</key><integer>77</integer>
2045           <key>col</key><integer>5</integer>
2046           <key>file</key><integer>0</integer>
2047          </dict>
2048          <dict>
2049           <key>line</key><integer>77</integer>
2050           <key>col</key><integer>5</integer>
2051           <key>file</key><integer>0</integer>
2052          </dict>
2053         </array>
2054        <key>end</key>
2055         <array>
2056          <dict>
2057           <key>line</key><integer>77</integer>
2058           <key>col</key><integer>8</integer>
2059           <key>file</key><integer>0</integer>
2060          </dict>
2061          <dict>
2062           <key>line</key><integer>77</integer>
2063           <key>col</key><integer>8</integer>
2064           <key>file</key><integer>0</integer>
2065          </dict>
2066         </array>
2067       </dict>
2068      </array>
2069    </dict>
2070    <dict>
2071     <key>kind</key><string>event</string>
2072     <key>location</key>
2073     <dict>
2074      <key>line</key><integer>77</integer>
2075      <key>col</key><integer>8</integer>
2076      <key>file</key><integer>0</integer>
2077     </dict>
2078     <key>ranges</key>
2079     <array>
2080       <array>
2081        <dict>
2082         <key>line</key><integer>77</integer>
2083         <key>col</key><integer>6</integer>
2084         <key>file</key><integer>0</integer>
2085        </dict>
2086        <dict>
2087         <key>line</key><integer>77</integer>
2088         <key>col</key><integer>6</integer>
2089         <key>file</key><integer>0</integer>
2090        </dict>
2091       </array>
2092     </array>
2093     <key>depth</key><integer>0</integer>
2094     <key>extended_message</key>
2095     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
2096     <key>message</key>
2097     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
2098    </dict>
2099   </array>
2100   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
2101   <key>category</key><string>Logic error</string>
2102   <key>type</key><string>Dereference of null pointer</string>
2103   <key>check_name</key><string>core.NullDereference</string>
2104   <!-- This hash is experimental and going to change! -->
2105   <key>issue_hash_content_of_line_in_context</key><string>ea1d5db6b4c380a432c88139fdd18f42</string>
2106  <key>issue_context_kind</key><string>Objective-C method</string>
2107  <key>issue_context</key><string>test</string>
2108  <key>issue_hash_function_offset</key><string>3</string>
2109  <key>location</key>
2110  <dict>
2111   <key>line</key><integer>77</integer>
2112   <key>col</key><integer>8</integer>
2113   <key>file</key><integer>0</integer>
2114  </dict>
2115  <key>ExecutedLines</key>
2116  <dict>
2117   <key>0</key>
2118   <array>
2119    <integer>74</integer>
2120    <integer>75</integer>
2121    <integer>76</integer>
2122    <integer>77</integer>
2123   </array>
2124  </dict>
2125  </dict>
2126  <dict>
2127   <key>path</key>
2128   <array>
2129    <dict>
2130     <key>kind</key><string>event</string>
2131     <key>location</key>
2132     <dict>
2133      <key>line</key><integer>86</integer>
2134      <key>col</key><integer>8</integer>
2135      <key>file</key><integer>0</integer>
2136     </dict>
2137     <key>ranges</key>
2138     <array>
2139       <array>
2140        <dict>
2141         <key>line</key><integer>86</integer>
2142         <key>col</key><integer>8</integer>
2143         <key>file</key><integer>0</integer>
2144        </dict>
2145        <dict>
2146         <key>line</key><integer>86</integer>
2147         <key>col</key><integer>10</integer>
2148         <key>file</key><integer>0</integer>
2149        </dict>
2150       </array>
2151       <array>
2152        <dict>
2153         <key>line</key><integer>86</integer>
2154         <key>col</key><integer>14</integer>
2155         <key>file</key><integer>0</integer>
2156        </dict>
2157        <dict>
2158         <key>line</key><integer>86</integer>
2159         <key>col</key><integer>40</integer>
2160         <key>file</key><integer>0</integer>
2161        </dict>
2162       </array>
2163     </array>
2164     <key>depth</key><integer>0</integer>
2165     <key>extended_message</key>
2166     <string>Value stored to &apos;foo&apos; during its initialization is never read</string>
2167     <key>message</key>
2168     <string>Value stored to &apos;foo&apos; during its initialization is never read</string>
2169    </dict>
2170   </array>
2171   <key>description</key><string>Value stored to &apos;foo&apos; during its initialization is never read</string>
2172   <key>category</key><string>Dead store</string>
2173   <key>type</key><string>Dead initialization</string>
2174   <key>check_name</key><string>deadcode.DeadStores</string>
2175   <!-- This hash is experimental and going to change! -->
2176   <key>issue_hash_content_of_line_in_context</key><string>3dd1ebf91fa4e92eeec82faaeb48beda</string>
2177  <key>issue_context_kind</key><string>Objective-C method</string>
2178  <key>issue_context</key><string>test2</string>
2179  <key>issue_hash_function_offset</key><string>2</string>
2180  <key>location</key>
2181  <dict>
2182   <key>line</key><integer>86</integer>
2183   <key>col</key><integer>8</integer>
2184   <key>file</key><integer>0</integer>
2185  </dict>
2186  <key>ExecutedLines</key>
2187  <dict>
2188   <key>0</key>
2189   <array>
2190    <integer>86</integer>
2191   </array>
2192  </dict>
2193  </dict>
2194  <dict>
2195   <key>path</key>
2196   <array>
2197    <dict>
2198     <key>kind</key><string>control</string>
2199     <key>edges</key>
2200      <array>
2201       <dict>
2202        <key>start</key>
2203         <array>
2204          <dict>
2205           <key>line</key><integer>85</integer>
2206           <key>col</key><integer>3</integer>
2207           <key>file</key><integer>0</integer>
2208          </dict>
2209          <dict>
2210           <key>line</key><integer>85</integer>
2211           <key>col</key><integer>4</integer>
2212           <key>file</key><integer>0</integer>
2213          </dict>
2214         </array>
2215        <key>end</key>
2216         <array>
2217          <dict>
2218           <key>line</key><integer>85</integer>
2219           <key>col</key><integer>7</integer>
2220           <key>file</key><integer>0</integer>
2221          </dict>
2222          <dict>
2223           <key>line</key><integer>85</integer>
2224           <key>col</key><integer>21</integer>
2225           <key>file</key><integer>0</integer>
2226          </dict>
2227         </array>
2228       </dict>
2229      </array>
2230    </dict>
2231    <dict>
2232     <key>kind</key><string>event</string>
2233     <key>location</key>
2234     <dict>
2235      <key>line</key><integer>85</integer>
2236      <key>col</key><integer>7</integer>
2237      <key>file</key><integer>0</integer>
2238     </dict>
2239     <key>ranges</key>
2240     <array>
2241       <array>
2242        <dict>
2243         <key>line</key><integer>85</integer>
2244         <key>col</key><integer>7</integer>
2245         <key>file</key><integer>0</integer>
2246        </dict>
2247        <dict>
2248         <key>line</key><integer>85</integer>
2249         <key>col</key><integer>23</integer>
2250         <key>file</key><integer>0</integer>
2251        </dict>
2252       </array>
2253     </array>
2254     <key>depth</key><integer>0</integer>
2255     <key>extended_message</key>
2256     <string>Assuming the condition is true</string>
2257     <key>message</key>
2258     <string>Assuming the condition is true</string>
2259    </dict>
2260    <dict>
2261     <key>kind</key><string>control</string>
2262     <key>edges</key>
2263      <array>
2264       <dict>
2265        <key>start</key>
2266         <array>
2267          <dict>
2268           <key>line</key><integer>85</integer>
2269           <key>col</key><integer>7</integer>
2270           <key>file</key><integer>0</integer>
2271          </dict>
2272          <dict>
2273           <key>line</key><integer>85</integer>
2274           <key>col</key><integer>21</integer>
2275           <key>file</key><integer>0</integer>
2276          </dict>
2277         </array>
2278        <key>end</key>
2279         <array>
2280          <dict>
2281           <key>line</key><integer>86</integer>
2282           <key>col</key><integer>5</integer>
2283           <key>file</key><integer>0</integer>
2284          </dict>
2285          <dict>
2286           <key>line</key><integer>86</integer>
2287           <key>col</key><integer>6</integer>
2288           <key>file</key><integer>0</integer>
2289          </dict>
2290         </array>
2291       </dict>
2292      </array>
2293    </dict>
2294    <dict>
2295     <key>kind</key><string>event</string>
2296     <key>location</key>
2297     <dict>
2298      <key>line</key><integer>86</integer>
2299      <key>col</key><integer>14</integer>
2300      <key>file</key><integer>0</integer>
2301     </dict>
2302     <key>ranges</key>
2303     <array>
2304       <array>
2305        <dict>
2306         <key>line</key><integer>86</integer>
2307         <key>col</key><integer>14</integer>
2308         <key>file</key><integer>0</integer>
2309        </dict>
2310        <dict>
2311         <key>line</key><integer>86</integer>
2312         <key>col</key><integer>40</integer>
2313         <key>file</key><integer>0</integer>
2314        </dict>
2315       </array>
2316     </array>
2317     <key>depth</key><integer>0</integer>
2318     <key>extended_message</key>
2319     <string>Method returns an Objective-C object with a +1 retain count</string>
2320     <key>message</key>
2321     <string>Method returns an Objective-C object with a +1 retain count</string>
2322    </dict>
2323    <dict>
2324     <key>kind</key><string>control</string>
2325     <key>edges</key>
2326      <array>
2327       <dict>
2328        <key>start</key>
2329         <array>
2330          <dict>
2331           <key>line</key><integer>86</integer>
2332           <key>col</key><integer>5</integer>
2333           <key>file</key><integer>0</integer>
2334          </dict>
2335          <dict>
2336           <key>line</key><integer>86</integer>
2337           <key>col</key><integer>6</integer>
2338           <key>file</key><integer>0</integer>
2339          </dict>
2340         </array>
2341        <key>end</key>
2342         <array>
2343          <dict>
2344           <key>line</key><integer>88</integer>
2345           <key>col</key><integer>9</integer>
2346           <key>file</key><integer>0</integer>
2347          </dict>
2348          <dict>
2349           <key>line</key><integer>88</integer>
2350           <key>col</key><integer>9</integer>
2351           <key>file</key><integer>0</integer>
2352          </dict>
2353         </array>
2354       </dict>
2355      </array>
2356    </dict>
2357    <dict>
2358     <key>kind</key><string>event</string>
2359     <key>location</key>
2360     <dict>
2361      <key>line</key><integer>88</integer>
2362      <key>col</key><integer>9</integer>
2363      <key>file</key><integer>0</integer>
2364     </dict>
2365     <key>depth</key><integer>0</integer>
2366     <key>extended_message</key>
2367     <string>Object leaked: object allocated and stored into &apos;foo&apos; is not referenced later in this execution path and has a retain count of +1</string>
2368     <key>message</key>
2369     <string>Object leaked: object allocated and stored into &apos;foo&apos; is not referenced later in this execution path and has a retain count of +1</string>
2370    </dict>
2371   </array>
2372   <key>description</key><string>Potential leak of an object stored into &apos;foo&apos;</string>
2373   <key>category</key><string>Memory (Core Foundation/Objective-C/OSObject)</string>
2374   <key>type</key><string>Leak</string>
2375   <key>check_name</key><string>osx.cocoa.RetainCount</string>
2376   <!-- This hash is experimental and going to change! -->
2377   <key>issue_hash_content_of_line_in_context</key><string>f533db5cbb9c20d171f9f92105789dc4</string>
2378  <key>issue_context_kind</key><string>Objective-C method</string>
2379  <key>issue_context</key><string>test2</string>
2380  <key>issue_hash_function_offset</key><string>2</string>
2381  <key>location</key>
2382  <dict>
2383   <key>line</key><integer>88</integer>
2384   <key>col</key><integer>9</integer>
2385   <key>file</key><integer>0</integer>
2386  </dict>
2387  <key>ExecutedLines</key>
2388  <dict>
2389   <key>0</key>
2390   <array>
2391    <integer>84</integer>
2392    <integer>85</integer>
2393    <integer>86</integer>
2394    <integer>88</integer>
2395   </array>
2396  </dict>
2397  </dict>
2398  <dict>
2399   <key>path</key>
2400   <array>
2401    <dict>
2402     <key>kind</key><string>event</string>
2403     <key>location</key>
2404     <dict>
2405      <key>line</key><integer>95</integer>
2406      <key>col</key><integer>24</integer>
2407      <key>file</key><integer>0</integer>
2408     </dict>
2409     <key>ranges</key>
2410     <array>
2411       <array>
2412        <dict>
2413         <key>line</key><integer>95</integer>
2414         <key>col</key><integer>24</integer>
2415         <key>file</key><integer>0</integer>
2416        </dict>
2417        <dict>
2418         <key>line</key><integer>95</integer>
2419         <key>col</key><integer>28</integer>
2420         <key>file</key><integer>0</integer>
2421        </dict>
2422       </array>
2423     </array>
2424     <key>depth</key><integer>0</integer>
2425     <key>extended_message</key>
2426     <string>Entering loop body</string>
2427     <key>message</key>
2428     <string>Entering loop body</string>
2429    </dict>
2430    <dict>
2431     <key>kind</key><string>control</string>
2432     <key>edges</key>
2433      <array>
2434       <dict>
2435        <key>start</key>
2436         <array>
2437          <dict>
2438           <key>line</key><integer>95</integer>
2439           <key>col</key><integer>3</integer>
2440           <key>file</key><integer>0</integer>
2441          </dict>
2442          <dict>
2443           <key>line</key><integer>95</integer>
2444           <key>col</key><integer>5</integer>
2445           <key>file</key><integer>0</integer>
2446          </dict>
2447         </array>
2448        <key>end</key>
2449         <array>
2450          <dict>
2451           <key>line</key><integer>96</integer>
2452           <key>col</key><integer>4</integer>
2453           <key>file</key><integer>0</integer>
2454          </dict>
2455          <dict>
2456           <key>line</key><integer>96</integer>
2457           <key>col</key><integer>5</integer>
2458           <key>file</key><integer>0</integer>
2459          </dict>
2460         </array>
2461       </dict>
2462      </array>
2463    </dict>
2464    <dict>
2465     <key>kind</key><string>control</string>
2466     <key>edges</key>
2467      <array>
2468       <dict>
2469        <key>start</key>
2470         <array>
2471          <dict>
2472           <key>line</key><integer>96</integer>
2473           <key>col</key><integer>4</integer>
2474           <key>file</key><integer>0</integer>
2475          </dict>
2476          <dict>
2477           <key>line</key><integer>96</integer>
2478           <key>col</key><integer>5</integer>
2479           <key>file</key><integer>0</integer>
2480          </dict>
2481         </array>
2482        <key>end</key>
2483         <array>
2484          <dict>
2485           <key>line</key><integer>96</integer>
2486           <key>col</key><integer>8</integer>
2487           <key>file</key><integer>0</integer>
2488          </dict>
2489          <dict>
2490           <key>line</key><integer>96</integer>
2491           <key>col</key><integer>8</integer>
2492           <key>file</key><integer>0</integer>
2493          </dict>
2494         </array>
2495       </dict>
2496      </array>
2497    </dict>
2498    <dict>
2499     <key>kind</key><string>pop-up</string>
2500     <key>location</key>
2501     <dict>
2502      <key>line</key><integer>96</integer>
2503      <key>col</key><integer>8</integer>
2504      <key>file</key><integer>0</integer>
2505     </dict>
2506     <key>ranges</key>
2507     <array>
2508       <array>
2509        <dict>
2510         <key>line</key><integer>96</integer>
2511         <key>col</key><integer>8</integer>
2512         <key>file</key><integer>0</integer>
2513        </dict>
2514        <dict>
2515         <key>line</key><integer>96</integer>
2516         <key>col</key><integer>8</integer>
2517         <key>file</key><integer>0</integer>
2518        </dict>
2519       </array>
2520     </array>
2521     <key>extended_message</key>
2522     <string>&apos;i&apos; is not equal to 1</string>
2523     <key>message</key>
2524     <string>&apos;i&apos; is not equal to 1</string>
2525    </dict>
2526    <dict>
2527     <key>kind</key><string>control</string>
2528     <key>edges</key>
2529      <array>
2530       <dict>
2531        <key>start</key>
2532         <array>
2533          <dict>
2534           <key>line</key><integer>96</integer>
2535           <key>col</key><integer>8</integer>
2536           <key>file</key><integer>0</integer>
2537          </dict>
2538          <dict>
2539           <key>line</key><integer>96</integer>
2540           <key>col</key><integer>8</integer>
2541           <key>file</key><integer>0</integer>
2542          </dict>
2543         </array>
2544        <key>end</key>
2545         <array>
2546          <dict>
2547           <key>line</key><integer>100</integer>
2548           <key>col</key><integer>3</integer>
2549           <key>file</key><integer>0</integer>
2550          </dict>
2551          <dict>
2552           <key>line</key><integer>100</integer>
2553           <key>col</key><integer>3</integer>
2554           <key>file</key><integer>0</integer>
2555          </dict>
2556         </array>
2557       </dict>
2558      </array>
2559    </dict>
2560    <dict>
2561     <key>kind</key><string>control</string>
2562     <key>edges</key>
2563      <array>
2564       <dict>
2565        <key>start</key>
2566         <array>
2567          <dict>
2568           <key>line</key><integer>100</integer>
2569           <key>col</key><integer>3</integer>
2570           <key>file</key><integer>0</integer>
2571          </dict>
2572          <dict>
2573           <key>line</key><integer>100</integer>
2574           <key>col</key><integer>3</integer>
2575           <key>file</key><integer>0</integer>
2576          </dict>
2577         </array>
2578        <key>end</key>
2579         <array>
2580          <dict>
2581           <key>line</key><integer>95</integer>
2582           <key>col</key><integer>3</integer>
2583           <key>file</key><integer>0</integer>
2584          </dict>
2585          <dict>
2586           <key>line</key><integer>95</integer>
2587           <key>col</key><integer>5</integer>
2588           <key>file</key><integer>0</integer>
2589          </dict>
2590         </array>
2591       </dict>
2592      </array>
2593    </dict>
2594    <dict>
2595     <key>kind</key><string>event</string>
2596     <key>location</key>
2597     <dict>
2598      <key>line</key><integer>95</integer>
2599      <key>col</key><integer>3</integer>
2600      <key>file</key><integer>0</integer>
2601     </dict>
2602     <key>ranges</key>
2603     <array>
2604       <array>
2605        <dict>
2606         <key>line</key><integer>95</integer>
2607         <key>col</key><integer>3</integer>
2608         <key>file</key><integer>0</integer>
2609        </dict>
2610        <dict>
2611         <key>line</key><integer>95</integer>
2612         <key>col</key><integer>5</integer>
2613         <key>file</key><integer>0</integer>
2614        </dict>
2615       </array>
2616     </array>
2617     <key>depth</key><integer>0</integer>
2618     <key>extended_message</key>
2619     <string>Looping back to the head of the loop</string>
2620     <key>message</key>
2621     <string>Looping back to the head of the loop</string>
2622    </dict>
2623    <dict>
2624     <key>kind</key><string>event</string>
2625     <key>location</key>
2626     <dict>
2627      <key>line</key><integer>95</integer>
2628      <key>col</key><integer>24</integer>
2629      <key>file</key><integer>0</integer>
2630     </dict>
2631     <key>ranges</key>
2632     <array>
2633       <array>
2634        <dict>
2635         <key>line</key><integer>95</integer>
2636         <key>col</key><integer>24</integer>
2637         <key>file</key><integer>0</integer>
2638        </dict>
2639        <dict>
2640         <key>line</key><integer>95</integer>
2641         <key>col</key><integer>28</integer>
2642         <key>file</key><integer>0</integer>
2643        </dict>
2644       </array>
2645     </array>
2646     <key>depth</key><integer>0</integer>
2647     <key>extended_message</key>
2648     <string>Entering loop body</string>
2649     <key>message</key>
2650     <string>Entering loop body</string>
2651    </dict>
2652    <dict>
2653     <key>kind</key><string>control</string>
2654     <key>edges</key>
2655      <array>
2656       <dict>
2657        <key>start</key>
2658         <array>
2659          <dict>
2660           <key>line</key><integer>95</integer>
2661           <key>col</key><integer>3</integer>
2662           <key>file</key><integer>0</integer>
2663          </dict>
2664          <dict>
2665           <key>line</key><integer>95</integer>
2666           <key>col</key><integer>5</integer>
2667           <key>file</key><integer>0</integer>
2668          </dict>
2669         </array>
2670        <key>end</key>
2671         <array>
2672          <dict>
2673           <key>line</key><integer>96</integer>
2674           <key>col</key><integer>4</integer>
2675           <key>file</key><integer>0</integer>
2676          </dict>
2677          <dict>
2678           <key>line</key><integer>96</integer>
2679           <key>col</key><integer>5</integer>
2680           <key>file</key><integer>0</integer>
2681          </dict>
2682         </array>
2683       </dict>
2684      </array>
2685    </dict>
2686    <dict>
2687     <key>kind</key><string>control</string>
2688     <key>edges</key>
2689      <array>
2690       <dict>
2691        <key>start</key>
2692         <array>
2693          <dict>
2694           <key>line</key><integer>96</integer>
2695           <key>col</key><integer>4</integer>
2696           <key>file</key><integer>0</integer>
2697          </dict>
2698          <dict>
2699           <key>line</key><integer>96</integer>
2700           <key>col</key><integer>5</integer>
2701           <key>file</key><integer>0</integer>
2702          </dict>
2703         </array>
2704        <key>end</key>
2705         <array>
2706          <dict>
2707           <key>line</key><integer>96</integer>
2708           <key>col</key><integer>8</integer>
2709           <key>file</key><integer>0</integer>
2710          </dict>
2711          <dict>
2712           <key>line</key><integer>96</integer>
2713           <key>col</key><integer>8</integer>
2714           <key>file</key><integer>0</integer>
2715          </dict>
2716         </array>
2717       </dict>
2718      </array>
2719    </dict>
2720    <dict>
2721     <key>kind</key><string>pop-up</string>
2722     <key>location</key>
2723     <dict>
2724      <key>line</key><integer>96</integer>
2725      <key>col</key><integer>8</integer>
2726      <key>file</key><integer>0</integer>
2727     </dict>
2728     <key>ranges</key>
2729     <array>
2730       <array>
2731        <dict>
2732         <key>line</key><integer>96</integer>
2733         <key>col</key><integer>8</integer>
2734         <key>file</key><integer>0</integer>
2735        </dict>
2736        <dict>
2737         <key>line</key><integer>96</integer>
2738         <key>col</key><integer>8</integer>
2739         <key>file</key><integer>0</integer>
2740        </dict>
2741       </array>
2742     </array>
2743     <key>extended_message</key>
2744     <string>&apos;i&apos; is equal to 1</string>
2745     <key>message</key>
2746     <string>&apos;i&apos; is equal to 1</string>
2747    </dict>
2748    <dict>
2749     <key>kind</key><string>control</string>
2750     <key>edges</key>
2751      <array>
2752       <dict>
2753        <key>start</key>
2754         <array>
2755          <dict>
2756           <key>line</key><integer>96</integer>
2757           <key>col</key><integer>8</integer>
2758           <key>file</key><integer>0</integer>
2759          </dict>
2760          <dict>
2761           <key>line</key><integer>96</integer>
2762           <key>col</key><integer>8</integer>
2763           <key>file</key><integer>0</integer>
2764          </dict>
2765         </array>
2766        <key>end</key>
2767         <array>
2768          <dict>
2769           <key>line</key><integer>97</integer>
2770           <key>col</key><integer>5</integer>
2771           <key>file</key><integer>0</integer>
2772          </dict>
2773          <dict>
2774           <key>line</key><integer>97</integer>
2775           <key>col</key><integer>7</integer>
2776           <key>file</key><integer>0</integer>
2777          </dict>
2778         </array>
2779       </dict>
2780      </array>
2781    </dict>
2782    <dict>
2783     <key>kind</key><string>event</string>
2784     <key>location</key>
2785     <dict>
2786      <key>line</key><integer>97</integer>
2787      <key>col</key><integer>5</integer>
2788      <key>file</key><integer>0</integer>
2789     </dict>
2790     <key>ranges</key>
2791     <array>
2792       <array>
2793        <dict>
2794         <key>line</key><integer>97</integer>
2795         <key>col</key><integer>5</integer>
2796         <key>file</key><integer>0</integer>
2797        </dict>
2798        <dict>
2799         <key>line</key><integer>97</integer>
2800         <key>col</key><integer>10</integer>
2801         <key>file</key><integer>0</integer>
2802        </dict>
2803       </array>
2804     </array>
2805     <key>depth</key><integer>0</integer>
2806     <key>extended_message</key>
2807     <string>&apos;p&apos; initialized to a null pointer value</string>
2808     <key>message</key>
2809     <string>&apos;p&apos; initialized to a null pointer value</string>
2810    </dict>
2811    <dict>
2812     <key>kind</key><string>control</string>
2813     <key>edges</key>
2814      <array>
2815       <dict>
2816        <key>start</key>
2817         <array>
2818          <dict>
2819           <key>line</key><integer>97</integer>
2820           <key>col</key><integer>5</integer>
2821           <key>file</key><integer>0</integer>
2822          </dict>
2823          <dict>
2824           <key>line</key><integer>97</integer>
2825           <key>col</key><integer>7</integer>
2826           <key>file</key><integer>0</integer>
2827          </dict>
2828         </array>
2829        <key>end</key>
2830         <array>
2831          <dict>
2832           <key>line</key><integer>98</integer>
2833           <key>col</key><integer>5</integer>
2834           <key>file</key><integer>0</integer>
2835          </dict>
2836          <dict>
2837           <key>line</key><integer>98</integer>
2838           <key>col</key><integer>5</integer>
2839           <key>file</key><integer>0</integer>
2840          </dict>
2841         </array>
2842       </dict>
2843      </array>
2844    </dict>
2845    <dict>
2846     <key>kind</key><string>control</string>
2847     <key>edges</key>
2848      <array>
2849       <dict>
2850        <key>start</key>
2851         <array>
2852          <dict>
2853           <key>line</key><integer>98</integer>
2854           <key>col</key><integer>5</integer>
2855           <key>file</key><integer>0</integer>
2856          </dict>
2857          <dict>
2858           <key>line</key><integer>98</integer>
2859           <key>col</key><integer>5</integer>
2860           <key>file</key><integer>0</integer>
2861          </dict>
2862         </array>
2863        <key>end</key>
2864         <array>
2865          <dict>
2866           <key>line</key><integer>98</integer>
2867           <key>col</key><integer>8</integer>
2868           <key>file</key><integer>0</integer>
2869          </dict>
2870          <dict>
2871           <key>line</key><integer>98</integer>
2872           <key>col</key><integer>8</integer>
2873           <key>file</key><integer>0</integer>
2874          </dict>
2875         </array>
2876       </dict>
2877      </array>
2878    </dict>
2879    <dict>
2880     <key>kind</key><string>event</string>
2881     <key>location</key>
2882     <dict>
2883      <key>line</key><integer>98</integer>
2884      <key>col</key><integer>8</integer>
2885      <key>file</key><integer>0</integer>
2886     </dict>
2887     <key>ranges</key>
2888     <array>
2889       <array>
2890        <dict>
2891         <key>line</key><integer>98</integer>
2892         <key>col</key><integer>6</integer>
2893         <key>file</key><integer>0</integer>
2894        </dict>
2895        <dict>
2896         <key>line</key><integer>98</integer>
2897         <key>col</key><integer>6</integer>
2898         <key>file</key><integer>0</integer>
2899        </dict>
2900       </array>
2901     </array>
2902     <key>depth</key><integer>0</integer>
2903     <key>extended_message</key>
2904     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
2905     <key>message</key>
2906     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
2907    </dict>
2908   </array>
2909   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
2910   <key>category</key><string>Logic error</string>
2911   <key>type</key><string>Dereference of null pointer</string>
2912   <key>check_name</key><string>core.NullDereference</string>
2913   <!-- This hash is experimental and going to change! -->
2914   <key>issue_hash_content_of_line_in_context</key><string>08f9a01186cb2f1b78b08ec20260f1c1</string>
2915  <key>issue_context_kind</key><string>function</string>
2916  <key>issue_context</key><string>rdar12280665</string>
2917  <key>issue_hash_function_offset</key><string>4</string>
2918  <key>location</key>
2919  <dict>
2920   <key>line</key><integer>98</integer>
2921   <key>col</key><integer>8</integer>
2922   <key>file</key><integer>0</integer>
2923  </dict>
2924  <key>ExecutedLines</key>
2925  <dict>
2926   <key>0</key>
2927   <array>
2928    <integer>94</integer>
2929    <integer>95</integer>
2930    <integer>96</integer>
2931    <integer>97</integer>
2932    <integer>98</integer>
2933    <integer>100</integer>
2934   </array>
2935  </dict>
2936  </dict>
2937  <dict>
2938   <key>path</key>
2939   <array>
2940    <dict>
2941     <key>kind</key><string>event</string>
2942     <key>location</key>
2943     <dict>
2944      <key>line</key><integer>107</integer>
2945      <key>col</key><integer>3</integer>
2946      <key>file</key><integer>0</integer>
2947     </dict>
2948     <key>ranges</key>
2949     <array>
2950       <array>
2951        <dict>
2952         <key>line</key><integer>107</integer>
2953         <key>col</key><integer>3</integer>
2954         <key>file</key><integer>0</integer>
2955        </dict>
2956        <dict>
2957         <key>line</key><integer>107</integer>
2958         <key>col</key><integer>8</integer>
2959         <key>file</key><integer>0</integer>
2960        </dict>
2961       </array>
2962     </array>
2963     <key>depth</key><integer>0</integer>
2964     <key>extended_message</key>
2965     <string>&apos;p&apos; initialized to a null pointer value</string>
2966     <key>message</key>
2967     <string>&apos;p&apos; initialized to a null pointer value</string>
2968    </dict>
2969    <dict>
2970     <key>kind</key><string>control</string>
2971     <key>edges</key>
2972      <array>
2973       <dict>
2974        <key>start</key>
2975         <array>
2976          <dict>
2977           <key>line</key><integer>107</integer>
2978           <key>col</key><integer>3</integer>
2979           <key>file</key><integer>0</integer>
2980          </dict>
2981          <dict>
2982           <key>line</key><integer>107</integer>
2983           <key>col</key><integer>5</integer>
2984           <key>file</key><integer>0</integer>
2985          </dict>
2986         </array>
2987        <key>end</key>
2988         <array>
2989          <dict>
2990           <key>line</key><integer>108</integer>
2991           <key>col</key><integer>3</integer>
2992           <key>file</key><integer>0</integer>
2993          </dict>
2994          <dict>
2995           <key>line</key><integer>108</integer>
2996           <key>col</key><integer>5</integer>
2997           <key>file</key><integer>0</integer>
2998          </dict>
2999         </array>
3000       </dict>
3001      </array>
3002    </dict>
3003    <dict>
3004     <key>kind</key><string>event</string>
3005     <key>location</key>
3006     <dict>
3007      <key>line</key><integer>108</integer>
3008      <key>col</key><integer>24</integer>
3009      <key>file</key><integer>0</integer>
3010     </dict>
3011     <key>ranges</key>
3012     <array>
3013       <array>
3014        <dict>
3015         <key>line</key><integer>108</integer>
3016         <key>col</key><integer>24</integer>
3017         <key>file</key><integer>0</integer>
3018        </dict>
3019        <dict>
3020         <key>line</key><integer>108</integer>
3021         <key>col</key><integer>28</integer>
3022         <key>file</key><integer>0</integer>
3023        </dict>
3024       </array>
3025     </array>
3026     <key>depth</key><integer>0</integer>
3027     <key>extended_message</key>
3028     <string>Loop body executed 0 times</string>
3029     <key>message</key>
3030     <string>Loop body executed 0 times</string>
3031    </dict>
3032    <dict>
3033     <key>kind</key><string>control</string>
3034     <key>edges</key>
3035      <array>
3036       <dict>
3037        <key>start</key>
3038         <array>
3039          <dict>
3040           <key>line</key><integer>108</integer>
3041           <key>col</key><integer>3</integer>
3042           <key>file</key><integer>0</integer>
3043          </dict>
3044          <dict>
3045           <key>line</key><integer>108</integer>
3046           <key>col</key><integer>5</integer>
3047           <key>file</key><integer>0</integer>
3048          </dict>
3049         </array>
3050        <key>end</key>
3051         <array>
3052          <dict>
3053           <key>line</key><integer>111</integer>
3054           <key>col</key><integer>3</integer>
3055           <key>file</key><integer>0</integer>
3056          </dict>
3057          <dict>
3058           <key>line</key><integer>111</integer>
3059           <key>col</key><integer>3</integer>
3060           <key>file</key><integer>0</integer>
3061          </dict>
3062         </array>
3063       </dict>
3064      </array>
3065    </dict>
3066    <dict>
3067     <key>kind</key><string>control</string>
3068     <key>edges</key>
3069      <array>
3070       <dict>
3071        <key>start</key>
3072         <array>
3073          <dict>
3074           <key>line</key><integer>111</integer>
3075           <key>col</key><integer>3</integer>
3076           <key>file</key><integer>0</integer>
3077          </dict>
3078          <dict>
3079           <key>line</key><integer>111</integer>
3080           <key>col</key><integer>3</integer>
3081           <key>file</key><integer>0</integer>
3082          </dict>
3083         </array>
3084        <key>end</key>
3085         <array>
3086          <dict>
3087           <key>line</key><integer>111</integer>
3088           <key>col</key><integer>6</integer>
3089           <key>file</key><integer>0</integer>
3090          </dict>
3091          <dict>
3092           <key>line</key><integer>111</integer>
3093           <key>col</key><integer>6</integer>
3094           <key>file</key><integer>0</integer>
3095          </dict>
3096         </array>
3097       </dict>
3098      </array>
3099    </dict>
3100    <dict>
3101     <key>kind</key><string>event</string>
3102     <key>location</key>
3103     <dict>
3104      <key>line</key><integer>111</integer>
3105      <key>col</key><integer>6</integer>
3106      <key>file</key><integer>0</integer>
3107     </dict>
3108     <key>ranges</key>
3109     <array>
3110       <array>
3111        <dict>
3112         <key>line</key><integer>111</integer>
3113         <key>col</key><integer>4</integer>
3114         <key>file</key><integer>0</integer>
3115        </dict>
3116        <dict>
3117         <key>line</key><integer>111</integer>
3118         <key>col</key><integer>4</integer>
3119         <key>file</key><integer>0</integer>
3120        </dict>
3121       </array>
3122     </array>
3123     <key>depth</key><integer>0</integer>
3124     <key>extended_message</key>
3125     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
3126     <key>message</key>
3127     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
3128    </dict>
3129   </array>
3130   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
3131   <key>category</key><string>Logic error</string>
3132   <key>type</key><string>Dereference of null pointer</string>
3133   <key>check_name</key><string>core.NullDereference</string>
3134   <!-- This hash is experimental and going to change! -->
3135   <key>issue_hash_content_of_line_in_context</key><string>93a53e4c8f02d191b07477940ddcf89c</string>
3136  <key>issue_context_kind</key><string>function</string>
3137  <key>issue_context</key><string>radar12322528_for</string>
3138  <key>issue_hash_function_offset</key><string>5</string>
3139  <key>location</key>
3140  <dict>
3141   <key>line</key><integer>111</integer>
3142   <key>col</key><integer>6</integer>
3143   <key>file</key><integer>0</integer>
3144  </dict>
3145  <key>ExecutedLines</key>
3146  <dict>
3147   <key>0</key>
3148   <array>
3149    <integer>106</integer>
3150    <integer>107</integer>
3151    <integer>108</integer>
3152    <integer>111</integer>
3153   </array>
3154  </dict>
3155  </dict>
3156  <dict>
3157   <key>path</key>
3158   <array>
3159    <dict>
3160     <key>kind</key><string>event</string>
3161     <key>location</key>
3162     <dict>
3163      <key>line</key><integer>115</integer>
3164      <key>col</key><integer>3</integer>
3165      <key>file</key><integer>0</integer>
3166     </dict>
3167     <key>ranges</key>
3168     <array>
3169       <array>
3170        <dict>
3171         <key>line</key><integer>115</integer>
3172         <key>col</key><integer>3</integer>
3173         <key>file</key><integer>0</integer>
3174        </dict>
3175        <dict>
3176         <key>line</key><integer>115</integer>
3177         <key>col</key><integer>8</integer>
3178         <key>file</key><integer>0</integer>
3179        </dict>
3180       </array>
3181     </array>
3182     <key>depth</key><integer>0</integer>
3183     <key>extended_message</key>
3184     <string>&apos;p&apos; initialized to a null pointer value</string>
3185     <key>message</key>
3186     <string>&apos;p&apos; initialized to a null pointer value</string>
3187    </dict>
3188    <dict>
3189     <key>kind</key><string>control</string>
3190     <key>edges</key>
3191      <array>
3192       <dict>
3193        <key>start</key>
3194         <array>
3195          <dict>
3196           <key>line</key><integer>115</integer>
3197           <key>col</key><integer>3</integer>
3198           <key>file</key><integer>0</integer>
3199          </dict>
3200          <dict>
3201           <key>line</key><integer>115</integer>
3202           <key>col</key><integer>5</integer>
3203           <key>file</key><integer>0</integer>
3204          </dict>
3205         </array>
3206        <key>end</key>
3207         <array>
3208          <dict>
3209           <key>line</key><integer>117</integer>
3210           <key>col</key><integer>3</integer>
3211           <key>file</key><integer>0</integer>
3212          </dict>
3213          <dict>
3214           <key>line</key><integer>117</integer>
3215           <key>col</key><integer>5</integer>
3216           <key>file</key><integer>0</integer>
3217          </dict>
3218         </array>
3219       </dict>
3220      </array>
3221    </dict>
3222    <dict>
3223     <key>kind</key><string>event</string>
3224     <key>location</key>
3225     <dict>
3226      <key>line</key><integer>117</integer>
3227      <key>col</key><integer>11</integer>
3228      <key>file</key><integer>0</integer>
3229     </dict>
3230     <key>ranges</key>
3231     <array>
3232       <array>
3233        <dict>
3234         <key>line</key><integer>117</integer>
3235         <key>col</key><integer>11</integer>
3236         <key>file</key><integer>0</integer>
3237        </dict>
3238        <dict>
3239         <key>line</key><integer>117</integer>
3240         <key>col</key><integer>15</integer>
3241         <key>file</key><integer>0</integer>
3242        </dict>
3243       </array>
3244     </array>
3245     <key>depth</key><integer>0</integer>
3246     <key>extended_message</key>
3247     <string>Loop body executed 0 times</string>
3248     <key>message</key>
3249     <string>Loop body executed 0 times</string>
3250    </dict>
3251    <dict>
3252     <key>kind</key><string>control</string>
3253     <key>edges</key>
3254      <array>
3255       <dict>
3256        <key>start</key>
3257         <array>
3258          <dict>
3259           <key>line</key><integer>117</integer>
3260           <key>col</key><integer>3</integer>
3261           <key>file</key><integer>0</integer>
3262          </dict>
3263          <dict>
3264           <key>line</key><integer>117</integer>
3265           <key>col</key><integer>5</integer>
3266           <key>file</key><integer>0</integer>
3267          </dict>
3268         </array>
3269        <key>end</key>
3270         <array>
3271          <dict>
3272           <key>line</key><integer>121</integer>
3273           <key>col</key><integer>3</integer>
3274           <key>file</key><integer>0</integer>
3275          </dict>
3276          <dict>
3277           <key>line</key><integer>121</integer>
3278           <key>col</key><integer>3</integer>
3279           <key>file</key><integer>0</integer>
3280          </dict>
3281         </array>
3282       </dict>
3283      </array>
3284    </dict>
3285    <dict>
3286     <key>kind</key><string>control</string>
3287     <key>edges</key>
3288      <array>
3289       <dict>
3290        <key>start</key>
3291         <array>
3292          <dict>
3293           <key>line</key><integer>121</integer>
3294           <key>col</key><integer>3</integer>
3295           <key>file</key><integer>0</integer>
3296          </dict>
3297          <dict>
3298           <key>line</key><integer>121</integer>
3299           <key>col</key><integer>3</integer>
3300           <key>file</key><integer>0</integer>
3301          </dict>
3302         </array>
3303        <key>end</key>
3304         <array>
3305          <dict>
3306           <key>line</key><integer>121</integer>
3307           <key>col</key><integer>6</integer>
3308           <key>file</key><integer>0</integer>
3309          </dict>
3310          <dict>
3311           <key>line</key><integer>121</integer>
3312           <key>col</key><integer>6</integer>
3313           <key>file</key><integer>0</integer>
3314          </dict>
3315         </array>
3316       </dict>
3317      </array>
3318    </dict>
3319    <dict>
3320     <key>kind</key><string>event</string>
3321     <key>location</key>
3322     <dict>
3323      <key>line</key><integer>121</integer>
3324      <key>col</key><integer>6</integer>
3325      <key>file</key><integer>0</integer>
3326     </dict>
3327     <key>ranges</key>
3328     <array>
3329       <array>
3330        <dict>
3331         <key>line</key><integer>121</integer>
3332         <key>col</key><integer>4</integer>
3333         <key>file</key><integer>0</integer>
3334        </dict>
3335        <dict>
3336         <key>line</key><integer>121</integer>
3337         <key>col</key><integer>4</integer>
3338         <key>file</key><integer>0</integer>
3339        </dict>
3340       </array>
3341     </array>
3342     <key>depth</key><integer>0</integer>
3343     <key>extended_message</key>
3344     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
3345     <key>message</key>
3346     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
3347    </dict>
3348   </array>
3349   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
3350   <key>category</key><string>Logic error</string>
3351   <key>type</key><string>Dereference of null pointer</string>
3352   <key>check_name</key><string>core.NullDereference</string>
3353   <!-- This hash is experimental and going to change! -->
3354   <key>issue_hash_content_of_line_in_context</key><string>f2d2dbf579b0b21a6b68726df6a041fc</string>
3355  <key>issue_context_kind</key><string>function</string>
3356  <key>issue_context</key><string>radar12322528_while</string>
3357  <key>issue_hash_function_offset</key><string>7</string>
3358  <key>location</key>
3359  <dict>
3360   <key>line</key><integer>121</integer>
3361   <key>col</key><integer>6</integer>
3362   <key>file</key><integer>0</integer>
3363  </dict>
3364  <key>ExecutedLines</key>
3365  <dict>
3366   <key>0</key>
3367   <array>
3368    <integer>114</integer>
3369    <integer>115</integer>
3370    <integer>116</integer>
3371    <integer>117</integer>
3372    <integer>121</integer>
3373   </array>
3374  </dict>
3375  </dict>
3376  <dict>
3377   <key>path</key>
3378   <array>
3379    <dict>
3380     <key>kind</key><string>event</string>
3381     <key>location</key>
3382     <dict>
3383      <key>line</key><integer>125</integer>
3384      <key>col</key><integer>3</integer>
3385      <key>file</key><integer>0</integer>
3386     </dict>
3387     <key>ranges</key>
3388     <array>
3389       <array>
3390        <dict>
3391         <key>line</key><integer>125</integer>
3392         <key>col</key><integer>3</integer>
3393         <key>file</key><integer>0</integer>
3394        </dict>
3395        <dict>
3396         <key>line</key><integer>125</integer>
3397         <key>col</key><integer>8</integer>
3398         <key>file</key><integer>0</integer>
3399        </dict>
3400       </array>
3401     </array>
3402     <key>depth</key><integer>0</integer>
3403     <key>extended_message</key>
3404     <string>&apos;p&apos; initialized to a null pointer value</string>
3405     <key>message</key>
3406     <string>&apos;p&apos; initialized to a null pointer value</string>
3407    </dict>
3408    <dict>
3409     <key>kind</key><string>control</string>
3410     <key>edges</key>
3411      <array>
3412       <dict>
3413        <key>start</key>
3414         <array>
3415          <dict>
3416           <key>line</key><integer>125</integer>
3417           <key>col</key><integer>3</integer>
3418           <key>file</key><integer>0</integer>
3419          </dict>
3420          <dict>
3421           <key>line</key><integer>125</integer>
3422           <key>col</key><integer>5</integer>
3423           <key>file</key><integer>0</integer>
3424          </dict>
3425         </array>
3426        <key>end</key>
3427         <array>
3428          <dict>
3429           <key>line</key><integer>126</integer>
3430           <key>col</key><integer>3</integer>
3431           <key>file</key><integer>0</integer>
3432          </dict>
3433          <dict>
3434           <key>line</key><integer>126</integer>
3435           <key>col</key><integer>5</integer>
3436           <key>file</key><integer>0</integer>
3437          </dict>
3438         </array>
3439       </dict>
3440      </array>
3441    </dict>
3442    <dict>
3443     <key>kind</key><string>event</string>
3444     <key>location</key>
3445     <dict>
3446      <key>line</key><integer>126</integer>
3447      <key>col</key><integer>24</integer>
3448      <key>file</key><integer>0</integer>
3449     </dict>
3450     <key>ranges</key>
3451     <array>
3452       <array>
3453        <dict>
3454         <key>line</key><integer>126</integer>
3455         <key>col</key><integer>24</integer>
3456         <key>file</key><integer>0</integer>
3457        </dict>
3458        <dict>
3459         <key>line</key><integer>126</integer>
3460         <key>col</key><integer>28</integer>
3461         <key>file</key><integer>0</integer>
3462        </dict>
3463       </array>
3464     </array>
3465     <key>depth</key><integer>0</integer>
3466     <key>extended_message</key>
3467     <string>Entering loop body</string>
3468     <key>message</key>
3469     <string>Entering loop body</string>
3470    </dict>
3471    <dict>
3472     <key>kind</key><string>control</string>
3473     <key>edges</key>
3474      <array>
3475       <dict>
3476        <key>start</key>
3477         <array>
3478          <dict>
3479           <key>line</key><integer>126</integer>
3480           <key>col</key><integer>3</integer>
3481           <key>file</key><integer>0</integer>
3482          </dict>
3483          <dict>
3484           <key>line</key><integer>126</integer>
3485           <key>col</key><integer>5</integer>
3486           <key>file</key><integer>0</integer>
3487          </dict>
3488         </array>
3489        <key>end</key>
3490         <array>
3491          <dict>
3492           <key>line</key><integer>127</integer>
3493           <key>col</key><integer>5</integer>
3494           <key>file</key><integer>0</integer>
3495          </dict>
3496          <dict>
3497           <key>line</key><integer>127</integer>
3498           <key>col</key><integer>6</integer>
3499           <key>file</key><integer>0</integer>
3500          </dict>
3501         </array>
3502       </dict>
3503      </array>
3504    </dict>
3505    <dict>
3506     <key>kind</key><string>control</string>
3507     <key>edges</key>
3508      <array>
3509       <dict>
3510        <key>start</key>
3511         <array>
3512          <dict>
3513           <key>line</key><integer>127</integer>
3514           <key>col</key><integer>5</integer>
3515           <key>file</key><integer>0</integer>
3516          </dict>
3517          <dict>
3518           <key>line</key><integer>127</integer>
3519           <key>col</key><integer>6</integer>
3520           <key>file</key><integer>0</integer>
3521          </dict>
3522         </array>
3523        <key>end</key>
3524         <array>
3525          <dict>
3526           <key>line</key><integer>127</integer>
3527           <key>col</key><integer>9</integer>
3528           <key>file</key><integer>0</integer>
3529          </dict>
3530          <dict>
3531           <key>line</key><integer>127</integer>
3532           <key>col</key><integer>9</integer>
3533           <key>file</key><integer>0</integer>
3534          </dict>
3535         </array>
3536       </dict>
3537      </array>
3538    </dict>
3539    <dict>
3540     <key>kind</key><string>pop-up</string>
3541     <key>location</key>
3542     <dict>
3543      <key>line</key><integer>127</integer>
3544      <key>col</key><integer>9</integer>
3545      <key>file</key><integer>0</integer>
3546     </dict>
3547     <key>ranges</key>
3548     <array>
3549       <array>
3550        <dict>
3551         <key>line</key><integer>127</integer>
3552         <key>col</key><integer>9</integer>
3553         <key>file</key><integer>0</integer>
3554        </dict>
3555        <dict>
3556         <key>line</key><integer>127</integer>
3557         <key>col</key><integer>9</integer>
3558         <key>file</key><integer>0</integer>
3559        </dict>
3560       </array>
3561     </array>
3562     <key>extended_message</key>
3563     <string>&apos;i&apos; is not equal to 1</string>
3564     <key>message</key>
3565     <string>&apos;i&apos; is not equal to 1</string>
3566    </dict>
3567    <dict>
3568     <key>kind</key><string>control</string>
3569     <key>edges</key>
3570      <array>
3571       <dict>
3572        <key>start</key>
3573         <array>
3574          <dict>
3575           <key>line</key><integer>127</integer>
3576           <key>col</key><integer>9</integer>
3577           <key>file</key><integer>0</integer>
3578          </dict>
3579          <dict>
3580           <key>line</key><integer>127</integer>
3581           <key>col</key><integer>9</integer>
3582           <key>file</key><integer>0</integer>
3583          </dict>
3584         </array>
3585        <key>end</key>
3586         <array>
3587          <dict>
3588           <key>line</key><integer>129</integer>
3589           <key>col</key><integer>3</integer>
3590           <key>file</key><integer>0</integer>
3591          </dict>
3592          <dict>
3593           <key>line</key><integer>129</integer>
3594           <key>col</key><integer>3</integer>
3595           <key>file</key><integer>0</integer>
3596          </dict>
3597         </array>
3598       </dict>
3599      </array>
3600    </dict>
3601    <dict>
3602     <key>kind</key><string>control</string>
3603     <key>edges</key>
3604      <array>
3605       <dict>
3606        <key>start</key>
3607         <array>
3608          <dict>
3609           <key>line</key><integer>129</integer>
3610           <key>col</key><integer>3</integer>
3611           <key>file</key><integer>0</integer>
3612          </dict>
3613          <dict>
3614           <key>line</key><integer>129</integer>
3615           <key>col</key><integer>3</integer>
3616           <key>file</key><integer>0</integer>
3617          </dict>
3618         </array>
3619        <key>end</key>
3620         <array>
3621          <dict>
3622           <key>line</key><integer>126</integer>
3623           <key>col</key><integer>3</integer>
3624           <key>file</key><integer>0</integer>
3625          </dict>
3626          <dict>
3627           <key>line</key><integer>126</integer>
3628           <key>col</key><integer>5</integer>
3629           <key>file</key><integer>0</integer>
3630          </dict>
3631         </array>
3632       </dict>
3633      </array>
3634    </dict>
3635    <dict>
3636     <key>kind</key><string>event</string>
3637     <key>location</key>
3638     <dict>
3639      <key>line</key><integer>126</integer>
3640      <key>col</key><integer>3</integer>
3641      <key>file</key><integer>0</integer>
3642     </dict>
3643     <key>ranges</key>
3644     <array>
3645       <array>
3646        <dict>
3647         <key>line</key><integer>126</integer>
3648         <key>col</key><integer>3</integer>
3649         <key>file</key><integer>0</integer>
3650        </dict>
3651        <dict>
3652         <key>line</key><integer>126</integer>
3653         <key>col</key><integer>5</integer>
3654         <key>file</key><integer>0</integer>
3655        </dict>
3656       </array>
3657     </array>
3658     <key>depth</key><integer>0</integer>
3659     <key>extended_message</key>
3660     <string>Looping back to the head of the loop</string>
3661     <key>message</key>
3662     <string>Looping back to the head of the loop</string>
3663    </dict>
3664    <dict>
3665     <key>kind</key><string>event</string>
3666     <key>location</key>
3667     <dict>
3668      <key>line</key><integer>126</integer>
3669      <key>col</key><integer>24</integer>
3670      <key>file</key><integer>0</integer>
3671     </dict>
3672     <key>ranges</key>
3673     <array>
3674       <array>
3675        <dict>
3676         <key>line</key><integer>126</integer>
3677         <key>col</key><integer>24</integer>
3678         <key>file</key><integer>0</integer>
3679        </dict>
3680        <dict>
3681         <key>line</key><integer>126</integer>
3682         <key>col</key><integer>28</integer>
3683         <key>file</key><integer>0</integer>
3684        </dict>
3685       </array>
3686     </array>
3687     <key>depth</key><integer>0</integer>
3688     <key>extended_message</key>
3689     <string>Entering loop body</string>
3690     <key>message</key>
3691     <string>Entering loop body</string>
3692    </dict>
3693    <dict>
3694     <key>kind</key><string>control</string>
3695     <key>edges</key>
3696      <array>
3697       <dict>
3698        <key>start</key>
3699         <array>
3700          <dict>
3701           <key>line</key><integer>126</integer>
3702           <key>col</key><integer>3</integer>
3703           <key>file</key><integer>0</integer>
3704          </dict>
3705          <dict>
3706           <key>line</key><integer>126</integer>
3707           <key>col</key><integer>5</integer>
3708           <key>file</key><integer>0</integer>
3709          </dict>
3710         </array>
3711        <key>end</key>
3712         <array>
3713          <dict>
3714           <key>line</key><integer>127</integer>
3715           <key>col</key><integer>5</integer>
3716           <key>file</key><integer>0</integer>
3717          </dict>
3718          <dict>
3719           <key>line</key><integer>127</integer>
3720           <key>col</key><integer>6</integer>
3721           <key>file</key><integer>0</integer>
3722          </dict>
3723         </array>
3724       </dict>
3725      </array>
3726    </dict>
3727    <dict>
3728     <key>kind</key><string>control</string>
3729     <key>edges</key>
3730      <array>
3731       <dict>
3732        <key>start</key>
3733         <array>
3734          <dict>
3735           <key>line</key><integer>127</integer>
3736           <key>col</key><integer>5</integer>
3737           <key>file</key><integer>0</integer>
3738          </dict>
3739          <dict>
3740           <key>line</key><integer>127</integer>
3741           <key>col</key><integer>6</integer>
3742           <key>file</key><integer>0</integer>
3743          </dict>
3744         </array>
3745        <key>end</key>
3746         <array>
3747          <dict>
3748           <key>line</key><integer>127</integer>
3749           <key>col</key><integer>9</integer>
3750           <key>file</key><integer>0</integer>
3751          </dict>
3752          <dict>
3753           <key>line</key><integer>127</integer>
3754           <key>col</key><integer>9</integer>
3755           <key>file</key><integer>0</integer>
3756          </dict>
3757         </array>
3758       </dict>
3759      </array>
3760    </dict>
3761    <dict>
3762     <key>kind</key><string>pop-up</string>
3763     <key>location</key>
3764     <dict>
3765      <key>line</key><integer>127</integer>
3766      <key>col</key><integer>9</integer>
3767      <key>file</key><integer>0</integer>
3768     </dict>
3769     <key>ranges</key>
3770     <array>
3771       <array>
3772        <dict>
3773         <key>line</key><integer>127</integer>
3774         <key>col</key><integer>9</integer>
3775         <key>file</key><integer>0</integer>
3776        </dict>
3777        <dict>
3778         <key>line</key><integer>127</integer>
3779         <key>col</key><integer>9</integer>
3780         <key>file</key><integer>0</integer>
3781        </dict>
3782       </array>
3783     </array>
3784     <key>extended_message</key>
3785     <string>&apos;i&apos; is equal to 1</string>
3786     <key>message</key>
3787     <string>&apos;i&apos; is equal to 1</string>
3788    </dict>
3789    <dict>
3790     <key>kind</key><string>control</string>
3791     <key>edges</key>
3792      <array>
3793       <dict>
3794        <key>start</key>
3795         <array>
3796          <dict>
3797           <key>line</key><integer>127</integer>
3798           <key>col</key><integer>9</integer>
3799           <key>file</key><integer>0</integer>
3800          </dict>
3801          <dict>
3802           <key>line</key><integer>127</integer>
3803           <key>col</key><integer>9</integer>
3804           <key>file</key><integer>0</integer>
3805          </dict>
3806         </array>
3807        <key>end</key>
3808         <array>
3809          <dict>
3810           <key>line</key><integer>128</integer>
3811           <key>col</key><integer>7</integer>
3812           <key>file</key><integer>0</integer>
3813          </dict>
3814          <dict>
3815           <key>line</key><integer>128</integer>
3816           <key>col</key><integer>11</integer>
3817           <key>file</key><integer>0</integer>
3818          </dict>
3819         </array>
3820       </dict>
3821      </array>
3822    </dict>
3823    <dict>
3824     <key>kind</key><string>control</string>
3825     <key>edges</key>
3826      <array>
3827       <dict>
3828        <key>start</key>
3829         <array>
3830          <dict>
3831           <key>line</key><integer>128</integer>
3832           <key>col</key><integer>7</integer>
3833           <key>file</key><integer>0</integer>
3834          </dict>
3835          <dict>
3836           <key>line</key><integer>128</integer>
3837           <key>col</key><integer>11</integer>
3838           <key>file</key><integer>0</integer>
3839          </dict>
3840         </array>
3841        <key>end</key>
3842         <array>
3843          <dict>
3844           <key>line</key><integer>130</integer>
3845           <key>col</key><integer>3</integer>
3846           <key>file</key><integer>0</integer>
3847          </dict>
3848          <dict>
3849           <key>line</key><integer>130</integer>
3850           <key>col</key><integer>3</integer>
3851           <key>file</key><integer>0</integer>
3852          </dict>
3853         </array>
3854       </dict>
3855      </array>
3856    </dict>
3857    <dict>
3858     <key>kind</key><string>control</string>
3859     <key>edges</key>
3860      <array>
3861       <dict>
3862        <key>start</key>
3863         <array>
3864          <dict>
3865           <key>line</key><integer>130</integer>
3866           <key>col</key><integer>3</integer>
3867           <key>file</key><integer>0</integer>
3868          </dict>
3869          <dict>
3870           <key>line</key><integer>130</integer>
3871           <key>col</key><integer>3</integer>
3872           <key>file</key><integer>0</integer>
3873          </dict>
3874         </array>
3875        <key>end</key>
3876         <array>
3877          <dict>
3878           <key>line</key><integer>130</integer>
3879           <key>col</key><integer>6</integer>
3880           <key>file</key><integer>0</integer>
3881          </dict>
3882          <dict>
3883           <key>line</key><integer>130</integer>
3884           <key>col</key><integer>6</integer>
3885           <key>file</key><integer>0</integer>
3886          </dict>
3887         </array>
3888       </dict>
3889      </array>
3890    </dict>
3891    <dict>
3892     <key>kind</key><string>event</string>
3893     <key>location</key>
3894     <dict>
3895      <key>line</key><integer>130</integer>
3896      <key>col</key><integer>6</integer>
3897      <key>file</key><integer>0</integer>
3898     </dict>
3899     <key>ranges</key>
3900     <array>
3901       <array>
3902        <dict>
3903         <key>line</key><integer>130</integer>
3904         <key>col</key><integer>4</integer>
3905         <key>file</key><integer>0</integer>
3906        </dict>
3907        <dict>
3908         <key>line</key><integer>130</integer>
3909         <key>col</key><integer>4</integer>
3910         <key>file</key><integer>0</integer>
3911        </dict>
3912       </array>
3913     </array>
3914     <key>depth</key><integer>0</integer>
3915     <key>extended_message</key>
3916     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
3917     <key>message</key>
3918     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
3919    </dict>
3920   </array>
3921   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
3922   <key>category</key><string>Logic error</string>
3923   <key>type</key><string>Dereference of null pointer</string>
3924   <key>check_name</key><string>core.NullDereference</string>
3925   <!-- This hash is experimental and going to change! -->
3926   <key>issue_hash_content_of_line_in_context</key><string>95c7d39fb9d0d8c172b894e02855a07c</string>
3927  <key>issue_context_kind</key><string>function</string>
3928  <key>issue_context</key><string>radar12322528_foo_2</string>
3929  <key>issue_hash_function_offset</key><string>6</string>
3930  <key>location</key>
3931  <dict>
3932   <key>line</key><integer>130</integer>
3933   <key>col</key><integer>6</integer>
3934   <key>file</key><integer>0</integer>
3935  </dict>
3936  <key>ExecutedLines</key>
3937  <dict>
3938   <key>0</key>
3939   <array>
3940    <integer>124</integer>
3941    <integer>125</integer>
3942    <integer>126</integer>
3943    <integer>127</integer>
3944    <integer>128</integer>
3945    <integer>129</integer>
3946    <integer>130</integer>
3947   </array>
3948  </dict>
3949  </dict>
3950  <dict>
3951   <key>path</key>
3952   <array>
3953    <dict>
3954     <key>kind</key><string>control</string>
3955     <key>edges</key>
3956      <array>
3957       <dict>
3958        <key>start</key>
3959         <array>
3960          <dict>
3961           <key>line</key><integer>134</integer>
3962           <key>col</key><integer>3</integer>
3963           <key>file</key><integer>0</integer>
3964          </dict>
3965          <dict>
3966           <key>line</key><integer>134</integer>
3967           <key>col</key><integer>5</integer>
3968           <key>file</key><integer>0</integer>
3969          </dict>
3970         </array>
3971        <key>end</key>
3972         <array>
3973          <dict>
3974           <key>line</key><integer>135</integer>
3975           <key>col</key><integer>3</integer>
3976           <key>file</key><integer>0</integer>
3977          </dict>
3978          <dict>
3979           <key>line</key><integer>135</integer>
3980           <key>col</key><integer>5</integer>
3981           <key>file</key><integer>0</integer>
3982          </dict>
3983         </array>
3984       </dict>
3985      </array>
3986    </dict>
3987    <dict>
3988     <key>kind</key><string>event</string>
3989     <key>location</key>
3990     <dict>
3991      <key>line</key><integer>135</integer>
3992      <key>col</key><integer>19</integer>
3993      <key>file</key><integer>0</integer>
3994     </dict>
3995     <key>ranges</key>
3996     <array>
3997       <array>
3998        <dict>
3999         <key>line</key><integer>135</integer>
4000         <key>col</key><integer>19</integer>
4001         <key>file</key><integer>0</integer>
4002        </dict>
4003        <dict>
4004         <key>line</key><integer>135</integer>
4005         <key>col</key><integer>23</integer>
4006         <key>file</key><integer>0</integer>
4007        </dict>
4008       </array>
4009     </array>
4010     <key>depth</key><integer>0</integer>
4011     <key>extended_message</key>
4012     <string>Entering loop body</string>
4013     <key>message</key>
4014     <string>Entering loop body</string>
4015    </dict>
4016    <dict>
4017     <key>kind</key><string>control</string>
4018     <key>edges</key>
4019      <array>
4020       <dict>
4021        <key>start</key>
4022         <array>
4023          <dict>
4024           <key>line</key><integer>135</integer>
4025           <key>col</key><integer>3</integer>
4026           <key>file</key><integer>0</integer>
4027          </dict>
4028          <dict>
4029           <key>line</key><integer>135</integer>
4030           <key>col</key><integer>5</integer>
4031           <key>file</key><integer>0</integer>
4032          </dict>
4033         </array>
4034        <key>end</key>
4035         <array>
4036          <dict>
4037           <key>line</key><integer>135</integer>
4038           <key>col</key><integer>33</integer>
4039           <key>file</key><integer>0</integer>
4040          </dict>
4041          <dict>
4042           <key>line</key><integer>135</integer>
4043           <key>col</key><integer>33</integer>
4044           <key>file</key><integer>0</integer>
4045          </dict>
4046         </array>
4047       </dict>
4048      </array>
4049    </dict>
4050    <dict>
4051     <key>kind</key><string>control</string>
4052     <key>edges</key>
4053      <array>
4054       <dict>
4055        <key>start</key>
4056         <array>
4057          <dict>
4058           <key>line</key><integer>135</integer>
4059           <key>col</key><integer>33</integer>
4060           <key>file</key><integer>0</integer>
4061          </dict>
4062          <dict>
4063           <key>line</key><integer>135</integer>
4064           <key>col</key><integer>33</integer>
4065           <key>file</key><integer>0</integer>
4066          </dict>
4067         </array>
4068        <key>end</key>
4069         <array>
4070          <dict>
4071           <key>line</key><integer>135</integer>
4072           <key>col</key><integer>40</integer>
4073           <key>file</key><integer>0</integer>
4074          </dict>
4075          <dict>
4076           <key>line</key><integer>135</integer>
4077           <key>col</key><integer>40</integer>
4078           <key>file</key><integer>0</integer>
4079          </dict>
4080         </array>
4081       </dict>
4082      </array>
4083    </dict>
4084    <dict>
4085     <key>kind</key><string>control</string>
4086     <key>edges</key>
4087      <array>
4088       <dict>
4089        <key>start</key>
4090         <array>
4091          <dict>
4092           <key>line</key><integer>135</integer>
4093           <key>col</key><integer>40</integer>
4094           <key>file</key><integer>0</integer>
4095          </dict>
4096          <dict>
4097           <key>line</key><integer>135</integer>
4098           <key>col</key><integer>40</integer>
4099           <key>file</key><integer>0</integer>
4100          </dict>
4101         </array>
4102        <key>end</key>
4103         <array>
4104          <dict>
4105           <key>line</key><integer>135</integer>
4106           <key>col</key><integer>3</integer>
4107           <key>file</key><integer>0</integer>
4108          </dict>
4109          <dict>
4110           <key>line</key><integer>135</integer>
4111           <key>col</key><integer>5</integer>
4112           <key>file</key><integer>0</integer>
4113          </dict>
4114         </array>
4115       </dict>
4116      </array>
4117    </dict>
4118    <dict>
4119     <key>kind</key><string>event</string>
4120     <key>location</key>
4121     <dict>
4122      <key>line</key><integer>135</integer>
4123      <key>col</key><integer>3</integer>
4124      <key>file</key><integer>0</integer>
4125     </dict>
4126     <key>ranges</key>
4127     <array>
4128       <array>
4129        <dict>
4130         <key>line</key><integer>135</integer>
4131         <key>col</key><integer>3</integer>
4132         <key>file</key><integer>0</integer>
4133        </dict>
4134        <dict>
4135         <key>line</key><integer>135</integer>
4136         <key>col</key><integer>5</integer>
4137         <key>file</key><integer>0</integer>
4138        </dict>
4139       </array>
4140     </array>
4141     <key>depth</key><integer>0</integer>
4142     <key>extended_message</key>
4143     <string>Looping back to the head of the loop</string>
4144     <key>message</key>
4145     <string>Looping back to the head of the loop</string>
4146    </dict>
4147    <dict>
4148     <key>kind</key><string>event</string>
4149     <key>location</key>
4150     <dict>
4151      <key>line</key><integer>135</integer>
4152      <key>col</key><integer>19</integer>
4153      <key>file</key><integer>0</integer>
4154     </dict>
4155     <key>ranges</key>
4156     <array>
4157       <array>
4158        <dict>
4159         <key>line</key><integer>135</integer>
4160         <key>col</key><integer>19</integer>
4161         <key>file</key><integer>0</integer>
4162        </dict>
4163        <dict>
4164         <key>line</key><integer>135</integer>
4165         <key>col</key><integer>23</integer>
4166         <key>file</key><integer>0</integer>
4167        </dict>
4168       </array>
4169     </array>
4170     <key>depth</key><integer>0</integer>
4171     <key>extended_message</key>
4172     <string>Entering loop body</string>
4173     <key>message</key>
4174     <string>Entering loop body</string>
4175    </dict>
4176    <dict>
4177     <key>kind</key><string>control</string>
4178     <key>edges</key>
4179      <array>
4180       <dict>
4181        <key>start</key>
4182         <array>
4183          <dict>
4184           <key>line</key><integer>135</integer>
4185           <key>col</key><integer>3</integer>
4186           <key>file</key><integer>0</integer>
4187          </dict>
4188          <dict>
4189           <key>line</key><integer>135</integer>
4190           <key>col</key><integer>5</integer>
4191           <key>file</key><integer>0</integer>
4192          </dict>
4193         </array>
4194        <key>end</key>
4195         <array>
4196          <dict>
4197           <key>line</key><integer>135</integer>
4198           <key>col</key><integer>33</integer>
4199           <key>file</key><integer>0</integer>
4200          </dict>
4201          <dict>
4202           <key>line</key><integer>135</integer>
4203           <key>col</key><integer>33</integer>
4204           <key>file</key><integer>0</integer>
4205          </dict>
4206         </array>
4207       </dict>
4208      </array>
4209    </dict>
4210    <dict>
4211     <key>kind</key><string>event</string>
4212     <key>location</key>
4213     <dict>
4214      <key>line</key><integer>135</integer>
4215      <key>col</key><integer>33</integer>
4216      <key>file</key><integer>0</integer>
4217     </dict>
4218     <key>ranges</key>
4219     <array>
4220       <array>
4221        <dict>
4222         <key>line</key><integer>135</integer>
4223         <key>col</key><integer>33</integer>
4224         <key>file</key><integer>0</integer>
4225        </dict>
4226        <dict>
4227         <key>line</key><integer>135</integer>
4228         <key>col</key><integer>37</integer>
4229         <key>file</key><integer>0</integer>
4230        </dict>
4231       </array>
4232     </array>
4233     <key>depth</key><integer>0</integer>
4234     <key>extended_message</key>
4235     <string>Null pointer value stored to &apos;p&apos;</string>
4236     <key>message</key>
4237     <string>Null pointer value stored to &apos;p&apos;</string>
4238    </dict>
4239    <dict>
4240     <key>kind</key><string>control</string>
4241     <key>edges</key>
4242      <array>
4243       <dict>
4244        <key>start</key>
4245         <array>
4246          <dict>
4247           <key>line</key><integer>135</integer>
4248           <key>col</key><integer>33</integer>
4249           <key>file</key><integer>0</integer>
4250          </dict>
4251          <dict>
4252           <key>line</key><integer>135</integer>
4253           <key>col</key><integer>33</integer>
4254           <key>file</key><integer>0</integer>
4255          </dict>
4256         </array>
4257        <key>end</key>
4258         <array>
4259          <dict>
4260           <key>line</key><integer>135</integer>
4261           <key>col</key><integer>40</integer>
4262           <key>file</key><integer>0</integer>
4263          </dict>
4264          <dict>
4265           <key>line</key><integer>135</integer>
4266           <key>col</key><integer>40</integer>
4267           <key>file</key><integer>0</integer>
4268          </dict>
4269         </array>
4270       </dict>
4271      </array>
4272    </dict>
4273    <dict>
4274     <key>kind</key><string>control</string>
4275     <key>edges</key>
4276      <array>
4277       <dict>
4278        <key>start</key>
4279         <array>
4280          <dict>
4281           <key>line</key><integer>135</integer>
4282           <key>col</key><integer>40</integer>
4283           <key>file</key><integer>0</integer>
4284          </dict>
4285          <dict>
4286           <key>line</key><integer>135</integer>
4287           <key>col</key><integer>40</integer>
4288           <key>file</key><integer>0</integer>
4289          </dict>
4290         </array>
4291        <key>end</key>
4292         <array>
4293          <dict>
4294           <key>line</key><integer>135</integer>
4295           <key>col</key><integer>3</integer>
4296           <key>file</key><integer>0</integer>
4297          </dict>
4298          <dict>
4299           <key>line</key><integer>135</integer>
4300           <key>col</key><integer>5</integer>
4301           <key>file</key><integer>0</integer>
4302          </dict>
4303         </array>
4304       </dict>
4305      </array>
4306    </dict>
4307    <dict>
4308     <key>kind</key><string>event</string>
4309     <key>location</key>
4310     <dict>
4311      <key>line</key><integer>135</integer>
4312      <key>col</key><integer>3</integer>
4313      <key>file</key><integer>0</integer>
4314     </dict>
4315     <key>ranges</key>
4316     <array>
4317       <array>
4318        <dict>
4319         <key>line</key><integer>135</integer>
4320         <key>col</key><integer>3</integer>
4321         <key>file</key><integer>0</integer>
4322        </dict>
4323        <dict>
4324         <key>line</key><integer>135</integer>
4325         <key>col</key><integer>5</integer>
4326         <key>file</key><integer>0</integer>
4327        </dict>
4328       </array>
4329     </array>
4330     <key>depth</key><integer>0</integer>
4331     <key>extended_message</key>
4332     <string>Looping back to the head of the loop</string>
4333     <key>message</key>
4334     <string>Looping back to the head of the loop</string>
4335    </dict>
4336    <dict>
4337     <key>kind</key><string>control</string>
4338     <key>edges</key>
4339      <array>
4340       <dict>
4341        <key>start</key>
4342         <array>
4343          <dict>
4344           <key>line</key><integer>135</integer>
4345           <key>col</key><integer>3</integer>
4346           <key>file</key><integer>0</integer>
4347          </dict>
4348          <dict>
4349           <key>line</key><integer>135</integer>
4350           <key>col</key><integer>5</integer>
4351           <key>file</key><integer>0</integer>
4352          </dict>
4353         </array>
4354        <key>end</key>
4355         <array>
4356          <dict>
4357           <key>line</key><integer>136</integer>
4358           <key>col</key><integer>3</integer>
4359           <key>file</key><integer>0</integer>
4360          </dict>
4361          <dict>
4362           <key>line</key><integer>136</integer>
4363           <key>col</key><integer>3</integer>
4364           <key>file</key><integer>0</integer>
4365          </dict>
4366         </array>
4367       </dict>
4368      </array>
4369    </dict>
4370    <dict>
4371     <key>kind</key><string>control</string>
4372     <key>edges</key>
4373      <array>
4374       <dict>
4375        <key>start</key>
4376         <array>
4377          <dict>
4378           <key>line</key><integer>136</integer>
4379           <key>col</key><integer>3</integer>
4380           <key>file</key><integer>0</integer>
4381          </dict>
4382          <dict>
4383           <key>line</key><integer>136</integer>
4384           <key>col</key><integer>3</integer>
4385           <key>file</key><integer>0</integer>
4386          </dict>
4387         </array>
4388        <key>end</key>
4389         <array>
4390          <dict>
4391           <key>line</key><integer>136</integer>
4392           <key>col</key><integer>6</integer>
4393           <key>file</key><integer>0</integer>
4394          </dict>
4395          <dict>
4396           <key>line</key><integer>136</integer>
4397           <key>col</key><integer>6</integer>
4398           <key>file</key><integer>0</integer>
4399          </dict>
4400         </array>
4401       </dict>
4402      </array>
4403    </dict>
4404    <dict>
4405     <key>kind</key><string>event</string>
4406     <key>location</key>
4407     <dict>
4408      <key>line</key><integer>136</integer>
4409      <key>col</key><integer>6</integer>
4410      <key>file</key><integer>0</integer>
4411     </dict>
4412     <key>ranges</key>
4413     <array>
4414       <array>
4415        <dict>
4416         <key>line</key><integer>136</integer>
4417         <key>col</key><integer>4</integer>
4418         <key>file</key><integer>0</integer>
4419        </dict>
4420        <dict>
4421         <key>line</key><integer>136</integer>
4422         <key>col</key><integer>4</integer>
4423         <key>file</key><integer>0</integer>
4424        </dict>
4425       </array>
4426     </array>
4427     <key>depth</key><integer>0</integer>
4428     <key>extended_message</key>
4429     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
4430     <key>message</key>
4431     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
4432    </dict>
4433   </array>
4434   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
4435   <key>category</key><string>Logic error</string>
4436   <key>type</key><string>Dereference of null pointer</string>
4437   <key>check_name</key><string>core.NullDereference</string>
4438   <!-- This hash is experimental and going to change! -->
4439   <key>issue_hash_content_of_line_in_context</key><string>4cbbc713c8267513fef8a33f1327d7ca</string>
4440  <key>issue_context_kind</key><string>function</string>
4441  <key>issue_context</key><string>test_loop_diagnostics</string>
4442  <key>issue_hash_function_offset</key><string>3</string>
4443  <key>location</key>
4444  <dict>
4445   <key>line</key><integer>136</integer>
4446   <key>col</key><integer>6</integer>
4447   <key>file</key><integer>0</integer>
4448  </dict>
4449  <key>ExecutedLines</key>
4450  <dict>
4451   <key>0</key>
4452   <array>
4453    <integer>133</integer>
4454    <integer>134</integer>
4455    <integer>135</integer>
4456    <integer>136</integer>
4457   </array>
4458  </dict>
4459  </dict>
4460  <dict>
4461   <key>path</key>
4462   <array>
4463    <dict>
4464     <key>kind</key><string>control</string>
4465     <key>edges</key>
4466      <array>
4467       <dict>
4468        <key>start</key>
4469         <array>
4470          <dict>
4471           <key>line</key><integer>140</integer>
4472           <key>col</key><integer>3</integer>
4473           <key>file</key><integer>0</integer>
4474          </dict>
4475          <dict>
4476           <key>line</key><integer>140</integer>
4477           <key>col</key><integer>5</integer>
4478           <key>file</key><integer>0</integer>
4479          </dict>
4480         </array>
4481        <key>end</key>
4482         <array>
4483          <dict>
4484           <key>line</key><integer>141</integer>
4485           <key>col</key><integer>3</integer>
4486           <key>file</key><integer>0</integer>
4487          </dict>
4488          <dict>
4489           <key>line</key><integer>141</integer>
4490           <key>col</key><integer>5</integer>
4491           <key>file</key><integer>0</integer>
4492          </dict>
4493         </array>
4494       </dict>
4495      </array>
4496    </dict>
4497    <dict>
4498     <key>kind</key><string>event</string>
4499     <key>location</key>
4500     <dict>
4501      <key>line</key><integer>141</integer>
4502      <key>col</key><integer>19</integer>
4503      <key>file</key><integer>0</integer>
4504     </dict>
4505     <key>ranges</key>
4506     <array>
4507       <array>
4508        <dict>
4509         <key>line</key><integer>141</integer>
4510         <key>col</key><integer>19</integer>
4511         <key>file</key><integer>0</integer>
4512        </dict>
4513        <dict>
4514         <key>line</key><integer>141</integer>
4515         <key>col</key><integer>23</integer>
4516         <key>file</key><integer>0</integer>
4517        </dict>
4518       </array>
4519     </array>
4520     <key>depth</key><integer>0</integer>
4521     <key>extended_message</key>
4522     <string>Entering loop body</string>
4523     <key>message</key>
4524     <string>Entering loop body</string>
4525    </dict>
4526    <dict>
4527     <key>kind</key><string>control</string>
4528     <key>edges</key>
4529      <array>
4530       <dict>
4531        <key>start</key>
4532         <array>
4533          <dict>
4534           <key>line</key><integer>141</integer>
4535           <key>col</key><integer>3</integer>
4536           <key>file</key><integer>0</integer>
4537          </dict>
4538          <dict>
4539           <key>line</key><integer>141</integer>
4540           <key>col</key><integer>5</integer>
4541           <key>file</key><integer>0</integer>
4542          </dict>
4543         </array>
4544        <key>end</key>
4545         <array>
4546          <dict>
4547           <key>line</key><integer>142</integer>
4548           <key>col</key><integer>5</integer>
4549           <key>file</key><integer>0</integer>
4550          </dict>
4551          <dict>
4552           <key>line</key><integer>142</integer>
4553           <key>col</key><integer>6</integer>
4554           <key>file</key><integer>0</integer>
4555          </dict>
4556         </array>
4557       </dict>
4558      </array>
4559    </dict>
4560    <dict>
4561     <key>kind</key><string>control</string>
4562     <key>edges</key>
4563      <array>
4564       <dict>
4565        <key>start</key>
4566         <array>
4567          <dict>
4568           <key>line</key><integer>142</integer>
4569           <key>col</key><integer>5</integer>
4570           <key>file</key><integer>0</integer>
4571          </dict>
4572          <dict>
4573           <key>line</key><integer>142</integer>
4574           <key>col</key><integer>6</integer>
4575           <key>file</key><integer>0</integer>
4576          </dict>
4577         </array>
4578        <key>end</key>
4579         <array>
4580          <dict>
4581           <key>line</key><integer>143</integer>
4582           <key>col</key><integer>5</integer>
4583           <key>file</key><integer>0</integer>
4584          </dict>
4585          <dict>
4586           <key>line</key><integer>143</integer>
4587           <key>col</key><integer>5</integer>
4588           <key>file</key><integer>0</integer>
4589          </dict>
4590         </array>
4591       </dict>
4592      </array>
4593    </dict>
4594    <dict>
4595     <key>kind</key><string>control</string>
4596     <key>edges</key>
4597      <array>
4598       <dict>
4599        <key>start</key>
4600         <array>
4601          <dict>
4602           <key>line</key><integer>143</integer>
4603           <key>col</key><integer>5</integer>
4604           <key>file</key><integer>0</integer>
4605          </dict>
4606          <dict>
4607           <key>line</key><integer>143</integer>
4608           <key>col</key><integer>5</integer>
4609           <key>file</key><integer>0</integer>
4610          </dict>
4611         </array>
4612        <key>end</key>
4613         <array>
4614          <dict>
4615           <key>line</key><integer>144</integer>
4616           <key>col</key><integer>3</integer>
4617           <key>file</key><integer>0</integer>
4618          </dict>
4619          <dict>
4620           <key>line</key><integer>144</integer>
4621           <key>col</key><integer>3</integer>
4622           <key>file</key><integer>0</integer>
4623          </dict>
4624         </array>
4625       </dict>
4626      </array>
4627    </dict>
4628    <dict>
4629     <key>kind</key><string>control</string>
4630     <key>edges</key>
4631      <array>
4632       <dict>
4633        <key>start</key>
4634         <array>
4635          <dict>
4636           <key>line</key><integer>144</integer>
4637           <key>col</key><integer>3</integer>
4638           <key>file</key><integer>0</integer>
4639          </dict>
4640          <dict>
4641           <key>line</key><integer>144</integer>
4642           <key>col</key><integer>3</integer>
4643           <key>file</key><integer>0</integer>
4644          </dict>
4645         </array>
4646        <key>end</key>
4647         <array>
4648          <dict>
4649           <key>line</key><integer>141</integer>
4650           <key>col</key><integer>3</integer>
4651           <key>file</key><integer>0</integer>
4652          </dict>
4653          <dict>
4654           <key>line</key><integer>141</integer>
4655           <key>col</key><integer>5</integer>
4656           <key>file</key><integer>0</integer>
4657          </dict>
4658         </array>
4659       </dict>
4660      </array>
4661    </dict>
4662    <dict>
4663     <key>kind</key><string>event</string>
4664     <key>location</key>
4665     <dict>
4666      <key>line</key><integer>141</integer>
4667      <key>col</key><integer>3</integer>
4668      <key>file</key><integer>0</integer>
4669     </dict>
4670     <key>ranges</key>
4671     <array>
4672       <array>
4673        <dict>
4674         <key>line</key><integer>141</integer>
4675         <key>col</key><integer>3</integer>
4676         <key>file</key><integer>0</integer>
4677        </dict>
4678        <dict>
4679         <key>line</key><integer>141</integer>
4680         <key>col</key><integer>5</integer>
4681         <key>file</key><integer>0</integer>
4682        </dict>
4683       </array>
4684     </array>
4685     <key>depth</key><integer>0</integer>
4686     <key>extended_message</key>
4687     <string>Looping back to the head of the loop</string>
4688     <key>message</key>
4689     <string>Looping back to the head of the loop</string>
4690    </dict>
4691    <dict>
4692     <key>kind</key><string>event</string>
4693     <key>location</key>
4694     <dict>
4695      <key>line</key><integer>141</integer>
4696      <key>col</key><integer>19</integer>
4697      <key>file</key><integer>0</integer>
4698     </dict>
4699     <key>ranges</key>
4700     <array>
4701       <array>
4702        <dict>
4703         <key>line</key><integer>141</integer>
4704         <key>col</key><integer>19</integer>
4705         <key>file</key><integer>0</integer>
4706        </dict>
4707        <dict>
4708         <key>line</key><integer>141</integer>
4709         <key>col</key><integer>23</integer>
4710         <key>file</key><integer>0</integer>
4711        </dict>
4712       </array>
4713     </array>
4714     <key>depth</key><integer>0</integer>
4715     <key>extended_message</key>
4716     <string>Entering loop body</string>
4717     <key>message</key>
4718     <string>Entering loop body</string>
4719    </dict>
4720    <dict>
4721     <key>kind</key><string>control</string>
4722     <key>edges</key>
4723      <array>
4724       <dict>
4725        <key>start</key>
4726         <array>
4727          <dict>
4728           <key>line</key><integer>141</integer>
4729           <key>col</key><integer>3</integer>
4730           <key>file</key><integer>0</integer>
4731          </dict>
4732          <dict>
4733           <key>line</key><integer>141</integer>
4734           <key>col</key><integer>5</integer>
4735           <key>file</key><integer>0</integer>
4736          </dict>
4737         </array>
4738        <key>end</key>
4739         <array>
4740          <dict>
4741           <key>line</key><integer>142</integer>
4742           <key>col</key><integer>5</integer>
4743           <key>file</key><integer>0</integer>
4744          </dict>
4745          <dict>
4746           <key>line</key><integer>142</integer>
4747           <key>col</key><integer>6</integer>
4748           <key>file</key><integer>0</integer>
4749          </dict>
4750         </array>
4751       </dict>
4752      </array>
4753    </dict>
4754    <dict>
4755     <key>kind</key><string>control</string>
4756     <key>edges</key>
4757      <array>
4758       <dict>
4759        <key>start</key>
4760         <array>
4761          <dict>
4762           <key>line</key><integer>142</integer>
4763           <key>col</key><integer>5</integer>
4764           <key>file</key><integer>0</integer>
4765          </dict>
4766          <dict>
4767           <key>line</key><integer>142</integer>
4768           <key>col</key><integer>6</integer>
4769           <key>file</key><integer>0</integer>
4770          </dict>
4771         </array>
4772        <key>end</key>
4773         <array>
4774          <dict>
4775           <key>line</key><integer>143</integer>
4776           <key>col</key><integer>5</integer>
4777           <key>file</key><integer>0</integer>
4778          </dict>
4779          <dict>
4780           <key>line</key><integer>143</integer>
4781           <key>col</key><integer>5</integer>
4782           <key>file</key><integer>0</integer>
4783          </dict>
4784         </array>
4785       </dict>
4786      </array>
4787    </dict>
4788    <dict>
4789     <key>kind</key><string>event</string>
4790     <key>location</key>
4791     <dict>
4792      <key>line</key><integer>143</integer>
4793      <key>col</key><integer>5</integer>
4794      <key>file</key><integer>0</integer>
4795     </dict>
4796     <key>ranges</key>
4797     <array>
4798       <array>
4799        <dict>
4800         <key>line</key><integer>143</integer>
4801         <key>col</key><integer>5</integer>
4802         <key>file</key><integer>0</integer>
4803        </dict>
4804        <dict>
4805         <key>line</key><integer>143</integer>
4806         <key>col</key><integer>9</integer>
4807         <key>file</key><integer>0</integer>
4808        </dict>
4809       </array>
4810     </array>
4811     <key>depth</key><integer>0</integer>
4812     <key>extended_message</key>
4813     <string>Null pointer value stored to &apos;p&apos;</string>
4814     <key>message</key>
4815     <string>Null pointer value stored to &apos;p&apos;</string>
4816    </dict>
4817    <dict>
4818     <key>kind</key><string>control</string>
4819     <key>edges</key>
4820      <array>
4821       <dict>
4822        <key>start</key>
4823         <array>
4824          <dict>
4825           <key>line</key><integer>143</integer>
4826           <key>col</key><integer>5</integer>
4827           <key>file</key><integer>0</integer>
4828          </dict>
4829          <dict>
4830           <key>line</key><integer>143</integer>
4831           <key>col</key><integer>5</integer>
4832           <key>file</key><integer>0</integer>
4833          </dict>
4834         </array>
4835        <key>end</key>
4836         <array>
4837          <dict>
4838           <key>line</key><integer>144</integer>
4839           <key>col</key><integer>3</integer>
4840           <key>file</key><integer>0</integer>
4841          </dict>
4842          <dict>
4843           <key>line</key><integer>144</integer>
4844           <key>col</key><integer>3</integer>
4845           <key>file</key><integer>0</integer>
4846          </dict>
4847         </array>
4848       </dict>
4849      </array>
4850    </dict>
4851    <dict>
4852     <key>kind</key><string>control</string>
4853     <key>edges</key>
4854      <array>
4855       <dict>
4856        <key>start</key>
4857         <array>
4858          <dict>
4859           <key>line</key><integer>144</integer>
4860           <key>col</key><integer>3</integer>
4861           <key>file</key><integer>0</integer>
4862          </dict>
4863          <dict>
4864           <key>line</key><integer>144</integer>
4865           <key>col</key><integer>3</integer>
4866           <key>file</key><integer>0</integer>
4867          </dict>
4868         </array>
4869        <key>end</key>
4870         <array>
4871          <dict>
4872           <key>line</key><integer>141</integer>
4873           <key>col</key><integer>3</integer>
4874           <key>file</key><integer>0</integer>
4875          </dict>
4876          <dict>
4877           <key>line</key><integer>141</integer>
4878           <key>col</key><integer>5</integer>
4879           <key>file</key><integer>0</integer>
4880          </dict>
4881         </array>
4882       </dict>
4883      </array>
4884    </dict>
4885    <dict>
4886     <key>kind</key><string>event</string>
4887     <key>location</key>
4888     <dict>
4889      <key>line</key><integer>141</integer>
4890      <key>col</key><integer>3</integer>
4891      <key>file</key><integer>0</integer>
4892     </dict>
4893     <key>ranges</key>
4894     <array>
4895       <array>
4896        <dict>
4897         <key>line</key><integer>141</integer>
4898         <key>col</key><integer>3</integer>
4899         <key>file</key><integer>0</integer>
4900        </dict>
4901        <dict>
4902         <key>line</key><integer>141</integer>
4903         <key>col</key><integer>5</integer>
4904         <key>file</key><integer>0</integer>
4905        </dict>
4906       </array>
4907     </array>
4908     <key>depth</key><integer>0</integer>
4909     <key>extended_message</key>
4910     <string>Looping back to the head of the loop</string>
4911     <key>message</key>
4912     <string>Looping back to the head of the loop</string>
4913    </dict>
4914    <dict>
4915     <key>kind</key><string>control</string>
4916     <key>edges</key>
4917      <array>
4918       <dict>
4919        <key>start</key>
4920         <array>
4921          <dict>
4922           <key>line</key><integer>141</integer>
4923           <key>col</key><integer>3</integer>
4924           <key>file</key><integer>0</integer>
4925          </dict>
4926          <dict>
4927           <key>line</key><integer>141</integer>
4928           <key>col</key><integer>5</integer>
4929           <key>file</key><integer>0</integer>
4930          </dict>
4931         </array>
4932        <key>end</key>
4933         <array>
4934          <dict>
4935           <key>line</key><integer>145</integer>
4936           <key>col</key><integer>3</integer>
4937           <key>file</key><integer>0</integer>
4938          </dict>
4939          <dict>
4940           <key>line</key><integer>145</integer>
4941           <key>col</key><integer>3</integer>
4942           <key>file</key><integer>0</integer>
4943          </dict>
4944         </array>
4945       </dict>
4946      </array>
4947    </dict>
4948    <dict>
4949     <key>kind</key><string>control</string>
4950     <key>edges</key>
4951      <array>
4952       <dict>
4953        <key>start</key>
4954         <array>
4955          <dict>
4956           <key>line</key><integer>145</integer>
4957           <key>col</key><integer>3</integer>
4958           <key>file</key><integer>0</integer>
4959          </dict>
4960          <dict>
4961           <key>line</key><integer>145</integer>
4962           <key>col</key><integer>3</integer>
4963           <key>file</key><integer>0</integer>
4964          </dict>
4965         </array>
4966        <key>end</key>
4967         <array>
4968          <dict>
4969           <key>line</key><integer>145</integer>
4970           <key>col</key><integer>6</integer>
4971           <key>file</key><integer>0</integer>
4972          </dict>
4973          <dict>
4974           <key>line</key><integer>145</integer>
4975           <key>col</key><integer>6</integer>
4976           <key>file</key><integer>0</integer>
4977          </dict>
4978         </array>
4979       </dict>
4980      </array>
4981    </dict>
4982    <dict>
4983     <key>kind</key><string>event</string>
4984     <key>location</key>
4985     <dict>
4986      <key>line</key><integer>145</integer>
4987      <key>col</key><integer>6</integer>
4988      <key>file</key><integer>0</integer>
4989     </dict>
4990     <key>ranges</key>
4991     <array>
4992       <array>
4993        <dict>
4994         <key>line</key><integer>145</integer>
4995         <key>col</key><integer>4</integer>
4996         <key>file</key><integer>0</integer>
4997        </dict>
4998        <dict>
4999         <key>line</key><integer>145</integer>
5000         <key>col</key><integer>4</integer>
5001         <key>file</key><integer>0</integer>
5002        </dict>
5003       </array>
5004     </array>
5005     <key>depth</key><integer>0</integer>
5006     <key>extended_message</key>
5007     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
5008     <key>message</key>
5009     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
5010    </dict>
5011   </array>
5012   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
5013   <key>category</key><string>Logic error</string>
5014   <key>type</key><string>Dereference of null pointer</string>
5015   <key>check_name</key><string>core.NullDereference</string>
5016   <!-- This hash is experimental and going to change! -->
5017   <key>issue_hash_content_of_line_in_context</key><string>a5aa7cf7ce6ba6683bebfff63df926fd</string>
5018  <key>issue_context_kind</key><string>function</string>
5019  <key>issue_context</key><string>test_loop_diagnostics_2</string>
5020  <key>issue_hash_function_offset</key><string>6</string>
5021  <key>location</key>
5022  <dict>
5023   <key>line</key><integer>145</integer>
5024   <key>col</key><integer>6</integer>
5025   <key>file</key><integer>0</integer>
5026  </dict>
5027  <key>ExecutedLines</key>
5028  <dict>
5029   <key>0</key>
5030   <array>
5031    <integer>139</integer>
5032    <integer>140</integer>
5033    <integer>141</integer>
5034    <integer>142</integer>
5035    <integer>143</integer>
5036    <integer>144</integer>
5037    <integer>145</integer>
5038   </array>
5039  </dict>
5040  </dict>
5041  <dict>
5042   <key>path</key>
5043   <array>
5044    <dict>
5045     <key>kind</key><string>control</string>
5046     <key>edges</key>
5047      <array>
5048       <dict>
5049        <key>start</key>
5050         <array>
5051          <dict>
5052           <key>line</key><integer>149</integer>
5053           <key>col</key><integer>3</integer>
5054           <key>file</key><integer>0</integer>
5055          </dict>
5056          <dict>
5057           <key>line</key><integer>149</integer>
5058           <key>col</key><integer>5</integer>
5059           <key>file</key><integer>0</integer>
5060          </dict>
5061         </array>
5062        <key>end</key>
5063         <array>
5064          <dict>
5065           <key>line</key><integer>151</integer>
5066           <key>col</key><integer>3</integer>
5067           <key>file</key><integer>0</integer>
5068          </dict>
5069          <dict>
5070           <key>line</key><integer>151</integer>
5071           <key>col</key><integer>7</integer>
5072           <key>file</key><integer>0</integer>
5073          </dict>
5074         </array>
5075       </dict>
5076      </array>
5077    </dict>
5078    <dict>
5079     <key>kind</key><string>event</string>
5080     <key>location</key>
5081     <dict>
5082      <key>line</key><integer>151</integer>
5083      <key>col</key><integer>10</integer>
5084      <key>file</key><integer>0</integer>
5085     </dict>
5086     <key>ranges</key>
5087     <array>
5088       <array>
5089        <dict>
5090         <key>line</key><integer>151</integer>
5091         <key>col</key><integer>10</integer>
5092         <key>file</key><integer>0</integer>
5093        </dict>
5094        <dict>
5095         <key>line</key><integer>151</integer>
5096         <key>col</key><integer>14</integer>
5097         <key>file</key><integer>0</integer>
5098        </dict>
5099       </array>
5100     </array>
5101     <key>depth</key><integer>0</integer>
5102     <key>extended_message</key>
5103     <string>Entering loop body</string>
5104     <key>message</key>
5105     <string>Entering loop body</string>
5106    </dict>
5107    <dict>
5108     <key>kind</key><string>control</string>
5109     <key>edges</key>
5110      <array>
5111       <dict>
5112        <key>start</key>
5113         <array>
5114          <dict>
5115           <key>line</key><integer>151</integer>
5116           <key>col</key><integer>3</integer>
5117           <key>file</key><integer>0</integer>
5118          </dict>
5119          <dict>
5120           <key>line</key><integer>151</integer>
5121           <key>col</key><integer>7</integer>
5122           <key>file</key><integer>0</integer>
5123          </dict>
5124         </array>
5125        <key>end</key>
5126         <array>
5127          <dict>
5128           <key>line</key><integer>152</integer>
5129           <key>col</key><integer>5</integer>
5130           <key>file</key><integer>0</integer>
5131          </dict>
5132          <dict>
5133           <key>line</key><integer>152</integer>
5134           <key>col</key><integer>6</integer>
5135           <key>file</key><integer>0</integer>
5136          </dict>
5137         </array>
5138       </dict>
5139      </array>
5140    </dict>
5141    <dict>
5142     <key>kind</key><string>control</string>
5143     <key>edges</key>
5144      <array>
5145       <dict>
5146        <key>start</key>
5147         <array>
5148          <dict>
5149           <key>line</key><integer>152</integer>
5150           <key>col</key><integer>5</integer>
5151           <key>file</key><integer>0</integer>
5152          </dict>
5153          <dict>
5154           <key>line</key><integer>152</integer>
5155           <key>col</key><integer>6</integer>
5156           <key>file</key><integer>0</integer>
5157          </dict>
5158         </array>
5159        <key>end</key>
5160         <array>
5161          <dict>
5162           <key>line</key><integer>153</integer>
5163           <key>col</key><integer>5</integer>
5164           <key>file</key><integer>0</integer>
5165          </dict>
5166          <dict>
5167           <key>line</key><integer>153</integer>
5168           <key>col</key><integer>5</integer>
5169           <key>file</key><integer>0</integer>
5170          </dict>
5171         </array>
5172       </dict>
5173      </array>
5174    </dict>
5175    <dict>
5176     <key>kind</key><string>control</string>
5177     <key>edges</key>
5178      <array>
5179       <dict>
5180        <key>start</key>
5181         <array>
5182          <dict>
5183           <key>line</key><integer>153</integer>
5184           <key>col</key><integer>5</integer>
5185           <key>file</key><integer>0</integer>
5186          </dict>
5187          <dict>
5188           <key>line</key><integer>153</integer>
5189           <key>col</key><integer>5</integer>
5190           <key>file</key><integer>0</integer>
5191          </dict>
5192         </array>
5193        <key>end</key>
5194         <array>
5195          <dict>
5196           <key>line</key><integer>154</integer>
5197           <key>col</key><integer>3</integer>
5198           <key>file</key><integer>0</integer>
5199          </dict>
5200          <dict>
5201           <key>line</key><integer>154</integer>
5202           <key>col</key><integer>3</integer>
5203           <key>file</key><integer>0</integer>
5204          </dict>
5205         </array>
5206       </dict>
5207      </array>
5208    </dict>
5209    <dict>
5210     <key>kind</key><string>control</string>
5211     <key>edges</key>
5212      <array>
5213       <dict>
5214        <key>start</key>
5215         <array>
5216          <dict>
5217           <key>line</key><integer>154</integer>
5218           <key>col</key><integer>3</integer>
5219           <key>file</key><integer>0</integer>
5220          </dict>
5221          <dict>
5222           <key>line</key><integer>154</integer>
5223           <key>col</key><integer>3</integer>
5224           <key>file</key><integer>0</integer>
5225          </dict>
5226         </array>
5227        <key>end</key>
5228         <array>
5229          <dict>
5230           <key>line</key><integer>151</integer>
5231           <key>col</key><integer>3</integer>
5232           <key>file</key><integer>0</integer>
5233          </dict>
5234          <dict>
5235           <key>line</key><integer>151</integer>
5236           <key>col</key><integer>7</integer>
5237           <key>file</key><integer>0</integer>
5238          </dict>
5239         </array>
5240       </dict>
5241      </array>
5242    </dict>
5243    <dict>
5244     <key>kind</key><string>event</string>
5245     <key>location</key>
5246     <dict>
5247      <key>line</key><integer>151</integer>
5248      <key>col</key><integer>3</integer>
5249      <key>file</key><integer>0</integer>
5250     </dict>
5251     <key>ranges</key>
5252     <array>
5253       <array>
5254        <dict>
5255         <key>line</key><integer>151</integer>
5256         <key>col</key><integer>3</integer>
5257         <key>file</key><integer>0</integer>
5258        </dict>
5259        <dict>
5260         <key>line</key><integer>151</integer>
5261         <key>col</key><integer>7</integer>
5262         <key>file</key><integer>0</integer>
5263        </dict>
5264       </array>
5265     </array>
5266     <key>depth</key><integer>0</integer>
5267     <key>extended_message</key>
5268     <string>Looping back to the head of the loop</string>
5269     <key>message</key>
5270     <string>Looping back to the head of the loop</string>
5271    </dict>
5272    <dict>
5273     <key>kind</key><string>event</string>
5274     <key>location</key>
5275     <dict>
5276      <key>line</key><integer>151</integer>
5277      <key>col</key><integer>10</integer>
5278      <key>file</key><integer>0</integer>
5279     </dict>
5280     <key>ranges</key>
5281     <array>
5282       <array>
5283        <dict>
5284         <key>line</key><integer>151</integer>
5285         <key>col</key><integer>10</integer>
5286         <key>file</key><integer>0</integer>
5287        </dict>
5288        <dict>
5289         <key>line</key><integer>151</integer>
5290         <key>col</key><integer>14</integer>
5291         <key>file</key><integer>0</integer>
5292        </dict>
5293       </array>
5294     </array>
5295     <key>depth</key><integer>0</integer>
5296     <key>extended_message</key>
5297     <string>Entering loop body</string>
5298     <key>message</key>
5299     <string>Entering loop body</string>
5300    </dict>
5301    <dict>
5302     <key>kind</key><string>control</string>
5303     <key>edges</key>
5304      <array>
5305       <dict>
5306        <key>start</key>
5307         <array>
5308          <dict>
5309           <key>line</key><integer>151</integer>
5310           <key>col</key><integer>3</integer>
5311           <key>file</key><integer>0</integer>
5312          </dict>
5313          <dict>
5314           <key>line</key><integer>151</integer>
5315           <key>col</key><integer>7</integer>
5316           <key>file</key><integer>0</integer>
5317          </dict>
5318         </array>
5319        <key>end</key>
5320         <array>
5321          <dict>
5322           <key>line</key><integer>152</integer>
5323           <key>col</key><integer>5</integer>
5324           <key>file</key><integer>0</integer>
5325          </dict>
5326          <dict>
5327           <key>line</key><integer>152</integer>
5328           <key>col</key><integer>6</integer>
5329           <key>file</key><integer>0</integer>
5330          </dict>
5331         </array>
5332       </dict>
5333      </array>
5334    </dict>
5335    <dict>
5336     <key>kind</key><string>control</string>
5337     <key>edges</key>
5338      <array>
5339       <dict>
5340        <key>start</key>
5341         <array>
5342          <dict>
5343           <key>line</key><integer>152</integer>
5344           <key>col</key><integer>5</integer>
5345           <key>file</key><integer>0</integer>
5346          </dict>
5347          <dict>
5348           <key>line</key><integer>152</integer>
5349           <key>col</key><integer>6</integer>
5350           <key>file</key><integer>0</integer>
5351          </dict>
5352         </array>
5353        <key>end</key>
5354         <array>
5355          <dict>
5356           <key>line</key><integer>153</integer>
5357           <key>col</key><integer>5</integer>
5358           <key>file</key><integer>0</integer>
5359          </dict>
5360          <dict>
5361           <key>line</key><integer>153</integer>
5362           <key>col</key><integer>5</integer>
5363           <key>file</key><integer>0</integer>
5364          </dict>
5365         </array>
5366       </dict>
5367      </array>
5368    </dict>
5369    <dict>
5370     <key>kind</key><string>event</string>
5371     <key>location</key>
5372     <dict>
5373      <key>line</key><integer>153</integer>
5374      <key>col</key><integer>5</integer>
5375      <key>file</key><integer>0</integer>
5376     </dict>
5377     <key>ranges</key>
5378     <array>
5379       <array>
5380        <dict>
5381         <key>line</key><integer>153</integer>
5382         <key>col</key><integer>5</integer>
5383         <key>file</key><integer>0</integer>
5384        </dict>
5385        <dict>
5386         <key>line</key><integer>153</integer>
5387         <key>col</key><integer>9</integer>
5388         <key>file</key><integer>0</integer>
5389        </dict>
5390       </array>
5391     </array>
5392     <key>depth</key><integer>0</integer>
5393     <key>extended_message</key>
5394     <string>Null pointer value stored to &apos;p&apos;</string>
5395     <key>message</key>
5396     <string>Null pointer value stored to &apos;p&apos;</string>
5397    </dict>
5398    <dict>
5399     <key>kind</key><string>control</string>
5400     <key>edges</key>
5401      <array>
5402       <dict>
5403        <key>start</key>
5404         <array>
5405          <dict>
5406           <key>line</key><integer>153</integer>
5407           <key>col</key><integer>5</integer>
5408           <key>file</key><integer>0</integer>
5409          </dict>
5410          <dict>
5411           <key>line</key><integer>153</integer>
5412           <key>col</key><integer>5</integer>
5413           <key>file</key><integer>0</integer>
5414          </dict>
5415         </array>
5416        <key>end</key>
5417         <array>
5418          <dict>
5419           <key>line</key><integer>154</integer>
5420           <key>col</key><integer>3</integer>
5421           <key>file</key><integer>0</integer>
5422          </dict>
5423          <dict>
5424           <key>line</key><integer>154</integer>
5425           <key>col</key><integer>3</integer>
5426           <key>file</key><integer>0</integer>
5427          </dict>
5428         </array>
5429       </dict>
5430      </array>
5431    </dict>
5432    <dict>
5433     <key>kind</key><string>control</string>
5434     <key>edges</key>
5435      <array>
5436       <dict>
5437        <key>start</key>
5438         <array>
5439          <dict>
5440           <key>line</key><integer>154</integer>
5441           <key>col</key><integer>3</integer>
5442           <key>file</key><integer>0</integer>
5443          </dict>
5444          <dict>
5445           <key>line</key><integer>154</integer>
5446           <key>col</key><integer>3</integer>
5447           <key>file</key><integer>0</integer>
5448          </dict>
5449         </array>
5450        <key>end</key>
5451         <array>
5452          <dict>
5453           <key>line</key><integer>151</integer>
5454           <key>col</key><integer>3</integer>
5455           <key>file</key><integer>0</integer>
5456          </dict>
5457          <dict>
5458           <key>line</key><integer>151</integer>
5459           <key>col</key><integer>7</integer>
5460           <key>file</key><integer>0</integer>
5461          </dict>
5462         </array>
5463       </dict>
5464      </array>
5465    </dict>
5466    <dict>
5467     <key>kind</key><string>event</string>
5468     <key>location</key>
5469     <dict>
5470      <key>line</key><integer>151</integer>
5471      <key>col</key><integer>3</integer>
5472      <key>file</key><integer>0</integer>
5473     </dict>
5474     <key>ranges</key>
5475     <array>
5476       <array>
5477        <dict>
5478         <key>line</key><integer>151</integer>
5479         <key>col</key><integer>3</integer>
5480         <key>file</key><integer>0</integer>
5481        </dict>
5482        <dict>
5483         <key>line</key><integer>151</integer>
5484         <key>col</key><integer>7</integer>
5485         <key>file</key><integer>0</integer>
5486        </dict>
5487       </array>
5488     </array>
5489     <key>depth</key><integer>0</integer>
5490     <key>extended_message</key>
5491     <string>Looping back to the head of the loop</string>
5492     <key>message</key>
5493     <string>Looping back to the head of the loop</string>
5494    </dict>
5495    <dict>
5496     <key>kind</key><string>control</string>
5497     <key>edges</key>
5498      <array>
5499       <dict>
5500        <key>start</key>
5501         <array>
5502          <dict>
5503           <key>line</key><integer>151</integer>
5504           <key>col</key><integer>3</integer>
5505           <key>file</key><integer>0</integer>
5506          </dict>
5507          <dict>
5508           <key>line</key><integer>151</integer>
5509           <key>col</key><integer>7</integer>
5510           <key>file</key><integer>0</integer>
5511          </dict>
5512         </array>
5513        <key>end</key>
5514         <array>
5515          <dict>
5516           <key>line</key><integer>155</integer>
5517           <key>col</key><integer>3</integer>
5518           <key>file</key><integer>0</integer>
5519          </dict>
5520          <dict>
5521           <key>line</key><integer>155</integer>
5522           <key>col</key><integer>3</integer>
5523           <key>file</key><integer>0</integer>
5524          </dict>
5525         </array>
5526       </dict>
5527      </array>
5528    </dict>
5529    <dict>
5530     <key>kind</key><string>control</string>
5531     <key>edges</key>
5532      <array>
5533       <dict>
5534        <key>start</key>
5535         <array>
5536          <dict>
5537           <key>line</key><integer>155</integer>
5538           <key>col</key><integer>3</integer>
5539           <key>file</key><integer>0</integer>
5540          </dict>
5541          <dict>
5542           <key>line</key><integer>155</integer>
5543           <key>col</key><integer>3</integer>
5544           <key>file</key><integer>0</integer>
5545          </dict>
5546         </array>
5547        <key>end</key>
5548         <array>
5549          <dict>
5550           <key>line</key><integer>155</integer>
5551           <key>col</key><integer>6</integer>
5552           <key>file</key><integer>0</integer>
5553          </dict>
5554          <dict>
5555           <key>line</key><integer>155</integer>
5556           <key>col</key><integer>6</integer>
5557           <key>file</key><integer>0</integer>
5558          </dict>
5559         </array>
5560       </dict>
5561      </array>
5562    </dict>
5563    <dict>
5564     <key>kind</key><string>event</string>
5565     <key>location</key>
5566     <dict>
5567      <key>line</key><integer>155</integer>
5568      <key>col</key><integer>6</integer>
5569      <key>file</key><integer>0</integer>
5570     </dict>
5571     <key>ranges</key>
5572     <array>
5573       <array>
5574        <dict>
5575         <key>line</key><integer>155</integer>
5576         <key>col</key><integer>4</integer>
5577         <key>file</key><integer>0</integer>
5578        </dict>
5579        <dict>
5580         <key>line</key><integer>155</integer>
5581         <key>col</key><integer>4</integer>
5582         <key>file</key><integer>0</integer>
5583        </dict>
5584       </array>
5585     </array>
5586     <key>depth</key><integer>0</integer>
5587     <key>extended_message</key>
5588     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
5589     <key>message</key>
5590     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
5591    </dict>
5592   </array>
5593   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
5594   <key>category</key><string>Logic error</string>
5595   <key>type</key><string>Dereference of null pointer</string>
5596   <key>check_name</key><string>core.NullDereference</string>
5597   <!-- This hash is experimental and going to change! -->
5598   <key>issue_hash_content_of_line_in_context</key><string>3917bac4f8fdce1f6c6393b1f14a1320</string>
5599  <key>issue_context_kind</key><string>function</string>
5600  <key>issue_context</key><string>test_loop_diagnostics_3</string>
5601  <key>issue_hash_function_offset</key><string>7</string>
5602  <key>location</key>
5603  <dict>
5604   <key>line</key><integer>155</integer>
5605   <key>col</key><integer>6</integer>
5606   <key>file</key><integer>0</integer>
5607  </dict>
5608  <key>ExecutedLines</key>
5609  <dict>
5610   <key>0</key>
5611   <array>
5612    <integer>148</integer>
5613    <integer>149</integer>
5614    <integer>150</integer>
5615    <integer>151</integer>
5616    <integer>152</integer>
5617    <integer>153</integer>
5618    <integer>154</integer>
5619    <integer>155</integer>
5620   </array>
5621  </dict>
5622  </dict>
5623  <dict>
5624   <key>path</key>
5625   <array>
5626    <dict>
5627     <key>kind</key><string>event</string>
5628     <key>location</key>
5629     <dict>
5630      <key>line</key><integer>163</integer>
5631      <key>col</key><integer>3</integer>
5632      <key>file</key><integer>0</integer>
5633     </dict>
5634     <key>ranges</key>
5635     <array>
5636       <array>
5637        <dict>
5638         <key>line</key><integer>163</integer>
5639         <key>col</key><integer>8</integer>
5640         <key>file</key><integer>0</integer>
5641        </dict>
5642        <dict>
5643         <key>line</key><integer>163</integer>
5644         <key>col</key><integer>8</integer>
5645         <key>file</key><integer>0</integer>
5646        </dict>
5647       </array>
5648     </array>
5649     <key>depth</key><integer>0</integer>
5650     <key>extended_message</key>
5651     <string>Value stored to &apos;x&apos; is never read</string>
5652     <key>message</key>
5653     <string>Value stored to &apos;x&apos; is never read</string>
5654    </dict>
5655   </array>
5656   <key>description</key><string>Value stored to &apos;x&apos; is never read</string>
5657   <key>category</key><string>Dead store</string>
5658   <key>type</key><string>Dead increment</string>
5659   <key>check_name</key><string>deadcode.DeadStores</string>
5660   <!-- This hash is experimental and going to change! -->
5661   <key>issue_hash_content_of_line_in_context</key><string>c94f341ebaf0fac5d6703aaa7e6bee9b</string>
5662  <key>issue_context_kind</key><string>function</string>
5663  <key>issue_context</key><string>test_loop_fast_enumeration</string>
5664  <key>issue_hash_function_offset</key><string>5</string>
5665  <key>location</key>
5666  <dict>
5667   <key>line</key><integer>163</integer>
5668   <key>col</key><integer>3</integer>
5669   <key>file</key><integer>0</integer>
5670  </dict>
5671  <key>ExecutedLines</key>
5672  <dict>
5673   <key>0</key>
5674   <array>
5675    <integer>163</integer>
5676   </array>
5677  </dict>
5678  </dict>
5679  <dict>
5680   <key>path</key>
5681   <array>
5682    <dict>
5683     <key>kind</key><string>event</string>
5684     <key>location</key>
5685     <dict>
5686      <key>line</key><integer>159</integer>
5687      <key>col</key><integer>3</integer>
5688      <key>file</key><integer>0</integer>
5689     </dict>
5690     <key>ranges</key>
5691     <array>
5692       <array>
5693        <dict>
5694         <key>line</key><integer>159</integer>
5695         <key>col</key><integer>3</integer>
5696         <key>file</key><integer>0</integer>
5697        </dict>
5698        <dict>
5699         <key>line</key><integer>159</integer>
5700         <key>col</key><integer>7</integer>
5701         <key>file</key><integer>0</integer>
5702        </dict>
5703       </array>
5704     </array>
5705     <key>depth</key><integer>0</integer>
5706     <key>extended_message</key>
5707     <string>&apos;x&apos; declared without an initial value</string>
5708     <key>message</key>
5709     <string>&apos;x&apos; declared without an initial value</string>
5710    </dict>
5711    <dict>
5712     <key>kind</key><string>control</string>
5713     <key>edges</key>
5714      <array>
5715       <dict>
5716        <key>start</key>
5717         <array>
5718          <dict>
5719           <key>line</key><integer>159</integer>
5720           <key>col</key><integer>3</integer>
5721           <key>file</key><integer>0</integer>
5722          </dict>
5723          <dict>
5724           <key>line</key><integer>159</integer>
5725           <key>col</key><integer>5</integer>
5726           <key>file</key><integer>0</integer>
5727          </dict>
5728         </array>
5729        <key>end</key>
5730         <array>
5731          <dict>
5732           <key>line</key><integer>160</integer>
5733           <key>col</key><integer>3</integer>
5734           <key>file</key><integer>0</integer>
5735          </dict>
5736          <dict>
5737           <key>line</key><integer>160</integer>
5738           <key>col</key><integer>5</integer>
5739           <key>file</key><integer>0</integer>
5740          </dict>
5741         </array>
5742       </dict>
5743      </array>
5744    </dict>
5745    <dict>
5746     <key>kind</key><string>event</string>
5747     <key>location</key>
5748     <dict>
5749      <key>line</key><integer>160</integer>
5750      <key>col</key><integer>8</integer>
5751      <key>file</key><integer>0</integer>
5752     </dict>
5753     <key>ranges</key>
5754     <array>
5755       <array>
5756        <dict>
5757         <key>line</key><integer>160</integer>
5758         <key>col</key><integer>8</integer>
5759         <key>file</key><integer>0</integer>
5760        </dict>
5761        <dict>
5762         <key>line</key><integer>160</integer>
5763         <key>col</key><integer>13</integer>
5764         <key>file</key><integer>0</integer>
5765        </dict>
5766       </array>
5767     </array>
5768     <key>depth</key><integer>0</integer>
5769     <key>extended_message</key>
5770     <string>Loop body skipped when collection is empty</string>
5771     <key>message</key>
5772     <string>Loop body skipped when collection is empty</string>
5773    </dict>
5774    <dict>
5775     <key>kind</key><string>control</string>
5776     <key>edges</key>
5777      <array>
5778       <dict>
5779        <key>start</key>
5780         <array>
5781          <dict>
5782           <key>line</key><integer>160</integer>
5783           <key>col</key><integer>3</integer>
5784           <key>file</key><integer>0</integer>
5785          </dict>
5786          <dict>
5787           <key>line</key><integer>160</integer>
5788           <key>col</key><integer>5</integer>
5789           <key>file</key><integer>0</integer>
5790          </dict>
5791         </array>
5792        <key>end</key>
5793         <array>
5794          <dict>
5795           <key>line</key><integer>163</integer>
5796           <key>col</key><integer>3</integer>
5797           <key>file</key><integer>0</integer>
5798          </dict>
5799          <dict>
5800           <key>line</key><integer>163</integer>
5801           <key>col</key><integer>3</integer>
5802           <key>file</key><integer>0</integer>
5803          </dict>
5804         </array>
5805       </dict>
5806      </array>
5807    </dict>
5808    <dict>
5809     <key>kind</key><string>control</string>
5810     <key>edges</key>
5811      <array>
5812       <dict>
5813        <key>start</key>
5814         <array>
5815          <dict>
5816           <key>line</key><integer>163</integer>
5817           <key>col</key><integer>3</integer>
5818           <key>file</key><integer>0</integer>
5819          </dict>
5820          <dict>
5821           <key>line</key><integer>163</integer>
5822           <key>col</key><integer>3</integer>
5823           <key>file</key><integer>0</integer>
5824          </dict>
5825         </array>
5826        <key>end</key>
5827         <array>
5828          <dict>
5829           <key>line</key><integer>163</integer>
5830           <key>col</key><integer>5</integer>
5831           <key>file</key><integer>0</integer>
5832          </dict>
5833          <dict>
5834           <key>line</key><integer>163</integer>
5835           <key>col</key><integer>6</integer>
5836           <key>file</key><integer>0</integer>
5837          </dict>
5838         </array>
5839       </dict>
5840      </array>
5841    </dict>
5842    <dict>
5843     <key>kind</key><string>event</string>
5844     <key>location</key>
5845     <dict>
5846      <key>line</key><integer>163</integer>
5847      <key>col</key><integer>5</integer>
5848      <key>file</key><integer>0</integer>
5849     </dict>
5850     <key>ranges</key>
5851     <array>
5852       <array>
5853        <dict>
5854         <key>line</key><integer>163</integer>
5855         <key>col</key><integer>3</integer>
5856         <key>file</key><integer>0</integer>
5857        </dict>
5858        <dict>
5859         <key>line</key><integer>163</integer>
5860         <key>col</key><integer>3</integer>
5861         <key>file</key><integer>0</integer>
5862        </dict>
5863       </array>
5864     </array>
5865     <key>depth</key><integer>0</integer>
5866     <key>extended_message</key>
5867     <string>The left expression of the compound assignment is an uninitialized value. The computed value will also be garbage</string>
5868     <key>message</key>
5869     <string>The left expression of the compound assignment is an uninitialized value. The computed value will also be garbage</string>
5870    </dict>
5871   </array>
5872   <key>description</key><string>The left expression of the compound assignment is an uninitialized value. The computed value will also be garbage</string>
5873   <key>category</key><string>Logic error</string>
5874   <key>type</key><string>Assigned value is garbage or undefined</string>
5875   <key>check_name</key><string>core.uninitialized.Assign</string>
5876   <!-- This hash is experimental and going to change! -->
5877   <key>issue_hash_content_of_line_in_context</key><string>21c774309bdfd487c3d09a61a671bbcc</string>
5878  <key>issue_context_kind</key><string>function</string>
5879  <key>issue_context</key><string>test_loop_fast_enumeration</string>
5880  <key>issue_hash_function_offset</key><string>5</string>
5881  <key>location</key>
5882  <dict>
5883   <key>line</key><integer>163</integer>
5884   <key>col</key><integer>5</integer>
5885   <key>file</key><integer>0</integer>
5886  </dict>
5887  <key>ExecutedLines</key>
5888  <dict>
5889   <key>0</key>
5890   <array>
5891    <integer>158</integer>
5892    <integer>159</integer>
5893    <integer>160</integer>
5894    <integer>163</integer>
5895   </array>
5896  </dict>
5897  </dict>
5898  <dict>
5899   <key>path</key>
5900   <array>
5901    <dict>
5902     <key>kind</key><string>event</string>
5903     <key>location</key>
5904     <dict>
5905      <key>line</key><integer>171</integer>
5906      <key>col</key><integer>3</integer>
5907      <key>file</key><integer>0</integer>
5908     </dict>
5909     <key>ranges</key>
5910     <array>
5911       <array>
5912        <dict>
5913         <key>line</key><integer>171</integer>
5914         <key>col</key><integer>3</integer>
5915         <key>file</key><integer>0</integer>
5916        </dict>
5917        <dict>
5918         <key>line</key><integer>171</integer>
5919         <key>col</key><integer>7</integer>
5920         <key>file</key><integer>0</integer>
5921        </dict>
5922       </array>
5923     </array>
5924     <key>depth</key><integer>0</integer>
5925     <key>extended_message</key>
5926     <string>Null pointer value stored to &apos;p&apos;</string>
5927     <key>message</key>
5928     <string>Null pointer value stored to &apos;p&apos;</string>
5929    </dict>
5930    <dict>
5931     <key>kind</key><string>control</string>
5932     <key>edges</key>
5933      <array>
5934       <dict>
5935        <key>start</key>
5936         <array>
5937          <dict>
5938           <key>line</key><integer>171</integer>
5939           <key>col</key><integer>3</integer>
5940           <key>file</key><integer>0</integer>
5941          </dict>
5942          <dict>
5943           <key>line</key><integer>171</integer>
5944           <key>col</key><integer>3</integer>
5945           <key>file</key><integer>0</integer>
5946          </dict>
5947         </array>
5948        <key>end</key>
5949         <array>
5950          <dict>
5951           <key>line</key><integer>172</integer>
5952           <key>col</key><integer>3</integer>
5953           <key>file</key><integer>0</integer>
5954          </dict>
5955          <dict>
5956           <key>line</key><integer>172</integer>
5957           <key>col</key><integer>3</integer>
5958           <key>file</key><integer>0</integer>
5959          </dict>
5960         </array>
5961       </dict>
5962      </array>
5963    </dict>
5964    <dict>
5965     <key>kind</key><string>control</string>
5966     <key>edges</key>
5967      <array>
5968       <dict>
5969        <key>start</key>
5970         <array>
5971          <dict>
5972           <key>line</key><integer>172</integer>
5973           <key>col</key><integer>3</integer>
5974           <key>file</key><integer>0</integer>
5975          </dict>
5976          <dict>
5977           <key>line</key><integer>172</integer>
5978           <key>col</key><integer>3</integer>
5979           <key>file</key><integer>0</integer>
5980          </dict>
5981         </array>
5982        <key>end</key>
5983         <array>
5984          <dict>
5985           <key>line</key><integer>172</integer>
5986           <key>col</key><integer>6</integer>
5987           <key>file</key><integer>0</integer>
5988          </dict>
5989          <dict>
5990           <key>line</key><integer>172</integer>
5991           <key>col</key><integer>6</integer>
5992           <key>file</key><integer>0</integer>
5993          </dict>
5994         </array>
5995       </dict>
5996      </array>
5997    </dict>
5998    <dict>
5999     <key>kind</key><string>event</string>
6000     <key>location</key>
6001     <dict>
6002      <key>line</key><integer>172</integer>
6003      <key>col</key><integer>6</integer>
6004      <key>file</key><integer>0</integer>
6005     </dict>
6006     <key>ranges</key>
6007     <array>
6008       <array>
6009        <dict>
6010         <key>line</key><integer>172</integer>
6011         <key>col</key><integer>4</integer>
6012         <key>file</key><integer>0</integer>
6013        </dict>
6014        <dict>
6015         <key>line</key><integer>172</integer>
6016         <key>col</key><integer>4</integer>
6017         <key>file</key><integer>0</integer>
6018        </dict>
6019       </array>
6020     </array>
6021     <key>depth</key><integer>0</integer>
6022     <key>extended_message</key>
6023     <string>Dereference of null pointer (loaded from ivar &apos;p&apos;)</string>
6024     <key>message</key>
6025     <string>Dereference of null pointer (loaded from ivar &apos;p&apos;)</string>
6026    </dict>
6027   </array>
6028   <key>description</key><string>Dereference of null pointer (loaded from ivar &apos;p&apos;)</string>
6029   <key>category</key><string>Logic error</string>
6030   <key>type</key><string>Dereference of null pointer</string>
6031   <key>check_name</key><string>core.NullDereference</string>
6032   <!-- This hash is experimental and going to change! -->
6033   <key>issue_hash_content_of_line_in_context</key><string>b21eba78798501dc6b716bb91e3f7f01</string>
6034  <key>issue_context_kind</key><string>Objective-C method</string>
6035  <key>issue_context</key><string>test</string>
6036  <key>issue_hash_function_offset</key><string>2</string>
6037  <key>location</key>
6038  <dict>
6039   <key>line</key><integer>172</integer>
6040   <key>col</key><integer>6</integer>
6041   <key>file</key><integer>0</integer>
6042  </dict>
6043  <key>ExecutedLines</key>
6044  <dict>
6045   <key>0</key>
6046   <array>
6047    <integer>170</integer>
6048    <integer>171</integer>
6049    <integer>172</integer>
6050   </array>
6051  </dict>
6052  </dict>
6053  <dict>
6054   <key>path</key>
6055   <array>
6056    <dict>
6057     <key>kind</key><string>event</string>
6058     <key>location</key>
6059     <dict>
6060      <key>line</key><integer>182</integer>
6061      <key>col</key><integer>3</integer>
6062      <key>file</key><integer>0</integer>
6063     </dict>
6064     <key>ranges</key>
6065     <array>
6066       <array>
6067        <dict>
6068         <key>line</key><integer>182</integer>
6069         <key>col</key><integer>3</integer>
6070         <key>file</key><integer>0</integer>
6071        </dict>
6072        <dict>
6073         <key>line</key><integer>182</integer>
6074         <key>col</key><integer>25</integer>
6075         <key>file</key><integer>0</integer>
6076        </dict>
6077       </array>
6078     </array>
6079     <key>depth</key><integer>0</integer>
6080     <key>extended_message</key>
6081     <string>&apos;s.i&apos; initialized to a null pointer value</string>
6082     <key>message</key>
6083     <string>&apos;s.i&apos; initialized to a null pointer value</string>
6084    </dict>
6085    <dict>
6086     <key>kind</key><string>control</string>
6087     <key>edges</key>
6088      <array>
6089       <dict>
6090        <key>start</key>
6091         <array>
6092          <dict>
6093           <key>line</key><integer>182</integer>
6094           <key>col</key><integer>3</integer>
6095           <key>file</key><integer>0</integer>
6096          </dict>
6097          <dict>
6098           <key>line</key><integer>182</integer>
6099           <key>col</key><integer>8</integer>
6100           <key>file</key><integer>0</integer>
6101          </dict>
6102         </array>
6103        <key>end</key>
6104         <array>
6105          <dict>
6106           <key>line</key><integer>184</integer>
6107           <key>col</key><integer>3</integer>
6108           <key>file</key><integer>0</integer>
6109          </dict>
6110          <dict>
6111           <key>line</key><integer>184</integer>
6112           <key>col</key><integer>16</integer>
6113           <key>file</key><integer>0</integer>
6114          </dict>
6115         </array>
6116       </dict>
6117      </array>
6118    </dict>
6119    <dict>
6120     <key>kind</key><string>event</string>
6121     <key>location</key>
6122     <dict>
6123      <key>line</key><integer>184</integer>
6124      <key>col</key><integer>3</integer>
6125      <key>file</key><integer>0</integer>
6126     </dict>
6127     <key>ranges</key>
6128     <array>
6129       <array>
6130        <dict>
6131         <key>line</key><integer>184</integer>
6132         <key>col</key><integer>18</integer>
6133         <key>file</key><integer>0</integer>
6134        </dict>
6135        <dict>
6136         <key>line</key><integer>184</integer>
6137         <key>col</key><integer>22</integer>
6138         <key>file</key><integer>0</integer>
6139        </dict>
6140       </array>
6141     </array>
6142     <key>depth</key><integer>0</integer>
6143     <key>extended_message</key>
6144     <string>Null pointer passed to 1st parameter expecting &apos;nonnull&apos;</string>
6145     <key>message</key>
6146     <string>Null pointer passed to 1st parameter expecting &apos;nonnull&apos;</string>
6147    </dict>
6148   </array>
6149   <key>description</key><string>Null pointer passed to 1st parameter expecting &apos;nonnull&apos;</string>
6150   <key>category</key><string>API</string>
6151   <key>type</key><string>Argument with &apos;nonnull&apos; attribute passed null</string>
6152   <key>check_name</key><string>core.NonNullParamChecker</string>
6153   <!-- This hash is experimental and going to change! -->
6154   <key>issue_hash_content_of_line_in_context</key><string>c0b359a043c633f1b8d1581f68743361</string>
6155  <key>issue_context_kind</key><string>function</string>
6156  <key>issue_context</key><string>RDar13295437</string>
6157  <key>issue_hash_function_offset</key><string>3</string>
6158  <key>location</key>
6159  <dict>
6160   <key>line</key><integer>184</integer>
6161   <key>col</key><integer>3</integer>
6162   <key>file</key><integer>0</integer>
6163  </dict>
6164  <key>ExecutedLines</key>
6165  <dict>
6166   <key>0</key>
6167   <array>
6168    <integer>181</integer>
6169    <integer>182</integer>
6170    <integer>183</integer>
6171    <integer>184</integer>
6172   </array>
6173  </dict>
6174  </dict>
6175  <dict>
6176   <key>path</key>
6177   <array>
6178    <dict>
6179     <key>kind</key><string>control</string>
6180     <key>edges</key>
6181      <array>
6182       <dict>
6183        <key>start</key>
6184         <array>
6185          <dict>
6186           <key>line</key><integer>192</integer>
6187           <key>col</key><integer>3</integer>
6188           <key>file</key><integer>0</integer>
6189          </dict>
6190          <dict>
6191           <key>line</key><integer>192</integer>
6192           <key>col</key><integer>4</integer>
6193           <key>file</key><integer>0</integer>
6194          </dict>
6195         </array>
6196        <key>end</key>
6197         <array>
6198          <dict>
6199           <key>line</key><integer>192</integer>
6200           <key>col</key><integer>7</integer>
6201           <key>file</key><integer>0</integer>
6202          </dict>
6203          <dict>
6204           <key>line</key><integer>192</integer>
6205           <key>col</key><integer>7</integer>
6206           <key>file</key><integer>0</integer>
6207          </dict>
6208         </array>
6209       </dict>
6210      </array>
6211    </dict>
6212    <dict>
6213     <key>kind</key><string>event</string>
6214     <key>location</key>
6215     <dict>
6216      <key>line</key><integer>192</integer>
6217      <key>col</key><integer>7</integer>
6218      <key>file</key><integer>0</integer>
6219     </dict>
6220     <key>ranges</key>
6221     <array>
6222       <array>
6223        <dict>
6224         <key>line</key><integer>192</integer>
6225         <key>col</key><integer>7</integer>
6226         <key>file</key><integer>0</integer>
6227        </dict>
6228        <dict>
6229         <key>line</key><integer>192</integer>
6230         <key>col</key><integer>7</integer>
6231         <key>file</key><integer>0</integer>
6232        </dict>
6233       </array>
6234     </array>
6235     <key>depth</key><integer>0</integer>
6236     <key>extended_message</key>
6237     <string>Assuming &apos;x&apos; is nil</string>
6238     <key>message</key>
6239     <string>Assuming &apos;x&apos; is nil</string>
6240    </dict>
6241    <dict>
6242     <key>kind</key><string>control</string>
6243     <key>edges</key>
6244      <array>
6245       <dict>
6246        <key>start</key>
6247         <array>
6248          <dict>
6249           <key>line</key><integer>192</integer>
6250           <key>col</key><integer>7</integer>
6251           <key>file</key><integer>0</integer>
6252          </dict>
6253          <dict>
6254           <key>line</key><integer>192</integer>
6255           <key>col</key><integer>7</integer>
6256           <key>file</key><integer>0</integer>
6257          </dict>
6258         </array>
6259        <key>end</key>
6260         <array>
6261          <dict>
6262           <key>line</key><integer>194</integer>
6263           <key>col</key><integer>3</integer>
6264           <key>file</key><integer>0</integer>
6265          </dict>
6266          <dict>
6267           <key>line</key><integer>194</integer>
6268           <key>col</key><integer>8</integer>
6269           <key>file</key><integer>0</integer>
6270          </dict>
6271         </array>
6272       </dict>
6273      </array>
6274    </dict>
6275    <dict>
6276     <key>kind</key><string>control</string>
6277     <key>edges</key>
6278      <array>
6279       <dict>
6280        <key>start</key>
6281         <array>
6282          <dict>
6283           <key>line</key><integer>194</integer>
6284           <key>col</key><integer>3</integer>
6285           <key>file</key><integer>0</integer>
6286          </dict>
6287          <dict>
6288           <key>line</key><integer>194</integer>
6289           <key>col</key><integer>8</integer>
6290           <key>file</key><integer>0</integer>
6291          </dict>
6292         </array>
6293        <key>end</key>
6294         <array>
6295          <dict>
6296           <key>line</key><integer>194</integer>
6297           <key>col</key><integer>12</integer>
6298           <key>file</key><integer>0</integer>
6299          </dict>
6300          <dict>
6301           <key>line</key><integer>194</integer>
6302           <key>col</key><integer>12</integer>
6303           <key>file</key><integer>0</integer>
6304          </dict>
6305         </array>
6306       </dict>
6307      </array>
6308    </dict>
6309    <dict>
6310     <key>kind</key><string>event</string>
6311     <key>location</key>
6312     <dict>
6313      <key>line</key><integer>194</integer>
6314      <key>col</key><integer>12</integer>
6315      <key>file</key><integer>0</integer>
6316     </dict>
6317     <key>ranges</key>
6318     <array>
6319       <array>
6320        <dict>
6321         <key>line</key><integer>194</integer>
6322         <key>col</key><integer>12</integer>
6323         <key>file</key><integer>0</integer>
6324        </dict>
6325        <dict>
6326         <key>line</key><integer>194</integer>
6327         <key>col</key><integer>12</integer>
6328         <key>file</key><integer>0</integer>
6329        </dict>
6330       </array>
6331     </array>
6332     <key>depth</key><integer>0</integer>
6333     <key>extended_message</key>
6334     <string>&apos;returnsPointer&apos; not called because the receiver is nil</string>
6335     <key>message</key>
6336     <string>&apos;returnsPointer&apos; not called because the receiver is nil</string>
6337    </dict>
6338    <dict>
6339     <key>kind</key><string>event</string>
6340     <key>location</key>
6341     <dict>
6342      <key>line</key><integer>194</integer>
6343      <key>col</key><integer>10</integer>
6344      <key>file</key><integer>0</integer>
6345     </dict>
6346     <key>ranges</key>
6347     <array>
6348       <array>
6349        <dict>
6350         <key>line</key><integer>194</integer>
6351         <key>col</key><integer>10</integer>
6352         <key>file</key><integer>0</integer>
6353        </dict>
6354        <dict>
6355         <key>line</key><integer>194</integer>
6356         <key>col</key><integer>28</integer>
6357         <key>file</key><integer>0</integer>
6358        </dict>
6359       </array>
6360     </array>
6361     <key>depth</key><integer>0</integer>
6362     <key>extended_message</key>
6363     <string>Dereference of null pointer</string>
6364     <key>message</key>
6365     <string>Dereference of null pointer</string>
6366    </dict>
6367   </array>
6368   <key>description</key><string>Dereference of null pointer</string>
6369   <key>category</key><string>Logic error</string>
6370   <key>type</key><string>Dereference of null pointer</string>
6371   <key>check_name</key><string>core.NullDereference</string>
6372   <!-- This hash is experimental and going to change! -->
6373   <key>issue_hash_content_of_line_in_context</key><string>a225fec9dc1e56142b68b3df82b00b6c</string>
6374  <key>issue_context_kind</key><string>function</string>
6375  <key>issue_context</key><string>testFoo</string>
6376  <key>issue_hash_function_offset</key><string>3</string>
6377  <key>location</key>
6378  <dict>
6379   <key>line</key><integer>194</integer>
6380   <key>col</key><integer>10</integer>
6381   <key>file</key><integer>0</integer>
6382  </dict>
6383  <key>ExecutedLines</key>
6384  <dict>
6385   <key>0</key>
6386   <array>
6387    <integer>191</integer>
6388    <integer>192</integer>
6389    <integer>194</integer>
6390   </array>
6391  </dict>
6392  </dict>
6393 </array>
6394 <key>files</key>
6395 <array>
6396 </array>
6397</dict>
6398</plist>
6399