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>control</string>
13     <key>edges</key>
14      <array>
15       <dict>
16        <key>start</key>
17         <array>
18          <dict>
19           <key>line</key><integer>7</integer>
20           <key>col</key><integer>3</integer>
21           <key>file</key><integer>0</integer>
22          </dict>
23          <dict>
24           <key>line</key><integer>7</integer>
25           <key>col</key><integer>5</integer>
26           <key>file</key><integer>0</integer>
27          </dict>
28         </array>
29        <key>end</key>
30         <array>
31          <dict>
32           <key>line</key><integer>8</integer>
33           <key>col</key><integer>3</integer>
34           <key>file</key><integer>0</integer>
35          </dict>
36          <dict>
37           <key>line</key><integer>8</integer>
38           <key>col</key><integer>5</integer>
39           <key>file</key><integer>0</integer>
40          </dict>
41         </array>
42       </dict>
43      </array>
44    </dict>
45    <dict>
46     <key>kind</key><string>event</string>
47     <key>location</key>
48     <dict>
49      <key>line</key><integer>8</integer>
50      <key>col</key><integer>14</integer>
51      <key>file</key><integer>0</integer>
52     </dict>
53     <key>ranges</key>
54     <array>
55       <array>
56        <dict>
57         <key>line</key><integer>8</integer>
58         <key>col</key><integer>14</integer>
59         <key>file</key><integer>0</integer>
60        </dict>
61        <dict>
62         <key>line</key><integer>8</integer>
63         <key>col</key><integer>14</integer>
64         <key>file</key><integer>0</integer>
65        </dict>
66       </array>
67     </array>
68     <key>depth</key><integer>0</integer>
69     <key>extended_message</key>
70     <string>Entering loop body</string>
71     <key>message</key>
72     <string>Entering loop body</string>
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>8</integer>
83           <key>col</key><integer>3</integer>
84           <key>file</key><integer>0</integer>
85          </dict>
86          <dict>
87           <key>line</key><integer>8</integer>
88           <key>col</key><integer>5</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>9</integer>
96           <key>col</key><integer>5</integer>
97           <key>file</key><integer>0</integer>
98          </dict>
99          <dict>
100           <key>line</key><integer>9</integer>
101           <key>col</key><integer>8</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>control</string>
110     <key>edges</key>
111      <array>
112       <dict>
113        <key>start</key>
114         <array>
115          <dict>
116           <key>line</key><integer>9</integer>
117           <key>col</key><integer>5</integer>
118           <key>file</key><integer>0</integer>
119          </dict>
120          <dict>
121           <key>line</key><integer>9</integer>
122           <key>col</key><integer>8</integer>
123           <key>file</key><integer>0</integer>
124          </dict>
125         </array>
126        <key>end</key>
127         <array>
128          <dict>
129           <key>line</key><integer>11</integer>
130           <key>col</key><integer>5</integer>
131           <key>file</key><integer>0</integer>
132          </dict>
133          <dict>
134           <key>line</key><integer>11</integer>
135           <key>col</key><integer>6</integer>
136           <key>file</key><integer>0</integer>
137          </dict>
138         </array>
139       </dict>
140      </array>
141    </dict>
142    <dict>
143     <key>kind</key><string>control</string>
144     <key>edges</key>
145      <array>
146       <dict>
147        <key>start</key>
148         <array>
149          <dict>
150           <key>line</key><integer>11</integer>
151           <key>col</key><integer>5</integer>
152           <key>file</key><integer>0</integer>
153          </dict>
154          <dict>
155           <key>line</key><integer>11</integer>
156           <key>col</key><integer>6</integer>
157           <key>file</key><integer>0</integer>
158          </dict>
159         </array>
160        <key>end</key>
161         <array>
162          <dict>
163           <key>line</key><integer>11</integer>
164           <key>col</key><integer>9</integer>
165           <key>file</key><integer>0</integer>
166          </dict>
167          <dict>
168           <key>line</key><integer>11</integer>
169           <key>col</key><integer>9</integer>
170           <key>file</key><integer>0</integer>
171          </dict>
172         </array>
173       </dict>
174      </array>
175    </dict>
176    <dict>
177     <key>kind</key><string>pop-up</string>
178     <key>location</key>
179     <dict>
180      <key>line</key><integer>11</integer>
181      <key>col</key><integer>9</integer>
182      <key>file</key><integer>0</integer>
183     </dict>
184     <key>ranges</key>
185     <array>
186       <array>
187        <dict>
188         <key>line</key><integer>11</integer>
189         <key>col</key><integer>9</integer>
190         <key>file</key><integer>0</integer>
191        </dict>
192        <dict>
193         <key>line</key><integer>11</integer>
194         <key>col</key><integer>9</integer>
195         <key>file</key><integer>0</integer>
196        </dict>
197       </array>
198     </array>
199     <key>extended_message</key>
200     <string>&apos;y&apos; is not equal to 2</string>
201     <key>message</key>
202     <string>&apos;y&apos; is not equal to 2</string>
203    </dict>
204    <dict>
205     <key>kind</key><string>control</string>
206     <key>edges</key>
207      <array>
208       <dict>
209        <key>start</key>
210         <array>
211          <dict>
212           <key>line</key><integer>11</integer>
213           <key>col</key><integer>9</integer>
214           <key>file</key><integer>0</integer>
215          </dict>
216          <dict>
217           <key>line</key><integer>11</integer>
218           <key>col</key><integer>9</integer>
219           <key>file</key><integer>0</integer>
220          </dict>
221         </array>
222        <key>end</key>
223         <array>
224          <dict>
225           <key>line</key><integer>13</integer>
226           <key>col</key><integer>5</integer>
227           <key>file</key><integer>0</integer>
228          </dict>
229          <dict>
230           <key>line</key><integer>13</integer>
231           <key>col</key><integer>8</integer>
232           <key>file</key><integer>0</integer>
233          </dict>
234         </array>
235       </dict>
236      </array>
237    </dict>
238    <dict>
239     <key>kind</key><string>control</string>
240     <key>edges</key>
241      <array>
242       <dict>
243        <key>start</key>
244         <array>
245          <dict>
246           <key>line</key><integer>13</integer>
247           <key>col</key><integer>5</integer>
248           <key>file</key><integer>0</integer>
249          </dict>
250          <dict>
251           <key>line</key><integer>13</integer>
252           <key>col</key><integer>8</integer>
253           <key>file</key><integer>0</integer>
254          </dict>
255         </array>
256        <key>end</key>
257         <array>
258          <dict>
259           <key>line</key><integer>15</integer>
260           <key>col</key><integer>5</integer>
261           <key>file</key><integer>0</integer>
262          </dict>
263          <dict>
264           <key>line</key><integer>15</integer>
265           <key>col</key><integer>5</integer>
266           <key>file</key><integer>0</integer>
267          </dict>
268         </array>
269       </dict>
270      </array>
271    </dict>
272    <dict>
273     <key>kind</key><string>control</string>
274     <key>edges</key>
275      <array>
276       <dict>
277        <key>start</key>
278         <array>
279          <dict>
280           <key>line</key><integer>15</integer>
281           <key>col</key><integer>5</integer>
282           <key>file</key><integer>0</integer>
283          </dict>
284          <dict>
285           <key>line</key><integer>15</integer>
286           <key>col</key><integer>5</integer>
287           <key>file</key><integer>0</integer>
288          </dict>
289         </array>
290        <key>end</key>
291         <array>
292          <dict>
293           <key>line</key><integer>16</integer>
294           <key>col</key><integer>3</integer>
295           <key>file</key><integer>0</integer>
296          </dict>
297          <dict>
298           <key>line</key><integer>16</integer>
299           <key>col</key><integer>3</integer>
300           <key>file</key><integer>0</integer>
301          </dict>
302         </array>
303       </dict>
304      </array>
305    </dict>
306    <dict>
307     <key>kind</key><string>control</string>
308     <key>edges</key>
309      <array>
310       <dict>
311        <key>start</key>
312         <array>
313          <dict>
314           <key>line</key><integer>16</integer>
315           <key>col</key><integer>3</integer>
316           <key>file</key><integer>0</integer>
317          </dict>
318          <dict>
319           <key>line</key><integer>16</integer>
320           <key>col</key><integer>3</integer>
321           <key>file</key><integer>0</integer>
322          </dict>
323         </array>
324        <key>end</key>
325         <array>
326          <dict>
327           <key>line</key><integer>8</integer>
328           <key>col</key><integer>3</integer>
329           <key>file</key><integer>0</integer>
330          </dict>
331          <dict>
332           <key>line</key><integer>8</integer>
333           <key>col</key><integer>5</integer>
334           <key>file</key><integer>0</integer>
335          </dict>
336         </array>
337       </dict>
338      </array>
339    </dict>
340    <dict>
341     <key>kind</key><string>event</string>
342     <key>location</key>
343     <dict>
344      <key>line</key><integer>8</integer>
345      <key>col</key><integer>3</integer>
346      <key>file</key><integer>0</integer>
347     </dict>
348     <key>ranges</key>
349     <array>
350       <array>
351        <dict>
352         <key>line</key><integer>8</integer>
353         <key>col</key><integer>3</integer>
354         <key>file</key><integer>0</integer>
355        </dict>
356        <dict>
357         <key>line</key><integer>16</integer>
358         <key>col</key><integer>3</integer>
359         <key>file</key><integer>0</integer>
360        </dict>
361       </array>
362     </array>
363     <key>depth</key><integer>0</integer>
364     <key>extended_message</key>
365     <string>Looping back to the head of the loop</string>
366     <key>message</key>
367     <string>Looping back to the head of the loop</string>
368    </dict>
369    <dict>
370     <key>kind</key><string>event</string>
371     <key>location</key>
372     <dict>
373      <key>line</key><integer>8</integer>
374      <key>col</key><integer>14</integer>
375      <key>file</key><integer>0</integer>
376     </dict>
377     <key>ranges</key>
378     <array>
379       <array>
380        <dict>
381         <key>line</key><integer>8</integer>
382         <key>col</key><integer>14</integer>
383         <key>file</key><integer>0</integer>
384        </dict>
385        <dict>
386         <key>line</key><integer>8</integer>
387         <key>col</key><integer>14</integer>
388         <key>file</key><integer>0</integer>
389        </dict>
390       </array>
391     </array>
392     <key>depth</key><integer>0</integer>
393     <key>extended_message</key>
394     <string>Entering loop body</string>
395     <key>message</key>
396     <string>Entering loop body</string>
397    </dict>
398    <dict>
399     <key>kind</key><string>control</string>
400     <key>edges</key>
401      <array>
402       <dict>
403        <key>start</key>
404         <array>
405          <dict>
406           <key>line</key><integer>8</integer>
407           <key>col</key><integer>3</integer>
408           <key>file</key><integer>0</integer>
409          </dict>
410          <dict>
411           <key>line</key><integer>8</integer>
412           <key>col</key><integer>5</integer>
413           <key>file</key><integer>0</integer>
414          </dict>
415         </array>
416        <key>end</key>
417         <array>
418          <dict>
419           <key>line</key><integer>9</integer>
420           <key>col</key><integer>5</integer>
421           <key>file</key><integer>0</integer>
422          </dict>
423          <dict>
424           <key>line</key><integer>9</integer>
425           <key>col</key><integer>8</integer>
426           <key>file</key><integer>0</integer>
427          </dict>
428         </array>
429       </dict>
430      </array>
431    </dict>
432    <dict>
433     <key>kind</key><string>control</string>
434     <key>edges</key>
435      <array>
436       <dict>
437        <key>start</key>
438         <array>
439          <dict>
440           <key>line</key><integer>9</integer>
441           <key>col</key><integer>5</integer>
442           <key>file</key><integer>0</integer>
443          </dict>
444          <dict>
445           <key>line</key><integer>9</integer>
446           <key>col</key><integer>8</integer>
447           <key>file</key><integer>0</integer>
448          </dict>
449         </array>
450        <key>end</key>
451         <array>
452          <dict>
453           <key>line</key><integer>11</integer>
454           <key>col</key><integer>5</integer>
455           <key>file</key><integer>0</integer>
456          </dict>
457          <dict>
458           <key>line</key><integer>11</integer>
459           <key>col</key><integer>6</integer>
460           <key>file</key><integer>0</integer>
461          </dict>
462         </array>
463       </dict>
464      </array>
465    </dict>
466    <dict>
467     <key>kind</key><string>control</string>
468     <key>edges</key>
469      <array>
470       <dict>
471        <key>start</key>
472         <array>
473          <dict>
474           <key>line</key><integer>11</integer>
475           <key>col</key><integer>5</integer>
476           <key>file</key><integer>0</integer>
477          </dict>
478          <dict>
479           <key>line</key><integer>11</integer>
480           <key>col</key><integer>6</integer>
481           <key>file</key><integer>0</integer>
482          </dict>
483         </array>
484        <key>end</key>
485         <array>
486          <dict>
487           <key>line</key><integer>11</integer>
488           <key>col</key><integer>9</integer>
489           <key>file</key><integer>0</integer>
490          </dict>
491          <dict>
492           <key>line</key><integer>11</integer>
493           <key>col</key><integer>9</integer>
494           <key>file</key><integer>0</integer>
495          </dict>
496         </array>
497       </dict>
498      </array>
499    </dict>
500    <dict>
501     <key>kind</key><string>pop-up</string>
502     <key>location</key>
503     <dict>
504      <key>line</key><integer>11</integer>
505      <key>col</key><integer>9</integer>
506      <key>file</key><integer>0</integer>
507     </dict>
508     <key>ranges</key>
509     <array>
510       <array>
511        <dict>
512         <key>line</key><integer>11</integer>
513         <key>col</key><integer>9</integer>
514         <key>file</key><integer>0</integer>
515        </dict>
516        <dict>
517         <key>line</key><integer>11</integer>
518         <key>col</key><integer>9</integer>
519         <key>file</key><integer>0</integer>
520        </dict>
521       </array>
522     </array>
523     <key>extended_message</key>
524     <string>&apos;y&apos; is equal to 2</string>
525     <key>message</key>
526     <string>&apos;y&apos; is equal to 2</string>
527    </dict>
528    <dict>
529     <key>kind</key><string>control</string>
530     <key>edges</key>
531      <array>
532       <dict>
533        <key>start</key>
534         <array>
535          <dict>
536           <key>line</key><integer>11</integer>
537           <key>col</key><integer>9</integer>
538           <key>file</key><integer>0</integer>
539          </dict>
540          <dict>
541           <key>line</key><integer>11</integer>
542           <key>col</key><integer>9</integer>
543           <key>file</key><integer>0</integer>
544          </dict>
545         </array>
546        <key>end</key>
547         <array>
548          <dict>
549           <key>line</key><integer>12</integer>
550           <key>col</key><integer>7</integer>
551           <key>file</key><integer>0</integer>
552          </dict>
553          <dict>
554           <key>line</key><integer>12</integer>
555           <key>col</key><integer>7</integer>
556           <key>file</key><integer>0</integer>
557          </dict>
558         </array>
559       </dict>
560      </array>
561    </dict>
562    <dict>
563     <key>kind</key><string>control</string>
564     <key>edges</key>
565      <array>
566       <dict>
567        <key>start</key>
568         <array>
569          <dict>
570           <key>line</key><integer>12</integer>
571           <key>col</key><integer>7</integer>
572           <key>file</key><integer>0</integer>
573          </dict>
574          <dict>
575           <key>line</key><integer>12</integer>
576           <key>col</key><integer>7</integer>
577           <key>file</key><integer>0</integer>
578          </dict>
579         </array>
580        <key>end</key>
581         <array>
582          <dict>
583           <key>line</key><integer>12</integer>
584           <key>col</key><integer>26</integer>
585           <key>file</key><integer>0</integer>
586          </dict>
587          <dict>
588           <key>line</key><integer>12</integer>
589           <key>col</key><integer>26</integer>
590           <key>file</key><integer>0</integer>
591          </dict>
592         </array>
593       </dict>
594      </array>
595    </dict>
596    <dict>
597     <key>kind</key><string>event</string>
598     <key>location</key>
599     <dict>
600      <key>line</key><integer>12</integer>
601      <key>col</key><integer>26</integer>
602      <key>file</key><integer>0</integer>
603     </dict>
604     <key>ranges</key>
605     <array>
606       <array>
607        <dict>
608         <key>line</key><integer>12</integer>
609         <key>col</key><integer>7</integer>
610         <key>file</key><integer>0</integer>
611        </dict>
612        <dict>
613         <key>line</key><integer>12</integer>
614         <key>col</key><integer>28</integer>
615         <key>file</key><integer>0</integer>
616        </dict>
617       </array>
618     </array>
619     <key>depth</key><integer>0</integer>
620     <key>extended_message</key>
621     <string>Dereference of null pointer</string>
622     <key>message</key>
623     <string>Dereference of null pointer</string>
624    </dict>
625   </array>
626   <key>description</key><string>Dereference of null pointer</string>
627   <key>category</key><string>Logic error</string>
628   <key>type</key><string>Dereference of null pointer</string>
629   <key>check_name</key><string>core.NullDereference</string>
630   <!-- This hash is experimental and going to change! -->
631   <key>issue_hash_content_of_line_in_context</key><string>7c0b35987817cf3d44b88c5349bcd4f2</string>
632  <key>issue_context_kind</key><string>function</string>
633  <key>issue_context</key><string>testLoop</string>
634  <key>issue_hash_function_offset</key><string>6</string>
635  <key>location</key>
636  <dict>
637   <key>line</key><integer>12</integer>
638   <key>col</key><integer>26</integer>
639   <key>file</key><integer>0</integer>
640  </dict>
641  <key>ExecutedLines</key>
642  <dict>
643   <key>0</key>
644   <array>
645    <integer>6</integer>
646    <integer>7</integer>
647    <integer>8</integer>
648    <integer>9</integer>
649    <integer>10</integer>
650    <integer>11</integer>
651    <integer>12</integer>
652    <integer>13</integer>
653    <integer>14</integer>
654    <integer>15</integer>
655    <integer>16</integer>
656   </array>
657  </dict>
658  </dict>
659  <dict>
660   <key>path</key>
661   <array>
662    <dict>
663     <key>kind</key><string>control</string>
664     <key>edges</key>
665      <array>
666       <dict>
667        <key>start</key>
668         <array>
669          <dict>
670           <key>line</key><integer>88</integer>
671           <key>col</key><integer>3</integer>
672           <key>file</key><integer>0</integer>
673          </dict>
674          <dict>
675           <key>line</key><integer>88</integer>
676           <key>col</key><integer>5</integer>
677           <key>file</key><integer>0</integer>
678          </dict>
679         </array>
680        <key>end</key>
681         <array>
682          <dict>
683           <key>line</key><integer>88</integer>
684           <key>col</key><integer>16</integer>
685           <key>file</key><integer>0</integer>
686          </dict>
687          <dict>
688           <key>line</key><integer>88</integer>
689           <key>col</key><integer>18</integer>
690           <key>file</key><integer>0</integer>
691          </dict>
692         </array>
693       </dict>
694      </array>
695    </dict>
696    <dict>
697     <key>kind</key><string>event</string>
698     <key>location</key>
699     <dict>
700      <key>line</key><integer>88</integer>
701      <key>col</key><integer>16</integer>
702      <key>file</key><integer>0</integer>
703     </dict>
704     <key>ranges</key>
705     <array>
706       <array>
707        <dict>
708         <key>line</key><integer>88</integer>
709         <key>col</key><integer>16</integer>
710         <key>file</key><integer>0</integer>
711        </dict>
712        <dict>
713         <key>line</key><integer>88</integer>
714         <key>col</key><integer>24</integer>
715         <key>file</key><integer>0</integer>
716        </dict>
717       </array>
718     </array>
719     <key>depth</key><integer>0</integer>
720     <key>extended_message</key>
721     <string>Calling &apos;get&apos;</string>
722     <key>message</key>
723     <string>Calling &apos;get&apos;</string>
724    </dict>
725    <dict>
726     <key>kind</key><string>event</string>
727     <key>location</key>
728     <dict>
729      <key>line</key><integer>31</integer>
730      <key>col</key><integer>1</integer>
731      <key>file</key><integer>0</integer>
732     </dict>
733     <key>depth</key><integer>1</integer>
734     <key>extended_message</key>
735     <string>Entered call from &apos;testLoopErrorInRange&apos;</string>
736     <key>message</key>
737     <string>Entered call from &apos;testLoopErrorInRange&apos;</string>
738    </dict>
739    <dict>
740     <key>kind</key><string>control</string>
741     <key>edges</key>
742      <array>
743       <dict>
744        <key>start</key>
745         <array>
746          <dict>
747           <key>line</key><integer>31</integer>
748           <key>col</key><integer>1</integer>
749           <key>file</key><integer>0</integer>
750          </dict>
751          <dict>
752           <key>line</key><integer>31</integer>
753           <key>col</key><integer>11</integer>
754           <key>file</key><integer>0</integer>
755          </dict>
756         </array>
757        <key>end</key>
758         <array>
759          <dict>
760           <key>line</key><integer>32</integer>
761           <key>col</key><integer>3</integer>
762           <key>file</key><integer>0</integer>
763          </dict>
764          <dict>
765           <key>line</key><integer>32</integer>
766           <key>col</key><integer>4</integer>
767           <key>file</key><integer>0</integer>
768          </dict>
769         </array>
770       </dict>
771      </array>
772    </dict>
773    <dict>
774     <key>kind</key><string>control</string>
775     <key>edges</key>
776      <array>
777       <dict>
778        <key>start</key>
779         <array>
780          <dict>
781           <key>line</key><integer>32</integer>
782           <key>col</key><integer>3</integer>
783           <key>file</key><integer>0</integer>
784          </dict>
785          <dict>
786           <key>line</key><integer>32</integer>
787           <key>col</key><integer>4</integer>
788           <key>file</key><integer>0</integer>
789          </dict>
790         </array>
791        <key>end</key>
792         <array>
793          <dict>
794           <key>line</key><integer>32</integer>
795           <key>col</key><integer>7</integer>
796           <key>file</key><integer>0</integer>
797          </dict>
798          <dict>
799           <key>line</key><integer>32</integer>
800           <key>col</key><integer>10</integer>
801           <key>file</key><integer>0</integer>
802          </dict>
803         </array>
804       </dict>
805      </array>
806    </dict>
807    <dict>
808     <key>kind</key><string>pop-up</string>
809     <key>location</key>
810     <dict>
811      <key>line</key><integer>32</integer>
812      <key>col</key><integer>7</integer>
813      <key>file</key><integer>0</integer>
814     </dict>
815     <key>ranges</key>
816     <array>
817       <array>
818        <dict>
819         <key>line</key><integer>32</integer>
820         <key>col</key><integer>7</integer>
821         <key>file</key><integer>0</integer>
822        </dict>
823        <dict>
824         <key>line</key><integer>32</integer>
825         <key>col</key><integer>10</integer>
826         <key>file</key><integer>0</integer>
827        </dict>
828       </array>
829     </array>
830     <key>extended_message</key>
831     <string>&apos;fail&apos; is true</string>
832     <key>message</key>
833     <string>&apos;fail&apos; is true</string>
834    </dict>
835    <dict>
836     <key>kind</key><string>control</string>
837     <key>edges</key>
838      <array>
839       <dict>
840        <key>start</key>
841         <array>
842          <dict>
843           <key>line</key><integer>32</integer>
844           <key>col</key><integer>7</integer>
845           <key>file</key><integer>0</integer>
846          </dict>
847          <dict>
848           <key>line</key><integer>32</integer>
849           <key>col</key><integer>10</integer>
850           <key>file</key><integer>0</integer>
851          </dict>
852         </array>
853        <key>end</key>
854         <array>
855          <dict>
856           <key>line</key><integer>33</integer>
857           <key>col</key><integer>5</integer>
858           <key>file</key><integer>0</integer>
859          </dict>
860          <dict>
861           <key>line</key><integer>33</integer>
862           <key>col</key><integer>5</integer>
863           <key>file</key><integer>0</integer>
864          </dict>
865         </array>
866       </dict>
867      </array>
868    </dict>
869    <dict>
870     <key>kind</key><string>control</string>
871     <key>edges</key>
872      <array>
873       <dict>
874        <key>start</key>
875         <array>
876          <dict>
877           <key>line</key><integer>33</integer>
878           <key>col</key><integer>5</integer>
879           <key>file</key><integer>0</integer>
880          </dict>
881          <dict>
882           <key>line</key><integer>33</integer>
883           <key>col</key><integer>5</integer>
884           <key>file</key><integer>0</integer>
885          </dict>
886         </array>
887        <key>end</key>
888         <array>
889          <dict>
890           <key>line</key><integer>33</integer>
891           <key>col</key><integer>24</integer>
892           <key>file</key><integer>0</integer>
893          </dict>
894          <dict>
895           <key>line</key><integer>33</integer>
896           <key>col</key><integer>24</integer>
897           <key>file</key><integer>0</integer>
898          </dict>
899         </array>
900       </dict>
901      </array>
902    </dict>
903    <dict>
904     <key>kind</key><string>event</string>
905     <key>location</key>
906     <dict>
907      <key>line</key><integer>33</integer>
908      <key>col</key><integer>24</integer>
909      <key>file</key><integer>0</integer>
910     </dict>
911     <key>ranges</key>
912     <array>
913       <array>
914        <dict>
915         <key>line</key><integer>33</integer>
916         <key>col</key><integer>5</integer>
917         <key>file</key><integer>0</integer>
918        </dict>
919        <dict>
920         <key>line</key><integer>33</integer>
921         <key>col</key><integer>26</integer>
922         <key>file</key><integer>0</integer>
923        </dict>
924       </array>
925     </array>
926     <key>depth</key><integer>1</integer>
927     <key>extended_message</key>
928     <string>Dereference of null pointer</string>
929     <key>message</key>
930     <string>Dereference of null pointer</string>
931    </dict>
932   </array>
933   <key>description</key><string>Dereference of null pointer</string>
934   <key>category</key><string>Logic error</string>
935   <key>type</key><string>Dereference of null pointer</string>
936   <key>check_name</key><string>core.NullDereference</string>
937   <!-- This hash is experimental and going to change! -->
938   <key>issue_hash_content_of_line_in_context</key><string>f53792d63dffe6176babc00ee455a3e0</string>
939  <key>issue_context_kind</key><string>function</string>
940  <key>issue_context</key><string>get</string>
941  <key>issue_hash_function_offset</key><string>2</string>
942  <key>location</key>
943  <dict>
944   <key>line</key><integer>33</integer>
945   <key>col</key><integer>24</integer>
946   <key>file</key><integer>0</integer>
947  </dict>
948  <key>ExecutedLines</key>
949  <dict>
950   <key>0</key>
951   <array>
952    <integer>31</integer>
953    <integer>32</integer>
954    <integer>33</integer>
955    <integer>87</integer>
956    <integer>88</integer>
957   </array>
958  </dict>
959  </dict>
960  <dict>
961   <key>path</key>
962   <array>
963    <dict>
964     <key>kind</key><string>event</string>
965     <key>location</key>
966     <dict>
967      <key>line</key><integer>38</integer>
968      <key>col</key><integer>14</integer>
969      <key>file</key><integer>0</integer>
970     </dict>
971     <key>ranges</key>
972     <array>
973       <array>
974        <dict>
975         <key>line</key><integer>38</integer>
976         <key>col</key><integer>14</integer>
977         <key>file</key><integer>0</integer>
978        </dict>
979        <dict>
980         <key>line</key><integer>38</integer>
981         <key>col</key><integer>14</integer>
982         <key>file</key><integer>0</integer>
983        </dict>
984       </array>
985     </array>
986     <key>depth</key><integer>0</integer>
987     <key>extended_message</key>
988     <string>Entering loop body</string>
989     <key>message</key>
990     <string>Entering loop body</string>
991    </dict>
992    <dict>
993     <key>kind</key><string>control</string>
994     <key>edges</key>
995      <array>
996       <dict>
997        <key>start</key>
998         <array>
999          <dict>
1000           <key>line</key><integer>38</integer>
1001           <key>col</key><integer>3</integer>
1002           <key>file</key><integer>0</integer>
1003          </dict>
1004          <dict>
1005           <key>line</key><integer>38</integer>
1006           <key>col</key><integer>5</integer>
1007           <key>file</key><integer>0</integer>
1008          </dict>
1009         </array>
1010        <key>end</key>
1011         <array>
1012          <dict>
1013           <key>line</key><integer>39</integer>
1014           <key>col</key><integer>5</integer>
1015           <key>file</key><integer>0</integer>
1016          </dict>
1017          <dict>
1018           <key>line</key><integer>39</integer>
1019           <key>col</key><integer>8</integer>
1020           <key>file</key><integer>0</integer>
1021          </dict>
1022         </array>
1023       </dict>
1024      </array>
1025    </dict>
1026    <dict>
1027     <key>kind</key><string>control</string>
1028     <key>edges</key>
1029      <array>
1030       <dict>
1031        <key>start</key>
1032         <array>
1033          <dict>
1034           <key>line</key><integer>39</integer>
1035           <key>col</key><integer>5</integer>
1036           <key>file</key><integer>0</integer>
1037          </dict>
1038          <dict>
1039           <key>line</key><integer>39</integer>
1040           <key>col</key><integer>8</integer>
1041           <key>file</key><integer>0</integer>
1042          </dict>
1043         </array>
1044        <key>end</key>
1045         <array>
1046          <dict>
1047           <key>line</key><integer>41</integer>
1048           <key>col</key><integer>5</integer>
1049           <key>file</key><integer>0</integer>
1050          </dict>
1051          <dict>
1052           <key>line</key><integer>41</integer>
1053           <key>col</key><integer>6</integer>
1054           <key>file</key><integer>0</integer>
1055          </dict>
1056         </array>
1057       </dict>
1058      </array>
1059    </dict>
1060    <dict>
1061     <key>kind</key><string>control</string>
1062     <key>edges</key>
1063      <array>
1064       <dict>
1065        <key>start</key>
1066         <array>
1067          <dict>
1068           <key>line</key><integer>41</integer>
1069           <key>col</key><integer>5</integer>
1070           <key>file</key><integer>0</integer>
1071          </dict>
1072          <dict>
1073           <key>line</key><integer>41</integer>
1074           <key>col</key><integer>6</integer>
1075           <key>file</key><integer>0</integer>
1076          </dict>
1077         </array>
1078        <key>end</key>
1079         <array>
1080          <dict>
1081           <key>line</key><integer>41</integer>
1082           <key>col</key><integer>9</integer>
1083           <key>file</key><integer>0</integer>
1084          </dict>
1085          <dict>
1086           <key>line</key><integer>41</integer>
1087           <key>col</key><integer>9</integer>
1088           <key>file</key><integer>0</integer>
1089          </dict>
1090         </array>
1091       </dict>
1092      </array>
1093    </dict>
1094    <dict>
1095     <key>kind</key><string>event</string>
1096     <key>location</key>
1097     <dict>
1098      <key>line</key><integer>41</integer>
1099      <key>col</key><integer>9</integer>
1100      <key>file</key><integer>0</integer>
1101     </dict>
1102     <key>ranges</key>
1103     <array>
1104       <array>
1105        <dict>
1106         <key>line</key><integer>41</integer>
1107         <key>col</key><integer>9</integer>
1108         <key>file</key><integer>0</integer>
1109        </dict>
1110        <dict>
1111         <key>line</key><integer>41</integer>
1112         <key>col</key><integer>14</integer>
1113         <key>file</key><integer>0</integer>
1114        </dict>
1115       </array>
1116     </array>
1117     <key>depth</key><integer>0</integer>
1118     <key>extended_message</key>
1119     <string>Assuming &apos;y&apos; is equal to 2</string>
1120     <key>message</key>
1121     <string>Assuming &apos;y&apos; is equal to 2</string>
1122    </dict>
1123    <dict>
1124     <key>kind</key><string>control</string>
1125     <key>edges</key>
1126      <array>
1127       <dict>
1128        <key>start</key>
1129         <array>
1130          <dict>
1131           <key>line</key><integer>41</integer>
1132           <key>col</key><integer>9</integer>
1133           <key>file</key><integer>0</integer>
1134          </dict>
1135          <dict>
1136           <key>line</key><integer>41</integer>
1137           <key>col</key><integer>9</integer>
1138           <key>file</key><integer>0</integer>
1139          </dict>
1140         </array>
1141        <key>end</key>
1142         <array>
1143          <dict>
1144           <key>line</key><integer>42</integer>
1145           <key>col</key><integer>7</integer>
1146           <key>file</key><integer>0</integer>
1147          </dict>
1148          <dict>
1149           <key>line</key><integer>42</integer>
1150           <key>col</key><integer>7</integer>
1151           <key>file</key><integer>0</integer>
1152          </dict>
1153         </array>
1154       </dict>
1155      </array>
1156    </dict>
1157    <dict>
1158     <key>kind</key><string>control</string>
1159     <key>edges</key>
1160      <array>
1161       <dict>
1162        <key>start</key>
1163         <array>
1164          <dict>
1165           <key>line</key><integer>42</integer>
1166           <key>col</key><integer>7</integer>
1167           <key>file</key><integer>0</integer>
1168          </dict>
1169          <dict>
1170           <key>line</key><integer>42</integer>
1171           <key>col</key><integer>7</integer>
1172           <key>file</key><integer>0</integer>
1173          </dict>
1174         </array>
1175        <key>end</key>
1176         <array>
1177          <dict>
1178           <key>line</key><integer>42</integer>
1179           <key>col</key><integer>26</integer>
1180           <key>file</key><integer>0</integer>
1181          </dict>
1182          <dict>
1183           <key>line</key><integer>42</integer>
1184           <key>col</key><integer>26</integer>
1185           <key>file</key><integer>0</integer>
1186          </dict>
1187         </array>
1188       </dict>
1189      </array>
1190    </dict>
1191    <dict>
1192     <key>kind</key><string>event</string>
1193     <key>location</key>
1194     <dict>
1195      <key>line</key><integer>42</integer>
1196      <key>col</key><integer>26</integer>
1197      <key>file</key><integer>0</integer>
1198     </dict>
1199     <key>ranges</key>
1200     <array>
1201       <array>
1202        <dict>
1203         <key>line</key><integer>42</integer>
1204         <key>col</key><integer>7</integer>
1205         <key>file</key><integer>0</integer>
1206        </dict>
1207        <dict>
1208         <key>line</key><integer>42</integer>
1209         <key>col</key><integer>28</integer>
1210         <key>file</key><integer>0</integer>
1211        </dict>
1212       </array>
1213     </array>
1214     <key>depth</key><integer>0</integer>
1215     <key>extended_message</key>
1216     <string>Dereference of null pointer</string>
1217     <key>message</key>
1218     <string>Dereference of null pointer</string>
1219    </dict>
1220   </array>
1221   <key>description</key><string>Dereference of null pointer</string>
1222   <key>category</key><string>Logic error</string>
1223   <key>type</key><string>Dereference of null pointer</string>
1224   <key>check_name</key><string>core.NullDereference</string>
1225   <!-- This hash is experimental and going to change! -->
1226   <key>issue_hash_content_of_line_in_context</key><string>7bc3cb8a56be029296ec61f7ee83fc9e</string>
1227  <key>issue_context_kind</key><string>function</string>
1228  <key>issue_context</key><string>testLoopOpaqueCollection</string>
1229  <key>issue_hash_function_offset</key><string>5</string>
1230  <key>location</key>
1231  <dict>
1232   <key>line</key><integer>42</integer>
1233   <key>col</key><integer>26</integer>
1234   <key>file</key><integer>0</integer>
1235  </dict>
1236  <key>ExecutedLines</key>
1237  <dict>
1238   <key>0</key>
1239   <array>
1240    <integer>31</integer>
1241    <integer>32</integer>
1242    <integer>34</integer>
1243    <integer>37</integer>
1244    <integer>38</integer>
1245    <integer>39</integer>
1246    <integer>40</integer>
1247    <integer>41</integer>
1248    <integer>42</integer>
1249   </array>
1250  </dict>
1251  </dict>
1252  <dict>
1253   <key>path</key>
1254   <array>
1255    <dict>
1256     <key>kind</key><string>event</string>
1257     <key>location</key>
1258     <dict>
1259      <key>line</key><integer>38</integer>
1260      <key>col</key><integer>14</integer>
1261      <key>file</key><integer>0</integer>
1262     </dict>
1263     <key>ranges</key>
1264     <array>
1265       <array>
1266        <dict>
1267         <key>line</key><integer>38</integer>
1268         <key>col</key><integer>14</integer>
1269         <key>file</key><integer>0</integer>
1270        </dict>
1271        <dict>
1272         <key>line</key><integer>38</integer>
1273         <key>col</key><integer>14</integer>
1274         <key>file</key><integer>0</integer>
1275        </dict>
1276       </array>
1277     </array>
1278     <key>depth</key><integer>0</integer>
1279     <key>extended_message</key>
1280     <string>Loop body skipped when range is empty</string>
1281     <key>message</key>
1282     <string>Loop body skipped when range is empty</string>
1283    </dict>
1284    <dict>
1285     <key>kind</key><string>control</string>
1286     <key>edges</key>
1287      <array>
1288       <dict>
1289        <key>start</key>
1290         <array>
1291          <dict>
1292           <key>line</key><integer>38</integer>
1293           <key>col</key><integer>3</integer>
1294           <key>file</key><integer>0</integer>
1295          </dict>
1296          <dict>
1297           <key>line</key><integer>38</integer>
1298           <key>col</key><integer>5</integer>
1299           <key>file</key><integer>0</integer>
1300          </dict>
1301         </array>
1302        <key>end</key>
1303         <array>
1304          <dict>
1305           <key>line</key><integer>48</integer>
1306           <key>col</key><integer>3</integer>
1307           <key>file</key><integer>0</integer>
1308          </dict>
1309          <dict>
1310           <key>line</key><integer>48</integer>
1311           <key>col</key><integer>3</integer>
1312           <key>file</key><integer>0</integer>
1313          </dict>
1314         </array>
1315       </dict>
1316      </array>
1317    </dict>
1318    <dict>
1319     <key>kind</key><string>control</string>
1320     <key>edges</key>
1321      <array>
1322       <dict>
1323        <key>start</key>
1324         <array>
1325          <dict>
1326           <key>line</key><integer>48</integer>
1327           <key>col</key><integer>3</integer>
1328           <key>file</key><integer>0</integer>
1329          </dict>
1330          <dict>
1331           <key>line</key><integer>48</integer>
1332           <key>col</key><integer>3</integer>
1333           <key>file</key><integer>0</integer>
1334          </dict>
1335         </array>
1336        <key>end</key>
1337         <array>
1338          <dict>
1339           <key>line</key><integer>48</integer>
1340           <key>col</key><integer>22</integer>
1341           <key>file</key><integer>0</integer>
1342          </dict>
1343          <dict>
1344           <key>line</key><integer>48</integer>
1345           <key>col</key><integer>22</integer>
1346           <key>file</key><integer>0</integer>
1347          </dict>
1348         </array>
1349       </dict>
1350      </array>
1351    </dict>
1352    <dict>
1353     <key>kind</key><string>event</string>
1354     <key>location</key>
1355     <dict>
1356      <key>line</key><integer>48</integer>
1357      <key>col</key><integer>22</integer>
1358      <key>file</key><integer>0</integer>
1359     </dict>
1360     <key>ranges</key>
1361     <array>
1362       <array>
1363        <dict>
1364         <key>line</key><integer>48</integer>
1365         <key>col</key><integer>3</integer>
1366         <key>file</key><integer>0</integer>
1367        </dict>
1368        <dict>
1369         <key>line</key><integer>48</integer>
1370         <key>col</key><integer>24</integer>
1371         <key>file</key><integer>0</integer>
1372        </dict>
1373       </array>
1374     </array>
1375     <key>depth</key><integer>0</integer>
1376     <key>extended_message</key>
1377     <string>Dereference of null pointer</string>
1378     <key>message</key>
1379     <string>Dereference of null pointer</string>
1380    </dict>
1381   </array>
1382   <key>description</key><string>Dereference of null pointer</string>
1383   <key>category</key><string>Logic error</string>
1384   <key>type</key><string>Dereference of null pointer</string>
1385   <key>check_name</key><string>core.NullDereference</string>
1386   <!-- This hash is experimental and going to change! -->
1387   <key>issue_hash_content_of_line_in_context</key><string>dc7b457a64bd56c30467c1af44049756</string>
1388  <key>issue_context_kind</key><string>function</string>
1389  <key>issue_context</key><string>testLoopOpaqueCollection</string>
1390  <key>issue_hash_function_offset</key><string>11</string>
1391  <key>location</key>
1392  <dict>
1393   <key>line</key><integer>48</integer>
1394   <key>col</key><integer>22</integer>
1395   <key>file</key><integer>0</integer>
1396  </dict>
1397  <key>ExecutedLines</key>
1398  <dict>
1399   <key>0</key>
1400   <array>
1401    <integer>31</integer>
1402    <integer>32</integer>
1403    <integer>34</integer>
1404    <integer>37</integer>
1405    <integer>38</integer>
1406    <integer>48</integer>
1407   </array>
1408  </dict>
1409  </dict>
1410  <dict>
1411   <key>path</key>
1412   <array>
1413    <dict>
1414     <key>kind</key><string>event</string>
1415     <key>location</key>
1416     <dict>
1417      <key>line</key><integer>73</integer>
1418      <key>col</key><integer>14</integer>
1419      <key>file</key><integer>0</integer>
1420     </dict>
1421     <key>ranges</key>
1422     <array>
1423       <array>
1424        <dict>
1425         <key>line</key><integer>73</integer>
1426         <key>col</key><integer>14</integer>
1427         <key>file</key><integer>0</integer>
1428        </dict>
1429        <dict>
1430         <key>line</key><integer>73</integer>
1431         <key>col</key><integer>14</integer>
1432         <key>file</key><integer>0</integer>
1433        </dict>
1434       </array>
1435     </array>
1436     <key>depth</key><integer>0</integer>
1437     <key>extended_message</key>
1438     <string>Entering loop body</string>
1439     <key>message</key>
1440     <string>Entering loop body</string>
1441    </dict>
1442    <dict>
1443     <key>kind</key><string>control</string>
1444     <key>edges</key>
1445      <array>
1446       <dict>
1447        <key>start</key>
1448         <array>
1449          <dict>
1450           <key>line</key><integer>73</integer>
1451           <key>col</key><integer>3</integer>
1452           <key>file</key><integer>0</integer>
1453          </dict>
1454          <dict>
1455           <key>line</key><integer>73</integer>
1456           <key>col</key><integer>5</integer>
1457           <key>file</key><integer>0</integer>
1458          </dict>
1459         </array>
1460        <key>end</key>
1461         <array>
1462          <dict>
1463           <key>line</key><integer>74</integer>
1464           <key>col</key><integer>5</integer>
1465           <key>file</key><integer>0</integer>
1466          </dict>
1467          <dict>
1468           <key>line</key><integer>74</integer>
1469           <key>col</key><integer>8</integer>
1470           <key>file</key><integer>0</integer>
1471          </dict>
1472         </array>
1473       </dict>
1474      </array>
1475    </dict>
1476    <dict>
1477     <key>kind</key><string>control</string>
1478     <key>edges</key>
1479      <array>
1480       <dict>
1481        <key>start</key>
1482         <array>
1483          <dict>
1484           <key>line</key><integer>74</integer>
1485           <key>col</key><integer>5</integer>
1486           <key>file</key><integer>0</integer>
1487          </dict>
1488          <dict>
1489           <key>line</key><integer>74</integer>
1490           <key>col</key><integer>8</integer>
1491           <key>file</key><integer>0</integer>
1492          </dict>
1493         </array>
1494        <key>end</key>
1495         <array>
1496          <dict>
1497           <key>line</key><integer>76</integer>
1498           <key>col</key><integer>5</integer>
1499           <key>file</key><integer>0</integer>
1500          </dict>
1501          <dict>
1502           <key>line</key><integer>76</integer>
1503           <key>col</key><integer>6</integer>
1504           <key>file</key><integer>0</integer>
1505          </dict>
1506         </array>
1507       </dict>
1508      </array>
1509    </dict>
1510    <dict>
1511     <key>kind</key><string>control</string>
1512     <key>edges</key>
1513      <array>
1514       <dict>
1515        <key>start</key>
1516         <array>
1517          <dict>
1518           <key>line</key><integer>76</integer>
1519           <key>col</key><integer>5</integer>
1520           <key>file</key><integer>0</integer>
1521          </dict>
1522          <dict>
1523           <key>line</key><integer>76</integer>
1524           <key>col</key><integer>6</integer>
1525           <key>file</key><integer>0</integer>
1526          </dict>
1527         </array>
1528        <key>end</key>
1529         <array>
1530          <dict>
1531           <key>line</key><integer>76</integer>
1532           <key>col</key><integer>9</integer>
1533           <key>file</key><integer>0</integer>
1534          </dict>
1535          <dict>
1536           <key>line</key><integer>76</integer>
1537           <key>col</key><integer>9</integer>
1538           <key>file</key><integer>0</integer>
1539          </dict>
1540         </array>
1541       </dict>
1542      </array>
1543    </dict>
1544    <dict>
1545     <key>kind</key><string>event</string>
1546     <key>location</key>
1547     <dict>
1548      <key>line</key><integer>76</integer>
1549      <key>col</key><integer>9</integer>
1550      <key>file</key><integer>0</integer>
1551     </dict>
1552     <key>ranges</key>
1553     <array>
1554       <array>
1555        <dict>
1556         <key>line</key><integer>76</integer>
1557         <key>col</key><integer>9</integer>
1558         <key>file</key><integer>0</integer>
1559        </dict>
1560        <dict>
1561         <key>line</key><integer>76</integer>
1562         <key>col</key><integer>14</integer>
1563         <key>file</key><integer>0</integer>
1564        </dict>
1565       </array>
1566     </array>
1567     <key>depth</key><integer>0</integer>
1568     <key>extended_message</key>
1569     <string>Assuming &apos;y&apos; is equal to 2</string>
1570     <key>message</key>
1571     <string>Assuming &apos;y&apos; is equal to 2</string>
1572    </dict>
1573    <dict>
1574     <key>kind</key><string>control</string>
1575     <key>edges</key>
1576      <array>
1577       <dict>
1578        <key>start</key>
1579         <array>
1580          <dict>
1581           <key>line</key><integer>76</integer>
1582           <key>col</key><integer>9</integer>
1583           <key>file</key><integer>0</integer>
1584          </dict>
1585          <dict>
1586           <key>line</key><integer>76</integer>
1587           <key>col</key><integer>9</integer>
1588           <key>file</key><integer>0</integer>
1589          </dict>
1590         </array>
1591        <key>end</key>
1592         <array>
1593          <dict>
1594           <key>line</key><integer>77</integer>
1595           <key>col</key><integer>7</integer>
1596           <key>file</key><integer>0</integer>
1597          </dict>
1598          <dict>
1599           <key>line</key><integer>77</integer>
1600           <key>col</key><integer>7</integer>
1601           <key>file</key><integer>0</integer>
1602          </dict>
1603         </array>
1604       </dict>
1605      </array>
1606    </dict>
1607    <dict>
1608     <key>kind</key><string>control</string>
1609     <key>edges</key>
1610      <array>
1611       <dict>
1612        <key>start</key>
1613         <array>
1614          <dict>
1615           <key>line</key><integer>77</integer>
1616           <key>col</key><integer>7</integer>
1617           <key>file</key><integer>0</integer>
1618          </dict>
1619          <dict>
1620           <key>line</key><integer>77</integer>
1621           <key>col</key><integer>7</integer>
1622           <key>file</key><integer>0</integer>
1623          </dict>
1624         </array>
1625        <key>end</key>
1626         <array>
1627          <dict>
1628           <key>line</key><integer>77</integer>
1629           <key>col</key><integer>26</integer>
1630           <key>file</key><integer>0</integer>
1631          </dict>
1632          <dict>
1633           <key>line</key><integer>77</integer>
1634           <key>col</key><integer>26</integer>
1635           <key>file</key><integer>0</integer>
1636          </dict>
1637         </array>
1638       </dict>
1639      </array>
1640    </dict>
1641    <dict>
1642     <key>kind</key><string>event</string>
1643     <key>location</key>
1644     <dict>
1645      <key>line</key><integer>77</integer>
1646      <key>col</key><integer>26</integer>
1647      <key>file</key><integer>0</integer>
1648     </dict>
1649     <key>ranges</key>
1650     <array>
1651       <array>
1652        <dict>
1653         <key>line</key><integer>77</integer>
1654         <key>col</key><integer>7</integer>
1655         <key>file</key><integer>0</integer>
1656        </dict>
1657        <dict>
1658         <key>line</key><integer>77</integer>
1659         <key>col</key><integer>28</integer>
1660         <key>file</key><integer>0</integer>
1661        </dict>
1662       </array>
1663     </array>
1664     <key>depth</key><integer>0</integer>
1665     <key>extended_message</key>
1666     <string>Dereference of null pointer</string>
1667     <key>message</key>
1668     <string>Dereference of null pointer</string>
1669    </dict>
1670   </array>
1671   <key>description</key><string>Dereference of null pointer</string>
1672   <key>category</key><string>Logic error</string>
1673   <key>type</key><string>Dereference of null pointer</string>
1674   <key>check_name</key><string>core.NullDereference</string>
1675   <!-- This hash is experimental and going to change! -->
1676   <key>issue_hash_content_of_line_in_context</key><string>f4697ded3a92318349a3969238e05387</string>
1677  <key>issue_context_kind</key><string>function</string>
1678  <key>issue_context</key><string>testLoopOpaqueIterator</string>
1679  <key>issue_hash_function_offset</key><string>5</string>
1680  <key>location</key>
1681  <dict>
1682   <key>line</key><integer>77</integer>
1683   <key>col</key><integer>26</integer>
1684   <key>file</key><integer>0</integer>
1685  </dict>
1686  <key>ExecutedLines</key>
1687  <dict>
1688   <key>0</key>
1689   <array>
1690    <integer>68</integer>
1691    <integer>69</integer>
1692    <integer>72</integer>
1693    <integer>73</integer>
1694    <integer>74</integer>
1695    <integer>75</integer>
1696    <integer>76</integer>
1697    <integer>77</integer>
1698   </array>
1699  </dict>
1700  </dict>
1701  <dict>
1702   <key>path</key>
1703   <array>
1704    <dict>
1705     <key>kind</key><string>event</string>
1706     <key>location</key>
1707     <dict>
1708      <key>line</key><integer>73</integer>
1709      <key>col</key><integer>14</integer>
1710      <key>file</key><integer>0</integer>
1711     </dict>
1712     <key>ranges</key>
1713     <array>
1714       <array>
1715        <dict>
1716         <key>line</key><integer>73</integer>
1717         <key>col</key><integer>14</integer>
1718         <key>file</key><integer>0</integer>
1719        </dict>
1720        <dict>
1721         <key>line</key><integer>73</integer>
1722         <key>col</key><integer>14</integer>
1723         <key>file</key><integer>0</integer>
1724        </dict>
1725       </array>
1726     </array>
1727     <key>depth</key><integer>0</integer>
1728     <key>extended_message</key>
1729     <string>Loop body skipped when range is empty</string>
1730     <key>message</key>
1731     <string>Loop body skipped when range is empty</string>
1732    </dict>
1733    <dict>
1734     <key>kind</key><string>control</string>
1735     <key>edges</key>
1736      <array>
1737       <dict>
1738        <key>start</key>
1739         <array>
1740          <dict>
1741           <key>line</key><integer>73</integer>
1742           <key>col</key><integer>3</integer>
1743           <key>file</key><integer>0</integer>
1744          </dict>
1745          <dict>
1746           <key>line</key><integer>73</integer>
1747           <key>col</key><integer>5</integer>
1748           <key>file</key><integer>0</integer>
1749          </dict>
1750         </array>
1751        <key>end</key>
1752         <array>
1753          <dict>
1754           <key>line</key><integer>83</integer>
1755           <key>col</key><integer>3</integer>
1756           <key>file</key><integer>0</integer>
1757          </dict>
1758          <dict>
1759           <key>line</key><integer>83</integer>
1760           <key>col</key><integer>3</integer>
1761           <key>file</key><integer>0</integer>
1762          </dict>
1763         </array>
1764       </dict>
1765      </array>
1766    </dict>
1767    <dict>
1768     <key>kind</key><string>control</string>
1769     <key>edges</key>
1770      <array>
1771       <dict>
1772        <key>start</key>
1773         <array>
1774          <dict>
1775           <key>line</key><integer>83</integer>
1776           <key>col</key><integer>3</integer>
1777           <key>file</key><integer>0</integer>
1778          </dict>
1779          <dict>
1780           <key>line</key><integer>83</integer>
1781           <key>col</key><integer>3</integer>
1782           <key>file</key><integer>0</integer>
1783          </dict>
1784         </array>
1785        <key>end</key>
1786         <array>
1787          <dict>
1788           <key>line</key><integer>83</integer>
1789           <key>col</key><integer>22</integer>
1790           <key>file</key><integer>0</integer>
1791          </dict>
1792          <dict>
1793           <key>line</key><integer>83</integer>
1794           <key>col</key><integer>22</integer>
1795           <key>file</key><integer>0</integer>
1796          </dict>
1797         </array>
1798       </dict>
1799      </array>
1800    </dict>
1801    <dict>
1802     <key>kind</key><string>event</string>
1803     <key>location</key>
1804     <dict>
1805      <key>line</key><integer>83</integer>
1806      <key>col</key><integer>22</integer>
1807      <key>file</key><integer>0</integer>
1808     </dict>
1809     <key>ranges</key>
1810     <array>
1811       <array>
1812        <dict>
1813         <key>line</key><integer>83</integer>
1814         <key>col</key><integer>3</integer>
1815         <key>file</key><integer>0</integer>
1816        </dict>
1817        <dict>
1818         <key>line</key><integer>83</integer>
1819         <key>col</key><integer>24</integer>
1820         <key>file</key><integer>0</integer>
1821        </dict>
1822       </array>
1823     </array>
1824     <key>depth</key><integer>0</integer>
1825     <key>extended_message</key>
1826     <string>Dereference of null pointer</string>
1827     <key>message</key>
1828     <string>Dereference of null pointer</string>
1829    </dict>
1830   </array>
1831   <key>description</key><string>Dereference of null pointer</string>
1832   <key>category</key><string>Logic error</string>
1833   <key>type</key><string>Dereference of null pointer</string>
1834   <key>check_name</key><string>core.NullDereference</string>
1835   <!-- This hash is experimental and going to change! -->
1836   <key>issue_hash_content_of_line_in_context</key><string>6855b29ad2407a5af43c57f062bc4602</string>
1837  <key>issue_context_kind</key><string>function</string>
1838  <key>issue_context</key><string>testLoopOpaqueIterator</string>
1839  <key>issue_hash_function_offset</key><string>11</string>
1840  <key>location</key>
1841  <dict>
1842   <key>line</key><integer>83</integer>
1843   <key>col</key><integer>22</integer>
1844   <key>file</key><integer>0</integer>
1845  </dict>
1846  <key>ExecutedLines</key>
1847  <dict>
1848   <key>0</key>
1849   <array>
1850    <integer>68</integer>
1851    <integer>69</integer>
1852    <integer>72</integer>
1853    <integer>73</integer>
1854    <integer>83</integer>
1855   </array>
1856  </dict>
1857  </dict>
1858  <dict>
1859   <key>path</key>
1860   <array>
1861    <dict>
1862     <key>kind</key><string>control</string>
1863     <key>edges</key>
1864      <array>
1865       <dict>
1866        <key>start</key>
1867         <array>
1868          <dict>
1869           <key>line</key><integer>102</integer>
1870           <key>col</key><integer>3</integer>
1871           <key>file</key><integer>0</integer>
1872          </dict>
1873          <dict>
1874           <key>line</key><integer>102</integer>
1875           <key>col</key><integer>5</integer>
1876           <key>file</key><integer>0</integer>
1877          </dict>
1878         </array>
1879        <key>end</key>
1880         <array>
1881          <dict>
1882           <key>line</key><integer>102</integer>
1883           <key>col</key><integer>8</integer>
1884           <key>file</key><integer>0</integer>
1885          </dict>
1886          <dict>
1887           <key>line</key><integer>102</integer>
1888           <key>col</key><integer>10</integer>
1889           <key>file</key><integer>0</integer>
1890          </dict>
1891         </array>
1892       </dict>
1893      </array>
1894    </dict>
1895    <dict>
1896     <key>kind</key><string>event</string>
1897     <key>location</key>
1898     <dict>
1899      <key>line</key><integer>102</integer>
1900      <key>col</key><integer>8</integer>
1901      <key>file</key><integer>0</integer>
1902     </dict>
1903     <key>ranges</key>
1904     <array>
1905       <array>
1906        <dict>
1907         <key>line</key><integer>102</integer>
1908         <key>col</key><integer>8</integer>
1909         <key>file</key><integer>0</integer>
1910        </dict>
1911        <dict>
1912         <key>line</key><integer>102</integer>
1913         <key>col</key><integer>15</integer>
1914         <key>file</key><integer>0</integer>
1915        </dict>
1916       </array>
1917     </array>
1918     <key>depth</key><integer>0</integer>
1919     <key>extended_message</key>
1920     <string>Initializing to a null pointer value</string>
1921     <key>message</key>
1922     <string>Initializing to a null pointer value</string>
1923    </dict>
1924    <dict>
1925     <key>kind</key><string>control</string>
1926     <key>edges</key>
1927      <array>
1928       <dict>
1929        <key>start</key>
1930         <array>
1931          <dict>
1932           <key>line</key><integer>102</integer>
1933           <key>col</key><integer>8</integer>
1934           <key>file</key><integer>0</integer>
1935          </dict>
1936          <dict>
1937           <key>line</key><integer>102</integer>
1938           <key>col</key><integer>10</integer>
1939           <key>file</key><integer>0</integer>
1940          </dict>
1941         </array>
1942        <key>end</key>
1943         <array>
1944          <dict>
1945           <key>line</key><integer>102</integer>
1946           <key>col</key><integer>58</integer>
1947           <key>file</key><integer>0</integer>
1948          </dict>
1949          <dict>
1950           <key>line</key><integer>102</integer>
1951           <key>col</key><integer>58</integer>
1952           <key>file</key><integer>0</integer>
1953          </dict>
1954         </array>
1955       </dict>
1956      </array>
1957    </dict>
1958    <dict>
1959     <key>kind</key><string>event</string>
1960     <key>location</key>
1961     <dict>
1962      <key>line</key><integer>102</integer>
1963      <key>col</key><integer>58</integer>
1964      <key>file</key><integer>0</integer>
1965     </dict>
1966     <key>ranges</key>
1967     <array>
1968       <array>
1969        <dict>
1970         <key>line</key><integer>102</integer>
1971         <key>col</key><integer>58</integer>
1972         <key>file</key><integer>0</integer>
1973        </dict>
1974        <dict>
1975         <key>line</key><integer>102</integer>
1976         <key>col</key><integer>58</integer>
1977         <key>file</key><integer>0</integer>
1978        </dict>
1979       </array>
1980     </array>
1981     <key>depth</key><integer>0</integer>
1982     <key>extended_message</key>
1983     <string>Entering loop body</string>
1984     <key>message</key>
1985     <string>Entering loop body</string>
1986    </dict>
1987    <dict>
1988     <key>kind</key><string>control</string>
1989     <key>edges</key>
1990      <array>
1991       <dict>
1992        <key>start</key>
1993         <array>
1994          <dict>
1995           <key>line</key><integer>102</integer>
1996           <key>col</key><integer>58</integer>
1997           <key>file</key><integer>0</integer>
1998          </dict>
1999          <dict>
2000           <key>line</key><integer>102</integer>
2001           <key>col</key><integer>58</integer>
2002           <key>file</key><integer>0</integer>
2003          </dict>
2004         </array>
2005        <key>end</key>
2006         <array>
2007          <dict>
2008           <key>line</key><integer>102</integer>
2009           <key>col</key><integer>51</integer>
2010           <key>file</key><integer>0</integer>
2011          </dict>
2012          <dict>
2013           <key>line</key><integer>102</integer>
2014           <key>col</key><integer>53</integer>
2015           <key>file</key><integer>0</integer>
2016          </dict>
2017         </array>
2018       </dict>
2019      </array>
2020    </dict>
2021    <dict>
2022     <key>kind</key><string>event</string>
2023     <key>location</key>
2024     <dict>
2025      <key>line</key><integer>102</integer>
2026      <key>col</key><integer>51</integer>
2027      <key>file</key><integer>0</integer>
2028     </dict>
2029     <key>ranges</key>
2030     <array>
2031       <array>
2032        <dict>
2033         <key>line</key><integer>102</integer>
2034         <key>col</key><integer>51</integer>
2035         <key>file</key><integer>0</integer>
2036        </dict>
2037        <dict>
2038         <key>line</key><integer>102</integer>
2039         <key>col</key><integer>56</integer>
2040         <key>file</key><integer>0</integer>
2041        </dict>
2042       </array>
2043     </array>
2044     <key>depth</key><integer>0</integer>
2045     <key>extended_message</key>
2046     <string>&apos;p&apos; initialized to a null pointer value</string>
2047     <key>message</key>
2048     <string>&apos;p&apos; initialized to a null pointer value</string>
2049    </dict>
2050    <dict>
2051     <key>kind</key><string>control</string>
2052     <key>edges</key>
2053      <array>
2054       <dict>
2055        <key>start</key>
2056         <array>
2057          <dict>
2058           <key>line</key><integer>102</integer>
2059           <key>col</key><integer>51</integer>
2060           <key>file</key><integer>0</integer>
2061          </dict>
2062          <dict>
2063           <key>line</key><integer>102</integer>
2064           <key>col</key><integer>53</integer>
2065           <key>file</key><integer>0</integer>
2066          </dict>
2067         </array>
2068        <key>end</key>
2069         <array>
2070          <dict>
2071           <key>line</key><integer>103</integer>
2072           <key>col</key><integer>8</integer>
2073           <key>file</key><integer>0</integer>
2074          </dict>
2075          <dict>
2076           <key>line</key><integer>103</integer>
2077           <key>col</key><integer>8</integer>
2078           <key>file</key><integer>0</integer>
2079          </dict>
2080         </array>
2081       </dict>
2082      </array>
2083    </dict>
2084    <dict>
2085     <key>kind</key><string>event</string>
2086     <key>location</key>
2087     <dict>
2088      <key>line</key><integer>103</integer>
2089      <key>col</key><integer>8</integer>
2090      <key>file</key><integer>0</integer>
2091     </dict>
2092     <key>ranges</key>
2093     <array>
2094       <array>
2095        <dict>
2096         <key>line</key><integer>103</integer>
2097         <key>col</key><integer>6</integer>
2098         <key>file</key><integer>0</integer>
2099        </dict>
2100        <dict>
2101         <key>line</key><integer>103</integer>
2102         <key>col</key><integer>6</integer>
2103         <key>file</key><integer>0</integer>
2104        </dict>
2105       </array>
2106     </array>
2107     <key>depth</key><integer>0</integer>
2108     <key>extended_message</key>
2109     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
2110     <key>message</key>
2111     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
2112    </dict>
2113   </array>
2114   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
2115   <key>category</key><string>Logic error</string>
2116   <key>type</key><string>Dereference of null pointer</string>
2117   <key>check_name</key><string>core.NullDereference</string>
2118   <!-- This hash is experimental and going to change! -->
2119   <key>issue_hash_content_of_line_in_context</key><string>ad377f8d4510dfd77d6485c402d57a2d</string>
2120  <key>issue_context_kind</key><string>function</string>
2121  <key>issue_context</key><string>testForRangeInit</string>
2122  <key>issue_hash_function_offset</key><string>2</string>
2123  <key>location</key>
2124  <dict>
2125   <key>line</key><integer>103</integer>
2126   <key>col</key><integer>8</integer>
2127   <key>file</key><integer>0</integer>
2128  </dict>
2129  <key>ExecutedLines</key>
2130  <dict>
2131   <key>0</key>
2132   <array>
2133    <integer>101</integer>
2134    <integer>102</integer>
2135    <integer>103</integer>
2136   </array>
2137  </dict>
2138  </dict>
2139 </array>
2140 <key>files</key>
2141 <array>
2142 </array>
2143</dict>
2144</plist>
2145