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>6</integer>
20           <key>col</key><integer>3</integer>
21           <key>file</key><integer>0</integer>
22          </dict>
23          <dict>
24           <key>line</key><integer>6</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>6</integer>
33           <key>col</key><integer>12</integer>
34           <key>file</key><integer>0</integer>
35          </dict>
36          <dict>
37           <key>line</key><integer>6</integer>
38           <key>col</key><integer>12</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>6</integer>
50      <key>col</key><integer>12</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>6</integer>
58         <key>col</key><integer>12</integer>
59         <key>file</key><integer>0</integer>
60        </dict>
61        <dict>
62         <key>line</key><integer>6</integer>
63         <key>col</key><integer>12</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>Assuming &apos;p&apos; is null</string>
71     <key>message</key>
72     <string>Assuming &apos;p&apos; is null</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>6</integer>
83           <key>col</key><integer>12</integer>
84           <key>file</key><integer>0</integer>
85          </dict>
86          <dict>
87           <key>line</key><integer>6</integer>
88           <key>col</key><integer>12</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>20</integer>
97           <key>file</key><integer>0</integer>
98          </dict>
99          <dict>
100           <key>line</key><integer>6</integer>
101           <key>col</key><integer>20</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>6</integer>
117           <key>col</key><integer>20</integer>
118           <key>file</key><integer>0</integer>
119          </dict>
120          <dict>
121           <key>line</key><integer>6</integer>
122           <key>col</key><integer>20</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>6</integer>
130           <key>col</key><integer>3</integer>
131           <key>file</key><integer>0</integer>
132          </dict>
133          <dict>
134           <key>line</key><integer>6</integer>
135           <key>col</key><integer>5</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>event</string>
144     <key>location</key>
145     <dict>
146      <key>line</key><integer>6</integer>
147      <key>col</key><integer>3</integer>
148      <key>file</key><integer>0</integer>
149     </dict>
150     <key>ranges</key>
151     <array>
152       <array>
153        <dict>
154         <key>line</key><integer>6</integer>
155         <key>col</key><integer>3</integer>
156         <key>file</key><integer>0</integer>
157        </dict>
158        <dict>
159         <key>line</key><integer>6</integer>
160         <key>col</key><integer>8</integer>
161         <key>file</key><integer>0</integer>
162        </dict>
163       </array>
164     </array>
165     <key>depth</key><integer>0</integer>
166     <key>extended_message</key>
167     <string>&apos;x&apos; initialized to a null pointer value</string>
168     <key>message</key>
169     <string>&apos;x&apos; initialized to a null pointer value</string>
170    </dict>
171    <dict>
172     <key>kind</key><string>control</string>
173     <key>edges</key>
174      <array>
175       <dict>
176        <key>start</key>
177         <array>
178          <dict>
179           <key>line</key><integer>6</integer>
180           <key>col</key><integer>3</integer>
181           <key>file</key><integer>0</integer>
182          </dict>
183          <dict>
184           <key>line</key><integer>6</integer>
185           <key>col</key><integer>5</integer>
186           <key>file</key><integer>0</integer>
187          </dict>
188         </array>
189        <key>end</key>
190         <array>
191          <dict>
192           <key>line</key><integer>10</integer>
193           <key>col</key><integer>3</integer>
194           <key>file</key><integer>0</integer>
195          </dict>
196          <dict>
197           <key>line</key><integer>10</integer>
198           <key>col</key><integer>3</integer>
199           <key>file</key><integer>0</integer>
200          </dict>
201         </array>
202       </dict>
203      </array>
204    </dict>
205    <dict>
206     <key>kind</key><string>control</string>
207     <key>edges</key>
208      <array>
209       <dict>
210        <key>start</key>
211         <array>
212          <dict>
213           <key>line</key><integer>10</integer>
214           <key>col</key><integer>3</integer>
215           <key>file</key><integer>0</integer>
216          </dict>
217          <dict>
218           <key>line</key><integer>10</integer>
219           <key>col</key><integer>3</integer>
220           <key>file</key><integer>0</integer>
221          </dict>
222         </array>
223        <key>end</key>
224         <array>
225          <dict>
226           <key>line</key><integer>10</integer>
227           <key>col</key><integer>6</integer>
228           <key>file</key><integer>0</integer>
229          </dict>
230          <dict>
231           <key>line</key><integer>10</integer>
232           <key>col</key><integer>6</integer>
233           <key>file</key><integer>0</integer>
234          </dict>
235         </array>
236       </dict>
237      </array>
238    </dict>
239    <dict>
240     <key>kind</key><string>event</string>
241     <key>location</key>
242     <dict>
243      <key>line</key><integer>10</integer>
244      <key>col</key><integer>6</integer>
245      <key>file</key><integer>0</integer>
246     </dict>
247     <key>ranges</key>
248     <array>
249       <array>
250        <dict>
251         <key>line</key><integer>10</integer>
252         <key>col</key><integer>4</integer>
253         <key>file</key><integer>0</integer>
254        </dict>
255        <dict>
256         <key>line</key><integer>10</integer>
257         <key>col</key><integer>4</integer>
258         <key>file</key><integer>0</integer>
259        </dict>
260       </array>
261     </array>
262     <key>depth</key><integer>0</integer>
263     <key>extended_message</key>
264     <string>Dereference of null pointer (loaded from variable &apos;x&apos;)</string>
265     <key>message</key>
266     <string>Dereference of null pointer (loaded from variable &apos;x&apos;)</string>
267    </dict>
268   </array>
269   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;x&apos;)</string>
270   <key>category</key><string>Logic error</string>
271   <key>type</key><string>Dereference of null pointer</string>
272   <key>check_name</key><string>core.NullDereference</string>
273   <!-- This hash is experimental and going to change! -->
274   <key>issue_hash_content_of_line_in_context</key><string>8ea3f4e6a3100c73f078fac15acb0a9c</string>
275  <key>issue_context_kind</key><string>function</string>
276  <key>issue_context</key><string>testCondOp</string>
277  <key>issue_hash_function_offset</key><string>5</string>
278  <key>location</key>
279  <dict>
280   <key>line</key><integer>10</integer>
281   <key>col</key><integer>6</integer>
282   <key>file</key><integer>0</integer>
283  </dict>
284  <key>ExecutedLines</key>
285  <dict>
286   <key>0</key>
287   <array>
288    <integer>5</integer>
289    <integer>6</integer>
290    <integer>10</integer>
291   </array>
292  </dict>
293  </dict>
294  <dict>
295   <key>path</key>
296   <array>
297    <dict>
298     <key>kind</key><string>control</string>
299     <key>edges</key>
300      <array>
301       <dict>
302        <key>start</key>
303         <array>
304          <dict>
305           <key>line</key><integer>15</integer>
306           <key>col</key><integer>3</integer>
307           <key>file</key><integer>0</integer>
308          </dict>
309          <dict>
310           <key>line</key><integer>15</integer>
311           <key>col</key><integer>4</integer>
312           <key>file</key><integer>0</integer>
313          </dict>
314         </array>
315        <key>end</key>
316         <array>
317          <dict>
318           <key>line</key><integer>15</integer>
319           <key>col</key><integer>7</integer>
320           <key>file</key><integer>0</integer>
321          </dict>
322          <dict>
323           <key>line</key><integer>15</integer>
324           <key>col</key><integer>7</integer>
325           <key>file</key><integer>0</integer>
326          </dict>
327         </array>
328       </dict>
329      </array>
330    </dict>
331    <dict>
332     <key>kind</key><string>event</string>
333     <key>location</key>
334     <dict>
335      <key>line</key><integer>15</integer>
336      <key>col</key><integer>7</integer>
337      <key>file</key><integer>0</integer>
338     </dict>
339     <key>ranges</key>
340     <array>
341       <array>
342        <dict>
343         <key>line</key><integer>15</integer>
344         <key>col</key><integer>7</integer>
345         <key>file</key><integer>0</integer>
346        </dict>
347        <dict>
348         <key>line</key><integer>15</integer>
349         <key>col</key><integer>7</integer>
350         <key>file</key><integer>0</integer>
351        </dict>
352       </array>
353     </array>
354     <key>depth</key><integer>0</integer>
355     <key>extended_message</key>
356     <string>Assuming &apos;p&apos; is null</string>
357     <key>message</key>
358     <string>Assuming &apos;p&apos; is null</string>
359    </dict>
360    <dict>
361     <key>kind</key><string>control</string>
362     <key>edges</key>
363      <array>
364       <dict>
365        <key>start</key>
366         <array>
367          <dict>
368           <key>line</key><integer>15</integer>
369           <key>col</key><integer>7</integer>
370           <key>file</key><integer>0</integer>
371          </dict>
372          <dict>
373           <key>line</key><integer>15</integer>
374           <key>col</key><integer>7</integer>
375           <key>file</key><integer>0</integer>
376          </dict>
377         </array>
378        <key>end</key>
379         <array>
380          <dict>
381           <key>line</key><integer>19</integer>
382           <key>col</key><integer>3</integer>
383           <key>file</key><integer>0</integer>
384          </dict>
385          <dict>
386           <key>line</key><integer>19</integer>
387           <key>col</key><integer>5</integer>
388           <key>file</key><integer>0</integer>
389          </dict>
390         </array>
391       </dict>
392      </array>
393    </dict>
394    <dict>
395     <key>kind</key><string>control</string>
396     <key>edges</key>
397      <array>
398       <dict>
399        <key>start</key>
400         <array>
401          <dict>
402           <key>line</key><integer>19</integer>
403           <key>col</key><integer>3</integer>
404           <key>file</key><integer>0</integer>
405          </dict>
406          <dict>
407           <key>line</key><integer>19</integer>
408           <key>col</key><integer>5</integer>
409           <key>file</key><integer>0</integer>
410          </dict>
411         </array>
412        <key>end</key>
413         <array>
414          <dict>
415           <key>line</key><integer>19</integer>
416           <key>col</key><integer>11</integer>
417           <key>file</key><integer>0</integer>
418          </dict>
419          <dict>
420           <key>line</key><integer>19</integer>
421           <key>col</key><integer>11</integer>
422           <key>file</key><integer>0</integer>
423          </dict>
424         </array>
425       </dict>
426      </array>
427    </dict>
428    <dict>
429     <key>kind</key><string>event</string>
430     <key>location</key>
431     <dict>
432      <key>line</key><integer>19</integer>
433      <key>col</key><integer>11</integer>
434      <key>file</key><integer>0</integer>
435     </dict>
436     <key>ranges</key>
437     <array>
438       <array>
439        <dict>
440         <key>line</key><integer>19</integer>
441         <key>col</key><integer>12</integer>
442         <key>file</key><integer>0</integer>
443        </dict>
444        <dict>
445         <key>line</key><integer>19</integer>
446         <key>col</key><integer>12</integer>
447         <key>file</key><integer>0</integer>
448        </dict>
449       </array>
450     </array>
451     <key>depth</key><integer>0</integer>
452     <key>extended_message</key>
453     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
454     <key>message</key>
455     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
456    </dict>
457   </array>
458   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
459   <key>category</key><string>Logic error</string>
460   <key>type</key><string>Dereference of null pointer</string>
461   <key>check_name</key><string>core.NullDereference</string>
462   <!-- This hash is experimental and going to change! -->
463   <key>issue_hash_content_of_line_in_context</key><string>2c219a33e961fc1be7d54b700867259e</string>
464  <key>issue_context_kind</key><string>function</string>
465  <key>issue_context</key><string>testCondProblem</string>
466  <key>issue_hash_function_offset</key><string>5</string>
467  <key>location</key>
468  <dict>
469   <key>line</key><integer>19</integer>
470   <key>col</key><integer>11</integer>
471   <key>file</key><integer>0</integer>
472  </dict>
473  <key>ExecutedLines</key>
474  <dict>
475   <key>0</key>
476   <array>
477    <integer>14</integer>
478    <integer>15</integer>
479    <integer>19</integer>
480   </array>
481  </dict>
482  </dict>
483  <dict>
484   <key>path</key>
485   <array>
486    <dict>
487     <key>kind</key><string>control</string>
488     <key>edges</key>
489      <array>
490       <dict>
491        <key>start</key>
492         <array>
493          <dict>
494           <key>line</key><integer>25</integer>
495           <key>col</key><integer>3</integer>
496           <key>file</key><integer>0</integer>
497          </dict>
498          <dict>
499           <key>line</key><integer>25</integer>
500           <key>col</key><integer>5</integer>
501           <key>file</key><integer>0</integer>
502          </dict>
503         </array>
504        <key>end</key>
505         <array>
506          <dict>
507           <key>line</key><integer>25</integer>
508           <key>col</key><integer>11</integer>
509           <key>file</key><integer>0</integer>
510          </dict>
511          <dict>
512           <key>line</key><integer>25</integer>
513           <key>col</key><integer>11</integer>
514           <key>file</key><integer>0</integer>
515          </dict>
516         </array>
517       </dict>
518      </array>
519    </dict>
520    <dict>
521     <key>kind</key><string>event</string>
522     <key>location</key>
523     <dict>
524      <key>line</key><integer>25</integer>
525      <key>col</key><integer>11</integer>
526      <key>file</key><integer>0</integer>
527     </dict>
528     <key>ranges</key>
529     <array>
530       <array>
531        <dict>
532         <key>line</key><integer>25</integer>
533         <key>col</key><integer>11</integer>
534         <key>file</key><integer>0</integer>
535        </dict>
536        <dict>
537         <key>line</key><integer>25</integer>
538         <key>col</key><integer>12</integer>
539         <key>file</key><integer>0</integer>
540        </dict>
541       </array>
542     </array>
543     <key>depth</key><integer>0</integer>
544     <key>extended_message</key>
545     <string>Assuming &apos;p&apos; is null</string>
546     <key>message</key>
547     <string>Assuming &apos;p&apos; is null</string>
548    </dict>
549    <dict>
550     <key>kind</key><string>control</string>
551     <key>edges</key>
552      <array>
553       <dict>
554        <key>start</key>
555         <array>
556          <dict>
557           <key>line</key><integer>25</integer>
558           <key>col</key><integer>11</integer>
559           <key>file</key><integer>0</integer>
560          </dict>
561          <dict>
562           <key>line</key><integer>25</integer>
563           <key>col</key><integer>11</integer>
564           <key>file</key><integer>0</integer>
565          </dict>
566         </array>
567        <key>end</key>
568         <array>
569          <dict>
570           <key>line</key><integer>25</integer>
571           <key>col</key><integer>16</integer>
572           <key>file</key><integer>0</integer>
573          </dict>
574          <dict>
575           <key>line</key><integer>25</integer>
576           <key>col</key><integer>16</integer>
577           <key>file</key><integer>0</integer>
578          </dict>
579         </array>
580       </dict>
581      </array>
582    </dict>
583    <dict>
584     <key>kind</key><string>event</string>
585     <key>location</key>
586     <dict>
587      <key>line</key><integer>25</integer>
588      <key>col</key><integer>16</integer>
589      <key>file</key><integer>0</integer>
590     </dict>
591     <key>ranges</key>
592     <array>
593       <array>
594        <dict>
595         <key>line</key><integer>25</integer>
596         <key>col</key><integer>17</integer>
597         <key>file</key><integer>0</integer>
598        </dict>
599        <dict>
600         <key>line</key><integer>25</integer>
601         <key>col</key><integer>17</integer>
602         <key>file</key><integer>0</integer>
603        </dict>
604       </array>
605     </array>
606     <key>depth</key><integer>0</integer>
607     <key>extended_message</key>
608     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
609     <key>message</key>
610     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
611    </dict>
612   </array>
613   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
614   <key>category</key><string>Logic error</string>
615   <key>type</key><string>Dereference of null pointer</string>
616   <key>check_name</key><string>core.NullDereference</string>
617   <!-- This hash is experimental and going to change! -->
618   <key>issue_hash_content_of_line_in_context</key><string>8d43b511137326eab7d1242950e72984</string>
619  <key>issue_context_kind</key><string>function</string>
620  <key>issue_context</key><string>testLHSProblem</string>
621  <key>issue_hash_function_offset</key><string>1</string>
622  <key>location</key>
623  <dict>
624   <key>line</key><integer>25</integer>
625   <key>col</key><integer>16</integer>
626   <key>file</key><integer>0</integer>
627  </dict>
628  <key>ExecutedLines</key>
629  <dict>
630   <key>0</key>
631   <array>
632    <integer>24</integer>
633    <integer>25</integer>
634   </array>
635  </dict>
636  </dict>
637  <dict>
638   <key>path</key>
639   <array>
640    <dict>
641     <key>kind</key><string>control</string>
642     <key>edges</key>
643      <array>
644       <dict>
645        <key>start</key>
646         <array>
647          <dict>
648           <key>line</key><integer>33</integer>
649           <key>col</key><integer>3</integer>
650           <key>file</key><integer>0</integer>
651          </dict>
652          <dict>
653           <key>line</key><integer>33</integer>
654           <key>col</key><integer>5</integer>
655           <key>file</key><integer>0</integer>
656          </dict>
657         </array>
658        <key>end</key>
659         <array>
660          <dict>
661           <key>line</key><integer>33</integer>
662           <key>col</key><integer>11</integer>
663           <key>file</key><integer>0</integer>
664          </dict>
665          <dict>
666           <key>line</key><integer>33</integer>
667           <key>col</key><integer>11</integer>
668           <key>file</key><integer>0</integer>
669          </dict>
670         </array>
671       </dict>
672      </array>
673    </dict>
674    <dict>
675     <key>kind</key><string>event</string>
676     <key>location</key>
677     <dict>
678      <key>line</key><integer>33</integer>
679      <key>col</key><integer>11</integer>
680      <key>file</key><integer>0</integer>
681     </dict>
682     <key>ranges</key>
683     <array>
684       <array>
685        <dict>
686         <key>line</key><integer>33</integer>
687         <key>col</key><integer>11</integer>
688         <key>file</key><integer>0</integer>
689        </dict>
690        <dict>
691         <key>line</key><integer>33</integer>
692         <key>col</key><integer>11</integer>
693         <key>file</key><integer>0</integer>
694        </dict>
695       </array>
696     </array>
697     <key>depth</key><integer>0</integer>
698     <key>extended_message</key>
699     <string>Assuming &apos;p&apos; is null</string>
700     <key>message</key>
701     <string>Assuming &apos;p&apos; is null</string>
702    </dict>
703    <dict>
704     <key>kind</key><string>control</string>
705     <key>edges</key>
706      <array>
707       <dict>
708        <key>start</key>
709         <array>
710          <dict>
711           <key>line</key><integer>33</integer>
712           <key>col</key><integer>11</integer>
713           <key>file</key><integer>0</integer>
714          </dict>
715          <dict>
716           <key>line</key><integer>33</integer>
717           <key>col</key><integer>11</integer>
718           <key>file</key><integer>0</integer>
719          </dict>
720         </array>
721        <key>end</key>
722         <array>
723          <dict>
724           <key>line</key><integer>33</integer>
725           <key>col</key><integer>19</integer>
726           <key>file</key><integer>0</integer>
727          </dict>
728          <dict>
729           <key>line</key><integer>33</integer>
730           <key>col</key><integer>19</integer>
731           <key>file</key><integer>0</integer>
732          </dict>
733         </array>
734       </dict>
735      </array>
736    </dict>
737    <dict>
738     <key>kind</key><string>event</string>
739     <key>location</key>
740     <dict>
741      <key>line</key><integer>33</integer>
742      <key>col</key><integer>19</integer>
743      <key>file</key><integer>0</integer>
744     </dict>
745     <key>ranges</key>
746     <array>
747       <array>
748        <dict>
749         <key>line</key><integer>33</integer>
750         <key>col</key><integer>20</integer>
751         <key>file</key><integer>0</integer>
752        </dict>
753        <dict>
754         <key>line</key><integer>33</integer>
755         <key>col</key><integer>20</integer>
756         <key>file</key><integer>0</integer>
757        </dict>
758       </array>
759     </array>
760     <key>depth</key><integer>0</integer>
761     <key>extended_message</key>
762     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
763     <key>message</key>
764     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
765    </dict>
766   </array>
767   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
768   <key>category</key><string>Logic error</string>
769   <key>type</key><string>Dereference of null pointer</string>
770   <key>check_name</key><string>core.NullDereference</string>
771   <!-- This hash is experimental and going to change! -->
772   <key>issue_hash_content_of_line_in_context</key><string>b8e93b7355a6779a960f9a942fafac15</string>
773  <key>issue_context_kind</key><string>function</string>
774  <key>issue_context</key><string>testRHSProblem</string>
775  <key>issue_hash_function_offset</key><string>1</string>
776  <key>location</key>
777  <dict>
778   <key>line</key><integer>33</integer>
779   <key>col</key><integer>19</integer>
780   <key>file</key><integer>0</integer>
781  </dict>
782  <key>ExecutedLines</key>
783  <dict>
784   <key>0</key>
785   <array>
786    <integer>32</integer>
787    <integer>33</integer>
788   </array>
789  </dict>
790  </dict>
791  <dict>
792   <key>path</key>
793   <array>
794    <dict>
795     <key>kind</key><string>event</string>
796     <key>location</key>
797     <dict>
798      <key>line</key><integer>41</integer>
799      <key>col</key><integer>3</integer>
800      <key>file</key><integer>0</integer>
801     </dict>
802     <key>ranges</key>
803     <array>
804       <array>
805        <dict>
806         <key>line</key><integer>41</integer>
807         <key>col</key><integer>3</integer>
808         <key>file</key><integer>0</integer>
809        </dict>
810        <dict>
811         <key>line</key><integer>41</integer>
812         <key>col</key><integer>8</integer>
813         <key>file</key><integer>0</integer>
814        </dict>
815       </array>
816     </array>
817     <key>depth</key><integer>0</integer>
818     <key>extended_message</key>
819     <string>&apos;x&apos; initialized to a null pointer value</string>
820     <key>message</key>
821     <string>&apos;x&apos; initialized to a null pointer value</string>
822    </dict>
823    <dict>
824     <key>kind</key><string>control</string>
825     <key>edges</key>
826      <array>
827       <dict>
828        <key>start</key>
829         <array>
830          <dict>
831           <key>line</key><integer>41</integer>
832           <key>col</key><integer>3</integer>
833           <key>file</key><integer>0</integer>
834          </dict>
835          <dict>
836           <key>line</key><integer>41</integer>
837           <key>col</key><integer>5</integer>
838           <key>file</key><integer>0</integer>
839          </dict>
840         </array>
841        <key>end</key>
842         <array>
843          <dict>
844           <key>line</key><integer>44</integer>
845           <key>col</key><integer>3</integer>
846           <key>file</key><integer>0</integer>
847          </dict>
848          <dict>
849           <key>line</key><integer>44</integer>
850           <key>col</key><integer>3</integer>
851           <key>file</key><integer>0</integer>
852          </dict>
853         </array>
854       </dict>
855      </array>
856    </dict>
857    <dict>
858     <key>kind</key><string>control</string>
859     <key>edges</key>
860      <array>
861       <dict>
862        <key>start</key>
863         <array>
864          <dict>
865           <key>line</key><integer>44</integer>
866           <key>col</key><integer>3</integer>
867           <key>file</key><integer>0</integer>
868          </dict>
869          <dict>
870           <key>line</key><integer>44</integer>
871           <key>col</key><integer>3</integer>
872           <key>file</key><integer>0</integer>
873          </dict>
874         </array>
875        <key>end</key>
876         <array>
877          <dict>
878           <key>line</key><integer>44</integer>
879           <key>col</key><integer>6</integer>
880           <key>file</key><integer>0</integer>
881          </dict>
882          <dict>
883           <key>line</key><integer>44</integer>
884           <key>col</key><integer>6</integer>
885           <key>file</key><integer>0</integer>
886          </dict>
887         </array>
888       </dict>
889      </array>
890    </dict>
891    <dict>
892     <key>kind</key><string>event</string>
893     <key>location</key>
894     <dict>
895      <key>line</key><integer>44</integer>
896      <key>col</key><integer>6</integer>
897      <key>file</key><integer>0</integer>
898     </dict>
899     <key>ranges</key>
900     <array>
901       <array>
902        <dict>
903         <key>line</key><integer>44</integer>
904         <key>col</key><integer>4</integer>
905         <key>file</key><integer>0</integer>
906        </dict>
907        <dict>
908         <key>line</key><integer>44</integer>
909         <key>col</key><integer>4</integer>
910         <key>file</key><integer>0</integer>
911        </dict>
912       </array>
913     </array>
914     <key>depth</key><integer>0</integer>
915     <key>extended_message</key>
916     <string>Dereference of null pointer (loaded from variable &apos;x&apos;)</string>
917     <key>message</key>
918     <string>Dereference of null pointer (loaded from variable &apos;x&apos;)</string>
919    </dict>
920   </array>
921   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;x&apos;)</string>
922   <key>category</key><string>Logic error</string>
923   <key>type</key><string>Dereference of null pointer</string>
924   <key>check_name</key><string>core.NullDereference</string>
925   <!-- This hash is experimental and going to change! -->
926   <key>issue_hash_content_of_line_in_context</key><string>a944281d096940ca43ec995649b48b5f</string>
927  <key>issue_context_kind</key><string>function</string>
928  <key>issue_context</key><string>testBinaryCondOp</string>
929  <key>issue_hash_function_offset</key><string>4</string>
930  <key>location</key>
931  <dict>
932   <key>line</key><integer>44</integer>
933   <key>col</key><integer>6</integer>
934   <key>file</key><integer>0</integer>
935  </dict>
936  <key>ExecutedLines</key>
937  <dict>
938   <key>0</key>
939   <array>
940    <integer>40</integer>
941    <integer>41</integer>
942    <integer>44</integer>
943   </array>
944  </dict>
945  </dict>
946  <dict>
947   <key>path</key>
948   <array>
949    <dict>
950     <key>kind</key><string>control</string>
951     <key>edges</key>
952      <array>
953       <dict>
954        <key>start</key>
955         <array>
956          <dict>
957           <key>line</key><integer>49</integer>
958           <key>col</key><integer>3</integer>
959           <key>file</key><integer>0</integer>
960          </dict>
961          <dict>
962           <key>line</key><integer>49</integer>
963           <key>col</key><integer>4</integer>
964           <key>file</key><integer>0</integer>
965          </dict>
966         </array>
967        <key>end</key>
968         <array>
969          <dict>
970           <key>line</key><integer>49</integer>
971           <key>col</key><integer>7</integer>
972           <key>file</key><integer>0</integer>
973          </dict>
974          <dict>
975           <key>line</key><integer>49</integer>
976           <key>col</key><integer>7</integer>
977           <key>file</key><integer>0</integer>
978          </dict>
979         </array>
980       </dict>
981      </array>
982    </dict>
983    <dict>
984     <key>kind</key><string>event</string>
985     <key>location</key>
986     <dict>
987      <key>line</key><integer>49</integer>
988      <key>col</key><integer>7</integer>
989      <key>file</key><integer>0</integer>
990     </dict>
991     <key>ranges</key>
992     <array>
993       <array>
994        <dict>
995         <key>line</key><integer>49</integer>
996         <key>col</key><integer>7</integer>
997         <key>file</key><integer>0</integer>
998        </dict>
999        <dict>
1000         <key>line</key><integer>49</integer>
1001         <key>col</key><integer>7</integer>
1002         <key>file</key><integer>0</integer>
1003        </dict>
1004       </array>
1005     </array>
1006     <key>depth</key><integer>0</integer>
1007     <key>extended_message</key>
1008     <string>Assuming &apos;p&apos; is null</string>
1009     <key>message</key>
1010     <string>Assuming &apos;p&apos; is null</string>
1011    </dict>
1012    <dict>
1013     <key>kind</key><string>control</string>
1014     <key>edges</key>
1015      <array>
1016       <dict>
1017        <key>start</key>
1018         <array>
1019          <dict>
1020           <key>line</key><integer>49</integer>
1021           <key>col</key><integer>7</integer>
1022           <key>file</key><integer>0</integer>
1023          </dict>
1024          <dict>
1025           <key>line</key><integer>49</integer>
1026           <key>col</key><integer>7</integer>
1027           <key>file</key><integer>0</integer>
1028          </dict>
1029         </array>
1030        <key>end</key>
1031         <array>
1032          <dict>
1033           <key>line</key><integer>53</integer>
1034           <key>col</key><integer>3</integer>
1035           <key>file</key><integer>0</integer>
1036          </dict>
1037          <dict>
1038           <key>line</key><integer>53</integer>
1039           <key>col</key><integer>5</integer>
1040           <key>file</key><integer>0</integer>
1041          </dict>
1042         </array>
1043       </dict>
1044      </array>
1045    </dict>
1046    <dict>
1047     <key>kind</key><string>control</string>
1048     <key>edges</key>
1049      <array>
1050       <dict>
1051        <key>start</key>
1052         <array>
1053          <dict>
1054           <key>line</key><integer>53</integer>
1055           <key>col</key><integer>3</integer>
1056           <key>file</key><integer>0</integer>
1057          </dict>
1058          <dict>
1059           <key>line</key><integer>53</integer>
1060           <key>col</key><integer>5</integer>
1061           <key>file</key><integer>0</integer>
1062          </dict>
1063         </array>
1064        <key>end</key>
1065         <array>
1066          <dict>
1067           <key>line</key><integer>53</integer>
1068           <key>col</key><integer>11</integer>
1069           <key>file</key><integer>0</integer>
1070          </dict>
1071          <dict>
1072           <key>line</key><integer>53</integer>
1073           <key>col</key><integer>11</integer>
1074           <key>file</key><integer>0</integer>
1075          </dict>
1076         </array>
1077       </dict>
1078      </array>
1079    </dict>
1080    <dict>
1081     <key>kind</key><string>event</string>
1082     <key>location</key>
1083     <dict>
1084      <key>line</key><integer>53</integer>
1085      <key>col</key><integer>11</integer>
1086      <key>file</key><integer>0</integer>
1087     </dict>
1088     <key>ranges</key>
1089     <array>
1090       <array>
1091        <dict>
1092         <key>line</key><integer>53</integer>
1093         <key>col</key><integer>12</integer>
1094         <key>file</key><integer>0</integer>
1095        </dict>
1096        <dict>
1097         <key>line</key><integer>53</integer>
1098         <key>col</key><integer>12</integer>
1099         <key>file</key><integer>0</integer>
1100        </dict>
1101       </array>
1102     </array>
1103     <key>depth</key><integer>0</integer>
1104     <key>extended_message</key>
1105     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
1106     <key>message</key>
1107     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
1108    </dict>
1109   </array>
1110   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
1111   <key>category</key><string>Logic error</string>
1112   <key>type</key><string>Dereference of null pointer</string>
1113   <key>check_name</key><string>core.NullDereference</string>
1114   <!-- This hash is experimental and going to change! -->
1115   <key>issue_hash_content_of_line_in_context</key><string>4db164bbf5cea42d75c5e838be1eef6f</string>
1116  <key>issue_context_kind</key><string>function</string>
1117  <key>issue_context</key><string>testBinaryLHSProblem</string>
1118  <key>issue_hash_function_offset</key><string>5</string>
1119  <key>location</key>
1120  <dict>
1121   <key>line</key><integer>53</integer>
1122   <key>col</key><integer>11</integer>
1123   <key>file</key><integer>0</integer>
1124  </dict>
1125  <key>ExecutedLines</key>
1126  <dict>
1127   <key>0</key>
1128   <array>
1129    <integer>48</integer>
1130    <integer>49</integer>
1131    <integer>53</integer>
1132   </array>
1133  </dict>
1134  </dict>
1135  <dict>
1136   <key>path</key>
1137   <array>
1138    <dict>
1139     <key>kind</key><string>control</string>
1140     <key>edges</key>
1141      <array>
1142       <dict>
1143        <key>start</key>
1144         <array>
1145          <dict>
1146           <key>line</key><integer>59</integer>
1147           <key>col</key><integer>3</integer>
1148           <key>file</key><integer>0</integer>
1149          </dict>
1150          <dict>
1151           <key>line</key><integer>59</integer>
1152           <key>col</key><integer>4</integer>
1153           <key>file</key><integer>0</integer>
1154          </dict>
1155         </array>
1156        <key>end</key>
1157         <array>
1158          <dict>
1159           <key>line</key><integer>59</integer>
1160           <key>col</key><integer>7</integer>
1161           <key>file</key><integer>0</integer>
1162          </dict>
1163          <dict>
1164           <key>line</key><integer>59</integer>
1165           <key>col</key><integer>7</integer>
1166           <key>file</key><integer>0</integer>
1167          </dict>
1168         </array>
1169       </dict>
1170      </array>
1171    </dict>
1172    <dict>
1173     <key>kind</key><string>event</string>
1174     <key>location</key>
1175     <dict>
1176      <key>line</key><integer>59</integer>
1177      <key>col</key><integer>7</integer>
1178      <key>file</key><integer>0</integer>
1179     </dict>
1180     <key>ranges</key>
1181     <array>
1182       <array>
1183        <dict>
1184         <key>line</key><integer>59</integer>
1185         <key>col</key><integer>7</integer>
1186         <key>file</key><integer>0</integer>
1187        </dict>
1188        <dict>
1189         <key>line</key><integer>59</integer>
1190         <key>col</key><integer>7</integer>
1191         <key>file</key><integer>0</integer>
1192        </dict>
1193       </array>
1194     </array>
1195     <key>depth</key><integer>0</integer>
1196     <key>extended_message</key>
1197     <string>Assuming &apos;a&apos; is not equal to 0</string>
1198     <key>message</key>
1199     <string>Assuming &apos;a&apos; is not equal to 0</string>
1200    </dict>
1201    <dict>
1202     <key>kind</key><string>control</string>
1203     <key>edges</key>
1204      <array>
1205       <dict>
1206        <key>start</key>
1207         <array>
1208          <dict>
1209           <key>line</key><integer>59</integer>
1210           <key>col</key><integer>7</integer>
1211           <key>file</key><integer>0</integer>
1212          </dict>
1213          <dict>
1214           <key>line</key><integer>59</integer>
1215           <key>col</key><integer>7</integer>
1216           <key>file</key><integer>0</integer>
1217          </dict>
1218         </array>
1219        <key>end</key>
1220         <array>
1221          <dict>
1222           <key>line</key><integer>62</integer>
1223           <key>col</key><integer>5</integer>
1224           <key>file</key><integer>0</integer>
1225          </dict>
1226          <dict>
1227           <key>line</key><integer>62</integer>
1228           <key>col</key><integer>5</integer>
1229           <key>file</key><integer>0</integer>
1230          </dict>
1231         </array>
1232       </dict>
1233      </array>
1234    </dict>
1235    <dict>
1236     <key>kind</key><string>control</string>
1237     <key>edges</key>
1238      <array>
1239       <dict>
1240        <key>start</key>
1241         <array>
1242          <dict>
1243           <key>line</key><integer>62</integer>
1244           <key>col</key><integer>5</integer>
1245           <key>file</key><integer>0</integer>
1246          </dict>
1247          <dict>
1248           <key>line</key><integer>62</integer>
1249           <key>col</key><integer>5</integer>
1250           <key>file</key><integer>0</integer>
1251          </dict>
1252         </array>
1253        <key>end</key>
1254         <array>
1255          <dict>
1256           <key>line</key><integer>62</integer>
1257           <key>col</key><integer>24</integer>
1258           <key>file</key><integer>0</integer>
1259          </dict>
1260          <dict>
1261           <key>line</key><integer>62</integer>
1262           <key>col</key><integer>24</integer>
1263           <key>file</key><integer>0</integer>
1264          </dict>
1265         </array>
1266       </dict>
1267      </array>
1268    </dict>
1269    <dict>
1270     <key>kind</key><string>event</string>
1271     <key>location</key>
1272     <dict>
1273      <key>line</key><integer>62</integer>
1274      <key>col</key><integer>24</integer>
1275      <key>file</key><integer>0</integer>
1276     </dict>
1277     <key>ranges</key>
1278     <array>
1279       <array>
1280        <dict>
1281         <key>line</key><integer>62</integer>
1282         <key>col</key><integer>5</integer>
1283         <key>file</key><integer>0</integer>
1284        </dict>
1285        <dict>
1286         <key>line</key><integer>62</integer>
1287         <key>col</key><integer>26</integer>
1288         <key>file</key><integer>0</integer>
1289        </dict>
1290       </array>
1291     </array>
1292     <key>depth</key><integer>0</integer>
1293     <key>extended_message</key>
1294     <string>Dereference of null pointer</string>
1295     <key>message</key>
1296     <string>Dereference of null pointer</string>
1297    </dict>
1298   </array>
1299   <key>description</key><string>Dereference of null pointer</string>
1300   <key>category</key><string>Logic error</string>
1301   <key>type</key><string>Dereference of null pointer</string>
1302   <key>check_name</key><string>core.NullDereference</string>
1303   <!-- This hash is experimental and going to change! -->
1304   <key>issue_hash_content_of_line_in_context</key><string>778d56ad485369222613ac2c03b97700</string>
1305  <key>issue_context_kind</key><string>function</string>
1306  <key>issue_context</key><string>testDiagnosableBranch</string>
1307  <key>issue_hash_function_offset</key><string>4</string>
1308  <key>location</key>
1309  <dict>
1310   <key>line</key><integer>62</integer>
1311   <key>col</key><integer>24</integer>
1312   <key>file</key><integer>0</integer>
1313  </dict>
1314  <key>ExecutedLines</key>
1315  <dict>
1316   <key>0</key>
1317   <array>
1318    <integer>58</integer>
1319    <integer>59</integer>
1320    <integer>62</integer>
1321   </array>
1322  </dict>
1323  </dict>
1324  <dict>
1325   <key>path</key>
1326   <array>
1327    <dict>
1328     <key>kind</key><string>control</string>
1329     <key>edges</key>
1330      <array>
1331       <dict>
1332        <key>start</key>
1333         <array>
1334          <dict>
1335           <key>line</key><integer>68</integer>
1336           <key>col</key><integer>3</integer>
1337           <key>file</key><integer>0</integer>
1338          </dict>
1339          <dict>
1340           <key>line</key><integer>68</integer>
1341           <key>col</key><integer>4</integer>
1342           <key>file</key><integer>0</integer>
1343          </dict>
1344         </array>
1345        <key>end</key>
1346         <array>
1347          <dict>
1348           <key>line</key><integer>68</integer>
1349           <key>col</key><integer>7</integer>
1350           <key>file</key><integer>0</integer>
1351          </dict>
1352          <dict>
1353           <key>line</key><integer>68</integer>
1354           <key>col</key><integer>7</integer>
1355           <key>file</key><integer>0</integer>
1356          </dict>
1357         </array>
1358       </dict>
1359      </array>
1360    </dict>
1361    <dict>
1362     <key>kind</key><string>event</string>
1363     <key>location</key>
1364     <dict>
1365      <key>line</key><integer>68</integer>
1366      <key>col</key><integer>7</integer>
1367      <key>file</key><integer>0</integer>
1368     </dict>
1369     <key>ranges</key>
1370     <array>
1371       <array>
1372        <dict>
1373         <key>line</key><integer>68</integer>
1374         <key>col</key><integer>7</integer>
1375         <key>file</key><integer>0</integer>
1376        </dict>
1377        <dict>
1378         <key>line</key><integer>68</integer>
1379         <key>col</key><integer>7</integer>
1380         <key>file</key><integer>0</integer>
1381        </dict>
1382       </array>
1383     </array>
1384     <key>depth</key><integer>0</integer>
1385     <key>extended_message</key>
1386     <string>Assuming &apos;a&apos; is not equal to 0</string>
1387     <key>message</key>
1388     <string>Assuming &apos;a&apos; is not equal to 0</string>
1389    </dict>
1390    <dict>
1391     <key>kind</key><string>control</string>
1392     <key>edges</key>
1393      <array>
1394       <dict>
1395        <key>start</key>
1396         <array>
1397          <dict>
1398           <key>line</key><integer>68</integer>
1399           <key>col</key><integer>7</integer>
1400           <key>file</key><integer>0</integer>
1401          </dict>
1402          <dict>
1403           <key>line</key><integer>68</integer>
1404           <key>col</key><integer>7</integer>
1405           <key>file</key><integer>0</integer>
1406          </dict>
1407         </array>
1408        <key>end</key>
1409         <array>
1410          <dict>
1411           <key>line</key><integer>68</integer>
1412           <key>col</key><integer>12</integer>
1413           <key>file</key><integer>0</integer>
1414          </dict>
1415          <dict>
1416           <key>line</key><integer>68</integer>
1417           <key>col</key><integer>12</integer>
1418           <key>file</key><integer>0</integer>
1419          </dict>
1420         </array>
1421       </dict>
1422      </array>
1423    </dict>
1424    <dict>
1425     <key>kind</key><string>event</string>
1426     <key>location</key>
1427     <dict>
1428      <key>line</key><integer>68</integer>
1429      <key>col</key><integer>12</integer>
1430      <key>file</key><integer>0</integer>
1431     </dict>
1432     <key>ranges</key>
1433     <array>
1434       <array>
1435        <dict>
1436         <key>line</key><integer>68</integer>
1437         <key>col</key><integer>12</integer>
1438         <key>file</key><integer>0</integer>
1439        </dict>
1440        <dict>
1441         <key>line</key><integer>68</integer>
1442         <key>col</key><integer>12</integer>
1443         <key>file</key><integer>0</integer>
1444        </dict>
1445       </array>
1446     </array>
1447     <key>depth</key><integer>0</integer>
1448     <key>extended_message</key>
1449     <string>Assuming &apos;b&apos; is not equal to 0</string>
1450     <key>message</key>
1451     <string>Assuming &apos;b&apos; is not equal to 0</string>
1452    </dict>
1453    <dict>
1454     <key>kind</key><string>control</string>
1455     <key>edges</key>
1456      <array>
1457       <dict>
1458        <key>start</key>
1459         <array>
1460          <dict>
1461           <key>line</key><integer>68</integer>
1462           <key>col</key><integer>12</integer>
1463           <key>file</key><integer>0</integer>
1464          </dict>
1465          <dict>
1466           <key>line</key><integer>68</integer>
1467           <key>col</key><integer>12</integer>
1468           <key>file</key><integer>0</integer>
1469          </dict>
1470         </array>
1471        <key>end</key>
1472         <array>
1473          <dict>
1474           <key>line</key><integer>73</integer>
1475           <key>col</key><integer>5</integer>
1476           <key>file</key><integer>0</integer>
1477          </dict>
1478          <dict>
1479           <key>line</key><integer>73</integer>
1480           <key>col</key><integer>5</integer>
1481           <key>file</key><integer>0</integer>
1482          </dict>
1483         </array>
1484       </dict>
1485      </array>
1486    </dict>
1487    <dict>
1488     <key>kind</key><string>control</string>
1489     <key>edges</key>
1490      <array>
1491       <dict>
1492        <key>start</key>
1493         <array>
1494          <dict>
1495           <key>line</key><integer>73</integer>
1496           <key>col</key><integer>5</integer>
1497           <key>file</key><integer>0</integer>
1498          </dict>
1499          <dict>
1500           <key>line</key><integer>73</integer>
1501           <key>col</key><integer>5</integer>
1502           <key>file</key><integer>0</integer>
1503          </dict>
1504         </array>
1505        <key>end</key>
1506         <array>
1507          <dict>
1508           <key>line</key><integer>73</integer>
1509           <key>col</key><integer>24</integer>
1510           <key>file</key><integer>0</integer>
1511          </dict>
1512          <dict>
1513           <key>line</key><integer>73</integer>
1514           <key>col</key><integer>24</integer>
1515           <key>file</key><integer>0</integer>
1516          </dict>
1517         </array>
1518       </dict>
1519      </array>
1520    </dict>
1521    <dict>
1522     <key>kind</key><string>event</string>
1523     <key>location</key>
1524     <dict>
1525      <key>line</key><integer>73</integer>
1526      <key>col</key><integer>24</integer>
1527      <key>file</key><integer>0</integer>
1528     </dict>
1529     <key>ranges</key>
1530     <array>
1531       <array>
1532        <dict>
1533         <key>line</key><integer>73</integer>
1534         <key>col</key><integer>5</integer>
1535         <key>file</key><integer>0</integer>
1536        </dict>
1537        <dict>
1538         <key>line</key><integer>73</integer>
1539         <key>col</key><integer>26</integer>
1540         <key>file</key><integer>0</integer>
1541        </dict>
1542       </array>
1543     </array>
1544     <key>depth</key><integer>0</integer>
1545     <key>extended_message</key>
1546     <string>Dereference of null pointer</string>
1547     <key>message</key>
1548     <string>Dereference of null pointer</string>
1549    </dict>
1550   </array>
1551   <key>description</key><string>Dereference of null pointer</string>
1552   <key>category</key><string>Logic error</string>
1553   <key>type</key><string>Dereference of null pointer</string>
1554   <key>check_name</key><string>core.NullDereference</string>
1555   <!-- This hash is experimental and going to change! -->
1556   <key>issue_hash_content_of_line_in_context</key><string>a2b345c9681d9dd3aa15d12810759cb9</string>
1557  <key>issue_context_kind</key><string>function</string>
1558  <key>issue_context</key><string>testDiagnosableBranchLogical</string>
1559  <key>issue_hash_function_offset</key><string>6</string>
1560  <key>location</key>
1561  <dict>
1562   <key>line</key><integer>73</integer>
1563   <key>col</key><integer>24</integer>
1564   <key>file</key><integer>0</integer>
1565  </dict>
1566  <key>ExecutedLines</key>
1567  <dict>
1568   <key>0</key>
1569   <array>
1570    <integer>67</integer>
1571    <integer>68</integer>
1572    <integer>73</integer>
1573   </array>
1574  </dict>
1575  </dict>
1576  <dict>
1577   <key>path</key>
1578   <array>
1579    <dict>
1580     <key>kind</key><string>control</string>
1581     <key>edges</key>
1582      <array>
1583       <dict>
1584        <key>start</key>
1585         <array>
1586          <dict>
1587           <key>line</key><integer>79</integer>
1588           <key>col</key><integer>3</integer>
1589           <key>file</key><integer>0</integer>
1590          </dict>
1591          <dict>
1592           <key>line</key><integer>79</integer>
1593           <key>col</key><integer>4</integer>
1594           <key>file</key><integer>0</integer>
1595          </dict>
1596         </array>
1597        <key>end</key>
1598         <array>
1599          <dict>
1600           <key>line</key><integer>79</integer>
1601           <key>col</key><integer>7</integer>
1602           <key>file</key><integer>0</integer>
1603          </dict>
1604          <dict>
1605           <key>line</key><integer>79</integer>
1606           <key>col</key><integer>7</integer>
1607           <key>file</key><integer>0</integer>
1608          </dict>
1609         </array>
1610       </dict>
1611      </array>
1612    </dict>
1613    <dict>
1614     <key>kind</key><string>event</string>
1615     <key>location</key>
1616     <dict>
1617      <key>line</key><integer>79</integer>
1618      <key>col</key><integer>7</integer>
1619      <key>file</key><integer>0</integer>
1620     </dict>
1621     <key>ranges</key>
1622     <array>
1623       <array>
1624        <dict>
1625         <key>line</key><integer>79</integer>
1626         <key>col</key><integer>7</integer>
1627         <key>file</key><integer>0</integer>
1628        </dict>
1629        <dict>
1630         <key>line</key><integer>79</integer>
1631         <key>col</key><integer>11</integer>
1632         <key>file</key><integer>0</integer>
1633        </dict>
1634       </array>
1635     </array>
1636     <key>depth</key><integer>0</integer>
1637     <key>extended_message</key>
1638     <string>Assuming the condition is true</string>
1639     <key>message</key>
1640     <string>Assuming the condition is true</string>
1641    </dict>
1642    <dict>
1643     <key>kind</key><string>control</string>
1644     <key>edges</key>
1645      <array>
1646       <dict>
1647        <key>start</key>
1648         <array>
1649          <dict>
1650           <key>line</key><integer>79</integer>
1651           <key>col</key><integer>7</integer>
1652           <key>file</key><integer>0</integer>
1653          </dict>
1654          <dict>
1655           <key>line</key><integer>79</integer>
1656           <key>col</key><integer>7</integer>
1657           <key>file</key><integer>0</integer>
1658          </dict>
1659         </array>
1660        <key>end</key>
1661         <array>
1662          <dict>
1663           <key>line</key><integer>82</integer>
1664           <key>col</key><integer>5</integer>
1665           <key>file</key><integer>0</integer>
1666          </dict>
1667          <dict>
1668           <key>line</key><integer>82</integer>
1669           <key>col</key><integer>5</integer>
1670           <key>file</key><integer>0</integer>
1671          </dict>
1672         </array>
1673       </dict>
1674      </array>
1675    </dict>
1676    <dict>
1677     <key>kind</key><string>control</string>
1678     <key>edges</key>
1679      <array>
1680       <dict>
1681        <key>start</key>
1682         <array>
1683          <dict>
1684           <key>line</key><integer>82</integer>
1685           <key>col</key><integer>5</integer>
1686           <key>file</key><integer>0</integer>
1687          </dict>
1688          <dict>
1689           <key>line</key><integer>82</integer>
1690           <key>col</key><integer>5</integer>
1691           <key>file</key><integer>0</integer>
1692          </dict>
1693         </array>
1694        <key>end</key>
1695         <array>
1696          <dict>
1697           <key>line</key><integer>82</integer>
1698           <key>col</key><integer>24</integer>
1699           <key>file</key><integer>0</integer>
1700          </dict>
1701          <dict>
1702           <key>line</key><integer>82</integer>
1703           <key>col</key><integer>24</integer>
1704           <key>file</key><integer>0</integer>
1705          </dict>
1706         </array>
1707       </dict>
1708      </array>
1709    </dict>
1710    <dict>
1711     <key>kind</key><string>event</string>
1712     <key>location</key>
1713     <dict>
1714      <key>line</key><integer>82</integer>
1715      <key>col</key><integer>24</integer>
1716      <key>file</key><integer>0</integer>
1717     </dict>
1718     <key>ranges</key>
1719     <array>
1720       <array>
1721        <dict>
1722         <key>line</key><integer>82</integer>
1723         <key>col</key><integer>5</integer>
1724         <key>file</key><integer>0</integer>
1725        </dict>
1726        <dict>
1727         <key>line</key><integer>82</integer>
1728         <key>col</key><integer>26</integer>
1729         <key>file</key><integer>0</integer>
1730        </dict>
1731       </array>
1732     </array>
1733     <key>depth</key><integer>0</integer>
1734     <key>extended_message</key>
1735     <string>Dereference of null pointer</string>
1736     <key>message</key>
1737     <string>Dereference of null pointer</string>
1738    </dict>
1739   </array>
1740   <key>description</key><string>Dereference of null pointer</string>
1741   <key>category</key><string>Logic error</string>
1742   <key>type</key><string>Dereference of null pointer</string>
1743   <key>check_name</key><string>core.NullDereference</string>
1744   <!-- This hash is experimental and going to change! -->
1745   <key>issue_hash_content_of_line_in_context</key><string>f56671e5f67c73abef619b56f7c29fa4</string>
1746  <key>issue_context_kind</key><string>function</string>
1747  <key>issue_context</key><string>testNonDiagnosableBranchArithmetic</string>
1748  <key>issue_hash_function_offset</key><string>4</string>
1749  <key>location</key>
1750  <dict>
1751   <key>line</key><integer>82</integer>
1752   <key>col</key><integer>24</integer>
1753   <key>file</key><integer>0</integer>
1754  </dict>
1755  <key>ExecutedLines</key>
1756  <dict>
1757   <key>0</key>
1758   <array>
1759    <integer>78</integer>
1760    <integer>79</integer>
1761    <integer>82</integer>
1762   </array>
1763  </dict>
1764  </dict>
1765 </array>
1766 <key>files</key>
1767 <array>
1768 </array>
1769</dict>
1770</plist>
1771