1<?xml version="1.0" encoding="UTF-8"?>
2<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
3<plist version="1.0">
4<dict>
5 <key>clang_version</key>
6 <key>diagnostics</key>
7 <array>
8  <dict>
9   <key>path</key>
10   <array>
11    <dict>
12     <key>kind</key><string>event</string>
13     <key>location</key>
14     <dict>
15      <key>line</key><integer>11</integer>
16      <key>col</key><integer>3</integer>
17      <key>file</key><integer>0</integer>
18     </dict>
19     <key>ranges</key>
20     <array>
21       <array>
22        <dict>
23         <key>line</key><integer>11</integer>
24         <key>col</key><integer>3</integer>
25         <key>file</key><integer>0</integer>
26        </dict>
27        <dict>
28         <key>line</key><integer>11</integer>
29         <key>col</key><integer>10</integer>
30         <key>file</key><integer>0</integer>
31        </dict>
32       </array>
33     </array>
34     <key>depth</key><integer>0</integer>
35     <key>extended_message</key>
36     <string>Calling &apos;zero&apos;</string>
37     <key>message</key>
38     <string>Calling &apos;zero&apos;</string>
39    </dict>
40    <dict>
41     <key>kind</key><string>event</string>
42     <key>location</key>
43     <dict>
44      <key>line</key><integer>5</integer>
45      <key>col</key><integer>1</integer>
46      <key>file</key><integer>0</integer>
47     </dict>
48     <key>depth</key><integer>1</integer>
49     <key>extended_message</key>
50     <string>Entered call from &apos;testZero&apos;</string>
51     <key>message</key>
52     <string>Entered call from &apos;testZero&apos;</string>
53    </dict>
54    <dict>
55     <key>kind</key><string>control</string>
56     <key>edges</key>
57      <array>
58       <dict>
59        <key>start</key>
60         <array>
61          <dict>
62           <key>line</key><integer>5</integer>
63           <key>col</key><integer>1</integer>
64           <key>file</key><integer>0</integer>
65          </dict>
66          <dict>
67           <key>line</key><integer>5</integer>
68           <key>col</key><integer>4</integer>
69           <key>file</key><integer>0</integer>
70          </dict>
71         </array>
72        <key>end</key>
73         <array>
74          <dict>
75           <key>line</key><integer>6</integer>
76           <key>col</key><integer>3</integer>
77           <key>file</key><integer>0</integer>
78          </dict>
79          <dict>
80           <key>line</key><integer>6</integer>
81           <key>col</key><integer>3</integer>
82           <key>file</key><integer>0</integer>
83          </dict>
84         </array>
85       </dict>
86      </array>
87    </dict>
88    <dict>
89     <key>kind</key><string>event</string>
90     <key>location</key>
91     <dict>
92      <key>line</key><integer>6</integer>
93      <key>col</key><integer>3</integer>
94      <key>file</key><integer>0</integer>
95     </dict>
96     <key>ranges</key>
97     <array>
98       <array>
99        <dict>
100         <key>line</key><integer>6</integer>
101         <key>col</key><integer>3</integer>
102         <key>file</key><integer>0</integer>
103        </dict>
104        <dict>
105         <key>line</key><integer>6</integer>
106         <key>col</key><integer>8</integer>
107         <key>file</key><integer>0</integer>
108        </dict>
109       </array>
110     </array>
111     <key>depth</key><integer>1</integer>
112     <key>extended_message</key>
113     <string>Null pointer value stored to &apos;a&apos;</string>
114     <key>message</key>
115     <string>Null pointer value stored to &apos;a&apos;</string>
116    </dict>
117    <dict>
118     <key>kind</key><string>event</string>
119     <key>location</key>
120     <dict>
121      <key>line</key><integer>11</integer>
122      <key>col</key><integer>3</integer>
123      <key>file</key><integer>0</integer>
124     </dict>
125     <key>ranges</key>
126     <array>
127       <array>
128        <dict>
129         <key>line</key><integer>11</integer>
130         <key>col</key><integer>3</integer>
131         <key>file</key><integer>0</integer>
132        </dict>
133        <dict>
134         <key>line</key><integer>11</integer>
135         <key>col</key><integer>10</integer>
136         <key>file</key><integer>0</integer>
137        </dict>
138       </array>
139     </array>
140     <key>depth</key><integer>0</integer>
141     <key>extended_message</key>
142     <string>Returning from &apos;zero&apos;</string>
143     <key>message</key>
144     <string>Returning from &apos;zero&apos;</string>
145    </dict>
146    <dict>
147     <key>kind</key><string>control</string>
148     <key>edges</key>
149      <array>
150       <dict>
151        <key>start</key>
152         <array>
153          <dict>
154           <key>line</key><integer>11</integer>
155           <key>col</key><integer>3</integer>
156           <key>file</key><integer>0</integer>
157          </dict>
158          <dict>
159           <key>line</key><integer>11</integer>
160           <key>col</key><integer>6</integer>
161           <key>file</key><integer>0</integer>
162          </dict>
163         </array>
164        <key>end</key>
165         <array>
166          <dict>
167           <key>line</key><integer>14</integer>
168           <key>col</key><integer>3</integer>
169           <key>file</key><integer>0</integer>
170          </dict>
171          <dict>
172           <key>line</key><integer>14</integer>
173           <key>col</key><integer>3</integer>
174           <key>file</key><integer>0</integer>
175          </dict>
176         </array>
177       </dict>
178      </array>
179    </dict>
180    <dict>
181     <key>kind</key><string>control</string>
182     <key>edges</key>
183      <array>
184       <dict>
185        <key>start</key>
186         <array>
187          <dict>
188           <key>line</key><integer>14</integer>
189           <key>col</key><integer>3</integer>
190           <key>file</key><integer>0</integer>
191          </dict>
192          <dict>
193           <key>line</key><integer>14</integer>
194           <key>col</key><integer>3</integer>
195           <key>file</key><integer>0</integer>
196          </dict>
197         </array>
198        <key>end</key>
199         <array>
200          <dict>
201           <key>line</key><integer>14</integer>
202           <key>col</key><integer>6</integer>
203           <key>file</key><integer>0</integer>
204          </dict>
205          <dict>
206           <key>line</key><integer>14</integer>
207           <key>col</key><integer>6</integer>
208           <key>file</key><integer>0</integer>
209          </dict>
210         </array>
211       </dict>
212      </array>
213    </dict>
214    <dict>
215     <key>kind</key><string>event</string>
216     <key>location</key>
217     <dict>
218      <key>line</key><integer>14</integer>
219      <key>col</key><integer>6</integer>
220      <key>file</key><integer>0</integer>
221     </dict>
222     <key>ranges</key>
223     <array>
224       <array>
225        <dict>
226         <key>line</key><integer>14</integer>
227         <key>col</key><integer>4</integer>
228         <key>file</key><integer>0</integer>
229        </dict>
230        <dict>
231         <key>line</key><integer>14</integer>
232         <key>col</key><integer>4</integer>
233         <key>file</key><integer>0</integer>
234        </dict>
235       </array>
236     </array>
237     <key>depth</key><integer>0</integer>
238     <key>extended_message</key>
239     <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
240     <key>message</key>
241     <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
242    </dict>
243   </array>
244   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
245   <key>category</key><string>Logic error</string>
246   <key>type</key><string>Dereference of null pointer</string>
247   <key>check_name</key><string>core.NullDereference</string>
248   <!-- This hash is experimental and going to change! -->
249   <key>issue_hash_content_of_line_in_context</key><string>52499a849b132453be19ec9167d8c021</string>
250  <key>issue_context_kind</key><string>function</string>
251  <key>issue_context</key><string>testZero</string>
252  <key>issue_hash_function_offset</key><string>4</string>
253  <key>location</key>
254  <dict>
255   <key>line</key><integer>14</integer>
256   <key>col</key><integer>6</integer>
257   <key>file</key><integer>0</integer>
258  </dict>
259  <key>ExecutedLines</key>
260  <dict>
261   <key>0</key>
262   <array>
263    <integer>5</integer>
264    <integer>6</integer>
265    <integer>10</integer>
266    <integer>11</integer>
267    <integer>14</integer>
268   </array>
269  </dict>
270  </dict>
271  <dict>
272   <key>path</key>
273   <array>
274    <dict>
275     <key>kind</key><string>control</string>
276     <key>edges</key>
277      <array>
278       <dict>
279        <key>start</key>
280         <array>
281          <dict>
282           <key>line</key><integer>19</integer>
283           <key>col</key><integer>3</integer>
284           <key>file</key><integer>0</integer>
285          </dict>
286          <dict>
287           <key>line</key><integer>19</integer>
288           <key>col</key><integer>4</integer>
289           <key>file</key><integer>0</integer>
290          </dict>
291         </array>
292        <key>end</key>
293         <array>
294          <dict>
295           <key>line</key><integer>19</integer>
296           <key>col</key><integer>7</integer>
297           <key>file</key><integer>0</integer>
298          </dict>
299          <dict>
300           <key>line</key><integer>19</integer>
301           <key>col</key><integer>7</integer>
302           <key>file</key><integer>0</integer>
303          </dict>
304         </array>
305       </dict>
306      </array>
307    </dict>
308    <dict>
309     <key>kind</key><string>event</string>
310     <key>location</key>
311     <dict>
312      <key>line</key><integer>19</integer>
313      <key>col</key><integer>7</integer>
314      <key>file</key><integer>0</integer>
315     </dict>
316     <key>ranges</key>
317     <array>
318       <array>
319        <dict>
320         <key>line</key><integer>19</integer>
321         <key>col</key><integer>7</integer>
322         <key>file</key><integer>0</integer>
323        </dict>
324        <dict>
325         <key>line</key><integer>19</integer>
326         <key>col</key><integer>7</integer>
327         <key>file</key><integer>0</integer>
328        </dict>
329       </array>
330     </array>
331     <key>depth</key><integer>0</integer>
332     <key>extended_message</key>
333     <string>Assuming &apos;a&apos; is null</string>
334     <key>message</key>
335     <string>Assuming &apos;a&apos; is null</string>
336    </dict>
337    <dict>
338     <key>kind</key><string>control</string>
339     <key>edges</key>
340      <array>
341       <dict>
342        <key>start</key>
343         <array>
344          <dict>
345           <key>line</key><integer>19</integer>
346           <key>col</key><integer>7</integer>
347           <key>file</key><integer>0</integer>
348          </dict>
349          <dict>
350           <key>line</key><integer>19</integer>
351           <key>col</key><integer>7</integer>
352           <key>file</key><integer>0</integer>
353          </dict>
354         </array>
355        <key>end</key>
356         <array>
357          <dict>
358           <key>line</key><integer>24</integer>
359           <key>col</key><integer>3</integer>
360           <key>file</key><integer>0</integer>
361          </dict>
362          <dict>
363           <key>line</key><integer>24</integer>
364           <key>col</key><integer>3</integer>
365           <key>file</key><integer>0</integer>
366          </dict>
367         </array>
368       </dict>
369      </array>
370    </dict>
371    <dict>
372     <key>kind</key><string>control</string>
373     <key>edges</key>
374      <array>
375       <dict>
376        <key>start</key>
377         <array>
378          <dict>
379           <key>line</key><integer>24</integer>
380           <key>col</key><integer>3</integer>
381           <key>file</key><integer>0</integer>
382          </dict>
383          <dict>
384           <key>line</key><integer>24</integer>
385           <key>col</key><integer>3</integer>
386           <key>file</key><integer>0</integer>
387          </dict>
388         </array>
389        <key>end</key>
390         <array>
391          <dict>
392           <key>line</key><integer>24</integer>
393           <key>col</key><integer>6</integer>
394           <key>file</key><integer>0</integer>
395          </dict>
396          <dict>
397           <key>line</key><integer>24</integer>
398           <key>col</key><integer>6</integer>
399           <key>file</key><integer>0</integer>
400          </dict>
401         </array>
402       </dict>
403      </array>
404    </dict>
405    <dict>
406     <key>kind</key><string>event</string>
407     <key>location</key>
408     <dict>
409      <key>line</key><integer>24</integer>
410      <key>col</key><integer>6</integer>
411      <key>file</key><integer>0</integer>
412     </dict>
413     <key>ranges</key>
414     <array>
415       <array>
416        <dict>
417         <key>line</key><integer>24</integer>
418         <key>col</key><integer>4</integer>
419         <key>file</key><integer>0</integer>
420        </dict>
421        <dict>
422         <key>line</key><integer>24</integer>
423         <key>col</key><integer>4</integer>
424         <key>file</key><integer>0</integer>
425        </dict>
426       </array>
427     </array>
428     <key>depth</key><integer>0</integer>
429     <key>extended_message</key>
430     <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
431     <key>message</key>
432     <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
433    </dict>
434   </array>
435   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
436   <key>category</key><string>Logic error</string>
437   <key>type</key><string>Dereference of null pointer</string>
438   <key>check_name</key><string>core.NullDereference</string>
439   <!-- This hash is experimental and going to change! -->
440   <key>issue_hash_content_of_line_in_context</key><string>cb893891b6a08ee4b7dc3d0c11df856e</string>
441  <key>issue_context_kind</key><string>function</string>
442  <key>issue_context</key><string>testCheck</string>
443  <key>issue_hash_function_offset</key><string>6</string>
444  <key>location</key>
445  <dict>
446   <key>line</key><integer>24</integer>
447   <key>col</key><integer>6</integer>
448   <key>file</key><integer>0</integer>
449  </dict>
450  <key>ExecutedLines</key>
451  <dict>
452   <key>0</key>
453   <array>
454    <integer>18</integer>
455    <integer>19</integer>
456    <integer>24</integer>
457   </array>
458  </dict>
459  </dict>
460  <dict>
461   <key>path</key>
462   <array>
463    <dict>
464     <key>kind</key><string>event</string>
465     <key>location</key>
466     <dict>
467      <key>line</key><integer>32</integer>
468      <key>col</key><integer>3</integer>
469      <key>file</key><integer>0</integer>
470     </dict>
471     <key>ranges</key>
472     <array>
473       <array>
474        <dict>
475         <key>line</key><integer>32</integer>
476         <key>col</key><integer>3</integer>
477         <key>file</key><integer>0</integer>
478        </dict>
479        <dict>
480         <key>line</key><integer>32</integer>
481         <key>col</key><integer>8</integer>
482         <key>file</key><integer>0</integer>
483        </dict>
484       </array>
485     </array>
486     <key>depth</key><integer>0</integer>
487     <key>extended_message</key>
488     <string>&apos;a&apos; initialized here</string>
489     <key>message</key>
490     <string>&apos;a&apos; initialized here</string>
491    </dict>
492    <dict>
493     <key>kind</key><string>control</string>
494     <key>edges</key>
495      <array>
496       <dict>
497        <key>start</key>
498         <array>
499          <dict>
500           <key>line</key><integer>32</integer>
501           <key>col</key><integer>3</integer>
502           <key>file</key><integer>0</integer>
503          </dict>
504          <dict>
505           <key>line</key><integer>32</integer>
506           <key>col</key><integer>5</integer>
507           <key>file</key><integer>0</integer>
508          </dict>
509         </array>
510        <key>end</key>
511         <array>
512          <dict>
513           <key>line</key><integer>34</integer>
514           <key>col</key><integer>3</integer>
515           <key>file</key><integer>0</integer>
516          </dict>
517          <dict>
518           <key>line</key><integer>34</integer>
519           <key>col</key><integer>4</integer>
520           <key>file</key><integer>0</integer>
521          </dict>
522         </array>
523       </dict>
524      </array>
525    </dict>
526    <dict>
527     <key>kind</key><string>control</string>
528     <key>edges</key>
529      <array>
530       <dict>
531        <key>start</key>
532         <array>
533          <dict>
534           <key>line</key><integer>34</integer>
535           <key>col</key><integer>3</integer>
536           <key>file</key><integer>0</integer>
537          </dict>
538          <dict>
539           <key>line</key><integer>34</integer>
540           <key>col</key><integer>4</integer>
541           <key>file</key><integer>0</integer>
542          </dict>
543         </array>
544        <key>end</key>
545         <array>
546          <dict>
547           <key>line</key><integer>34</integer>
548           <key>col</key><integer>7</integer>
549           <key>file</key><integer>0</integer>
550          </dict>
551          <dict>
552           <key>line</key><integer>34</integer>
553           <key>col</key><integer>7</integer>
554           <key>file</key><integer>0</integer>
555          </dict>
556         </array>
557       </dict>
558      </array>
559    </dict>
560    <dict>
561     <key>kind</key><string>event</string>
562     <key>location</key>
563     <dict>
564      <key>line</key><integer>34</integer>
565      <key>col</key><integer>7</integer>
566      <key>file</key><integer>0</integer>
567     </dict>
568     <key>ranges</key>
569     <array>
570       <array>
571        <dict>
572         <key>line</key><integer>34</integer>
573         <key>col</key><integer>7</integer>
574         <key>file</key><integer>0</integer>
575        </dict>
576        <dict>
577         <key>line</key><integer>34</integer>
578         <key>col</key><integer>7</integer>
579         <key>file</key><integer>0</integer>
580        </dict>
581       </array>
582     </array>
583     <key>depth</key><integer>0</integer>
584     <key>extended_message</key>
585     <string>Assuming &apos;a&apos; is null</string>
586     <key>message</key>
587     <string>Assuming &apos;a&apos; is null</string>
588    </dict>
589    <dict>
590     <key>kind</key><string>control</string>
591     <key>edges</key>
592      <array>
593       <dict>
594        <key>start</key>
595         <array>
596          <dict>
597           <key>line</key><integer>34</integer>
598           <key>col</key><integer>7</integer>
599           <key>file</key><integer>0</integer>
600          </dict>
601          <dict>
602           <key>line</key><integer>34</integer>
603           <key>col</key><integer>7</integer>
604           <key>file</key><integer>0</integer>
605          </dict>
606         </array>
607        <key>end</key>
608         <array>
609          <dict>
610           <key>line</key><integer>39</integer>
611           <key>col</key><integer>3</integer>
612           <key>file</key><integer>0</integer>
613          </dict>
614          <dict>
615           <key>line</key><integer>39</integer>
616           <key>col</key><integer>3</integer>
617           <key>file</key><integer>0</integer>
618          </dict>
619         </array>
620       </dict>
621      </array>
622    </dict>
623    <dict>
624     <key>kind</key><string>control</string>
625     <key>edges</key>
626      <array>
627       <dict>
628        <key>start</key>
629         <array>
630          <dict>
631           <key>line</key><integer>39</integer>
632           <key>col</key><integer>3</integer>
633           <key>file</key><integer>0</integer>
634          </dict>
635          <dict>
636           <key>line</key><integer>39</integer>
637           <key>col</key><integer>3</integer>
638           <key>file</key><integer>0</integer>
639          </dict>
640         </array>
641        <key>end</key>
642         <array>
643          <dict>
644           <key>line</key><integer>39</integer>
645           <key>col</key><integer>6</integer>
646           <key>file</key><integer>0</integer>
647          </dict>
648          <dict>
649           <key>line</key><integer>39</integer>
650           <key>col</key><integer>6</integer>
651           <key>file</key><integer>0</integer>
652          </dict>
653         </array>
654       </dict>
655      </array>
656    </dict>
657    <dict>
658     <key>kind</key><string>event</string>
659     <key>location</key>
660     <dict>
661      <key>line</key><integer>39</integer>
662      <key>col</key><integer>6</integer>
663      <key>file</key><integer>0</integer>
664     </dict>
665     <key>ranges</key>
666     <array>
667       <array>
668        <dict>
669         <key>line</key><integer>39</integer>
670         <key>col</key><integer>4</integer>
671         <key>file</key><integer>0</integer>
672        </dict>
673        <dict>
674         <key>line</key><integer>39</integer>
675         <key>col</key><integer>4</integer>
676         <key>file</key><integer>0</integer>
677        </dict>
678       </array>
679     </array>
680     <key>depth</key><integer>0</integer>
681     <key>extended_message</key>
682     <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
683     <key>message</key>
684     <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
685    </dict>
686   </array>
687   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
688   <key>category</key><string>Logic error</string>
689   <key>type</key><string>Dereference of null pointer</string>
690   <key>check_name</key><string>core.NullDereference</string>
691   <!-- This hash is experimental and going to change! -->
692   <key>issue_hash_content_of_line_in_context</key><string>ec20b5e53a72c82d442b3ca04c81e138</string>
693  <key>issue_context_kind</key><string>function</string>
694  <key>issue_context</key><string>testInitCheck</string>
695  <key>issue_hash_function_offset</key><string>8</string>
696  <key>location</key>
697  <dict>
698   <key>line</key><integer>39</integer>
699   <key>col</key><integer>6</integer>
700   <key>file</key><integer>0</integer>
701  </dict>
702  <key>ExecutedLines</key>
703  <dict>
704   <key>0</key>
705   <array>
706    <integer>31</integer>
707    <integer>32</integer>
708    <integer>34</integer>
709    <integer>39</integer>
710   </array>
711  </dict>
712  </dict>
713  <dict>
714   <key>path</key>
715   <array>
716    <dict>
717     <key>kind</key><string>event</string>
718     <key>location</key>
719     <dict>
720      <key>line</key><integer>44</integer>
721      <key>col</key><integer>3</integer>
722      <key>file</key><integer>0</integer>
723     </dict>
724     <key>ranges</key>
725     <array>
726       <array>
727        <dict>
728         <key>line</key><integer>44</integer>
729         <key>col</key><integer>3</integer>
730         <key>file</key><integer>0</integer>
731        </dict>
732        <dict>
733         <key>line</key><integer>44</integer>
734         <key>col</key><integer>18</integer>
735         <key>file</key><integer>0</integer>
736        </dict>
737       </array>
738     </array>
739     <key>depth</key><integer>0</integer>
740     <key>extended_message</key>
741     <string>Value assigned to &apos;a&apos;</string>
742     <key>message</key>
743     <string>Value assigned to &apos;a&apos;</string>
744    </dict>
745    <dict>
746     <key>kind</key><string>control</string>
747     <key>edges</key>
748      <array>
749       <dict>
750        <key>start</key>
751         <array>
752          <dict>
753           <key>line</key><integer>44</integer>
754           <key>col</key><integer>3</integer>
755           <key>file</key><integer>0</integer>
756          </dict>
757          <dict>
758           <key>line</key><integer>44</integer>
759           <key>col</key><integer>3</integer>
760           <key>file</key><integer>0</integer>
761          </dict>
762         </array>
763        <key>end</key>
764         <array>
765          <dict>
766           <key>line</key><integer>46</integer>
767           <key>col</key><integer>3</integer>
768           <key>file</key><integer>0</integer>
769          </dict>
770          <dict>
771           <key>line</key><integer>46</integer>
772           <key>col</key><integer>4</integer>
773           <key>file</key><integer>0</integer>
774          </dict>
775         </array>
776       </dict>
777      </array>
778    </dict>
779    <dict>
780     <key>kind</key><string>control</string>
781     <key>edges</key>
782      <array>
783       <dict>
784        <key>start</key>
785         <array>
786          <dict>
787           <key>line</key><integer>46</integer>
788           <key>col</key><integer>3</integer>
789           <key>file</key><integer>0</integer>
790          </dict>
791          <dict>
792           <key>line</key><integer>46</integer>
793           <key>col</key><integer>4</integer>
794           <key>file</key><integer>0</integer>
795          </dict>
796         </array>
797        <key>end</key>
798         <array>
799          <dict>
800           <key>line</key><integer>46</integer>
801           <key>col</key><integer>7</integer>
802           <key>file</key><integer>0</integer>
803          </dict>
804          <dict>
805           <key>line</key><integer>46</integer>
806           <key>col</key><integer>7</integer>
807           <key>file</key><integer>0</integer>
808          </dict>
809         </array>
810       </dict>
811      </array>
812    </dict>
813    <dict>
814     <key>kind</key><string>event</string>
815     <key>location</key>
816     <dict>
817      <key>line</key><integer>46</integer>
818      <key>col</key><integer>7</integer>
819      <key>file</key><integer>0</integer>
820     </dict>
821     <key>ranges</key>
822     <array>
823       <array>
824        <dict>
825         <key>line</key><integer>46</integer>
826         <key>col</key><integer>7</integer>
827         <key>file</key><integer>0</integer>
828        </dict>
829        <dict>
830         <key>line</key><integer>46</integer>
831         <key>col</key><integer>7</integer>
832         <key>file</key><integer>0</integer>
833        </dict>
834       </array>
835     </array>
836     <key>depth</key><integer>0</integer>
837     <key>extended_message</key>
838     <string>Assuming &apos;a&apos; is null</string>
839     <key>message</key>
840     <string>Assuming &apos;a&apos; is null</string>
841    </dict>
842    <dict>
843     <key>kind</key><string>control</string>
844     <key>edges</key>
845      <array>
846       <dict>
847        <key>start</key>
848         <array>
849          <dict>
850           <key>line</key><integer>46</integer>
851           <key>col</key><integer>7</integer>
852           <key>file</key><integer>0</integer>
853          </dict>
854          <dict>
855           <key>line</key><integer>46</integer>
856           <key>col</key><integer>7</integer>
857           <key>file</key><integer>0</integer>
858          </dict>
859         </array>
860        <key>end</key>
861         <array>
862          <dict>
863           <key>line</key><integer>51</integer>
864           <key>col</key><integer>3</integer>
865           <key>file</key><integer>0</integer>
866          </dict>
867          <dict>
868           <key>line</key><integer>51</integer>
869           <key>col</key><integer>3</integer>
870           <key>file</key><integer>0</integer>
871          </dict>
872         </array>
873       </dict>
874      </array>
875    </dict>
876    <dict>
877     <key>kind</key><string>control</string>
878     <key>edges</key>
879      <array>
880       <dict>
881        <key>start</key>
882         <array>
883          <dict>
884           <key>line</key><integer>51</integer>
885           <key>col</key><integer>3</integer>
886           <key>file</key><integer>0</integer>
887          </dict>
888          <dict>
889           <key>line</key><integer>51</integer>
890           <key>col</key><integer>3</integer>
891           <key>file</key><integer>0</integer>
892          </dict>
893         </array>
894        <key>end</key>
895         <array>
896          <dict>
897           <key>line</key><integer>51</integer>
898           <key>col</key><integer>6</integer>
899           <key>file</key><integer>0</integer>
900          </dict>
901          <dict>
902           <key>line</key><integer>51</integer>
903           <key>col</key><integer>6</integer>
904           <key>file</key><integer>0</integer>
905          </dict>
906         </array>
907       </dict>
908      </array>
909    </dict>
910    <dict>
911     <key>kind</key><string>event</string>
912     <key>location</key>
913     <dict>
914      <key>line</key><integer>51</integer>
915      <key>col</key><integer>6</integer>
916      <key>file</key><integer>0</integer>
917     </dict>
918     <key>ranges</key>
919     <array>
920       <array>
921        <dict>
922         <key>line</key><integer>51</integer>
923         <key>col</key><integer>4</integer>
924         <key>file</key><integer>0</integer>
925        </dict>
926        <dict>
927         <key>line</key><integer>51</integer>
928         <key>col</key><integer>4</integer>
929         <key>file</key><integer>0</integer>
930        </dict>
931       </array>
932     </array>
933     <key>depth</key><integer>0</integer>
934     <key>extended_message</key>
935     <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
936     <key>message</key>
937     <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
938    </dict>
939   </array>
940   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
941   <key>category</key><string>Logic error</string>
942   <key>type</key><string>Dereference of null pointer</string>
943   <key>check_name</key><string>core.NullDereference</string>
944   <!-- This hash is experimental and going to change! -->
945   <key>issue_hash_content_of_line_in_context</key><string>1ae8e7c84d15f307abc1df9f5612078b</string>
946  <key>issue_context_kind</key><string>function</string>
947  <key>issue_context</key><string>testStoreCheck</string>
948  <key>issue_hash_function_offset</key><string>8</string>
949  <key>location</key>
950  <dict>
951   <key>line</key><integer>51</integer>
952   <key>col</key><integer>6</integer>
953   <key>file</key><integer>0</integer>
954  </dict>
955  <key>ExecutedLines</key>
956  <dict>
957   <key>0</key>
958   <array>
959    <integer>43</integer>
960    <integer>44</integer>
961    <integer>46</integer>
962    <integer>51</integer>
963   </array>
964  </dict>
965  </dict>
966  <dict>
967   <key>path</key>
968   <array>
969    <dict>
970     <key>kind</key><string>event</string>
971     <key>location</key>
972     <dict>
973      <key>line</key><integer>65</integer>
974      <key>col</key><integer>4</integer>
975      <key>file</key><integer>0</integer>
976     </dict>
977     <key>ranges</key>
978     <array>
979       <array>
980        <dict>
981         <key>line</key><integer>65</integer>
982         <key>col</key><integer>4</integer>
983         <key>file</key><integer>0</integer>
984        </dict>
985        <dict>
986         <key>line</key><integer>65</integer>
987         <key>col</key><integer>12</integer>
988         <key>file</key><integer>0</integer>
989        </dict>
990       </array>
991     </array>
992     <key>depth</key><integer>0</integer>
993     <key>extended_message</key>
994     <string>Calling &apos;getZero&apos;</string>
995     <key>message</key>
996     <string>Calling &apos;getZero&apos;</string>
997    </dict>
998    <dict>
999     <key>kind</key><string>event</string>
1000     <key>location</key>
1001     <dict>
1002      <key>line</key><integer>56</integer>
1003      <key>col</key><integer>1</integer>
1004      <key>file</key><integer>0</integer>
1005     </dict>
1006     <key>depth</key><integer>1</integer>
1007     <key>extended_message</key>
1008     <string>Entered call from &apos;testReturnZero&apos;</string>
1009     <key>message</key>
1010     <string>Entered call from &apos;testReturnZero&apos;</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>56</integer>
1021           <key>col</key><integer>1</integer>
1022           <key>file</key><integer>0</integer>
1023          </dict>
1024          <dict>
1025           <key>line</key><integer>56</integer>
1026           <key>col</key><integer>3</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>57</integer>
1034           <key>col</key><integer>3</integer>
1035           <key>file</key><integer>0</integer>
1036          </dict>
1037          <dict>
1038           <key>line</key><integer>57</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>event</string>
1048     <key>location</key>
1049     <dict>
1050      <key>line</key><integer>57</integer>
1051      <key>col</key><integer>3</integer>
1052      <key>file</key><integer>0</integer>
1053     </dict>
1054     <key>ranges</key>
1055     <array>
1056       <array>
1057        <dict>
1058         <key>line</key><integer>57</integer>
1059         <key>col</key><integer>3</integer>
1060         <key>file</key><integer>0</integer>
1061        </dict>
1062        <dict>
1063         <key>line</key><integer>57</integer>
1064         <key>col</key><integer>8</integer>
1065         <key>file</key><integer>0</integer>
1066        </dict>
1067       </array>
1068     </array>
1069     <key>depth</key><integer>1</integer>
1070     <key>extended_message</key>
1071     <string>&apos;p&apos; initialized to a null pointer value</string>
1072     <key>message</key>
1073     <string>&apos;p&apos; initialized to a null pointer value</string>
1074    </dict>
1075    <dict>
1076     <key>kind</key><string>control</string>
1077     <key>edges</key>
1078      <array>
1079       <dict>
1080        <key>start</key>
1081         <array>
1082          <dict>
1083           <key>line</key><integer>57</integer>
1084           <key>col</key><integer>3</integer>
1085           <key>file</key><integer>0</integer>
1086          </dict>
1087          <dict>
1088           <key>line</key><integer>57</integer>
1089           <key>col</key><integer>5</integer>
1090           <key>file</key><integer>0</integer>
1091          </dict>
1092         </array>
1093        <key>end</key>
1094         <array>
1095          <dict>
1096           <key>line</key><integer>60</integer>
1097           <key>col</key><integer>3</integer>
1098           <key>file</key><integer>0</integer>
1099          </dict>
1100          <dict>
1101           <key>line</key><integer>60</integer>
1102           <key>col</key><integer>8</integer>
1103           <key>file</key><integer>0</integer>
1104          </dict>
1105         </array>
1106       </dict>
1107      </array>
1108    </dict>
1109    <dict>
1110     <key>kind</key><string>event</string>
1111     <key>location</key>
1112     <dict>
1113      <key>line</key><integer>60</integer>
1114      <key>col</key><integer>3</integer>
1115      <key>file</key><integer>0</integer>
1116     </dict>
1117     <key>ranges</key>
1118     <array>
1119       <array>
1120        <dict>
1121         <key>line</key><integer>60</integer>
1122         <key>col</key><integer>3</integer>
1123         <key>file</key><integer>0</integer>
1124        </dict>
1125        <dict>
1126         <key>line</key><integer>60</integer>
1127         <key>col</key><integer>10</integer>
1128         <key>file</key><integer>0</integer>
1129        </dict>
1130       </array>
1131     </array>
1132     <key>depth</key><integer>1</integer>
1133     <key>extended_message</key>
1134     <string>Returning null pointer (loaded from &apos;p&apos;)</string>
1135     <key>message</key>
1136     <string>Returning null pointer (loaded from &apos;p&apos;)</string>
1137    </dict>
1138    <dict>
1139     <key>kind</key><string>event</string>
1140     <key>location</key>
1141     <dict>
1142      <key>line</key><integer>65</integer>
1143      <key>col</key><integer>4</integer>
1144      <key>file</key><integer>0</integer>
1145     </dict>
1146     <key>ranges</key>
1147     <array>
1148       <array>
1149        <dict>
1150         <key>line</key><integer>65</integer>
1151         <key>col</key><integer>4</integer>
1152         <key>file</key><integer>0</integer>
1153        </dict>
1154        <dict>
1155         <key>line</key><integer>65</integer>
1156         <key>col</key><integer>12</integer>
1157         <key>file</key><integer>0</integer>
1158        </dict>
1159       </array>
1160     </array>
1161     <key>depth</key><integer>0</integer>
1162     <key>extended_message</key>
1163     <string>Returning from &apos;getZero&apos;</string>
1164     <key>message</key>
1165     <string>Returning from &apos;getZero&apos;</string>
1166    </dict>
1167    <dict>
1168     <key>kind</key><string>control</string>
1169     <key>edges</key>
1170      <array>
1171       <dict>
1172        <key>start</key>
1173         <array>
1174          <dict>
1175           <key>line</key><integer>65</integer>
1176           <key>col</key><integer>3</integer>
1177           <key>file</key><integer>0</integer>
1178          </dict>
1179          <dict>
1180           <key>line</key><integer>65</integer>
1181           <key>col</key><integer>3</integer>
1182           <key>file</key><integer>0</integer>
1183          </dict>
1184         </array>
1185        <key>end</key>
1186         <array>
1187          <dict>
1188           <key>line</key><integer>65</integer>
1189           <key>col</key><integer>14</integer>
1190           <key>file</key><integer>0</integer>
1191          </dict>
1192          <dict>
1193           <key>line</key><integer>65</integer>
1194           <key>col</key><integer>14</integer>
1195           <key>file</key><integer>0</integer>
1196          </dict>
1197         </array>
1198       </dict>
1199      </array>
1200    </dict>
1201    <dict>
1202     <key>kind</key><string>event</string>
1203     <key>location</key>
1204     <dict>
1205      <key>line</key><integer>65</integer>
1206      <key>col</key><integer>14</integer>
1207      <key>file</key><integer>0</integer>
1208     </dict>
1209     <key>ranges</key>
1210     <array>
1211       <array>
1212        <dict>
1213         <key>line</key><integer>65</integer>
1214         <key>col</key><integer>3</integer>
1215         <key>file</key><integer>0</integer>
1216        </dict>
1217        <dict>
1218         <key>line</key><integer>65</integer>
1219         <key>col</key><integer>16</integer>
1220         <key>file</key><integer>0</integer>
1221        </dict>
1222       </array>
1223     </array>
1224     <key>depth</key><integer>0</integer>
1225     <key>extended_message</key>
1226     <string>Dereference of null pointer</string>
1227     <key>message</key>
1228     <string>Dereference of null pointer</string>
1229    </dict>
1230   </array>
1231   <key>description</key><string>Dereference of null pointer</string>
1232   <key>category</key><string>Logic error</string>
1233   <key>type</key><string>Dereference of null pointer</string>
1234   <key>check_name</key><string>core.NullDereference</string>
1235   <!-- This hash is experimental and going to change! -->
1236   <key>issue_hash_content_of_line_in_context</key><string>d03346854b8f45b55cbd5efe29bf2c8e</string>
1237  <key>issue_context_kind</key><string>function</string>
1238  <key>issue_context</key><string>testReturnZero</string>
1239  <key>issue_hash_function_offset</key><string>1</string>
1240  <key>location</key>
1241  <dict>
1242   <key>line</key><integer>65</integer>
1243   <key>col</key><integer>14</integer>
1244   <key>file</key><integer>0</integer>
1245  </dict>
1246  <key>ExecutedLines</key>
1247  <dict>
1248   <key>0</key>
1249   <array>
1250    <integer>56</integer>
1251    <integer>57</integer>
1252    <integer>60</integer>
1253    <integer>64</integer>
1254    <integer>65</integer>
1255   </array>
1256  </dict>
1257  </dict>
1258  <dict>
1259   <key>path</key>
1260   <array>
1261    <dict>
1262     <key>kind</key><string>control</string>
1263     <key>edges</key>
1264      <array>
1265       <dict>
1266        <key>start</key>
1267         <array>
1268          <dict>
1269           <key>line</key><integer>72</integer>
1270           <key>col</key><integer>3</integer>
1271           <key>file</key><integer>0</integer>
1272          </dict>
1273          <dict>
1274           <key>line</key><integer>72</integer>
1275           <key>col</key><integer>8</integer>
1276           <key>file</key><integer>0</integer>
1277          </dict>
1278         </array>
1279        <key>end</key>
1280         <array>
1281          <dict>
1282           <key>line</key><integer>72</integer>
1283           <key>col</key><integer>11</integer>
1284           <key>file</key><integer>0</integer>
1285          </dict>
1286          <dict>
1287           <key>line</key><integer>72</integer>
1288           <key>col</key><integer>17</integer>
1289           <key>file</key><integer>0</integer>
1290          </dict>
1291         </array>
1292       </dict>
1293      </array>
1294    </dict>
1295    <dict>
1296     <key>kind</key><string>event</string>
1297     <key>location</key>
1298     <dict>
1299      <key>line</key><integer>72</integer>
1300      <key>col</key><integer>11</integer>
1301      <key>file</key><integer>0</integer>
1302     </dict>
1303     <key>ranges</key>
1304     <array>
1305       <array>
1306        <dict>
1307         <key>line</key><integer>72</integer>
1308         <key>col</key><integer>11</integer>
1309         <key>file</key><integer>0</integer>
1310        </dict>
1311        <dict>
1312         <key>line</key><integer>72</integer>
1313         <key>col</key><integer>19</integer>
1314         <key>file</key><integer>0</integer>
1315        </dict>
1316       </array>
1317     </array>
1318     <key>depth</key><integer>0</integer>
1319     <key>extended_message</key>
1320     <string>Calling &apos;getZero&apos;</string>
1321     <key>message</key>
1322     <string>Calling &apos;getZero&apos;</string>
1323    </dict>
1324    <dict>
1325     <key>kind</key><string>event</string>
1326     <key>location</key>
1327     <dict>
1328      <key>line</key><integer>56</integer>
1329      <key>col</key><integer>1</integer>
1330      <key>file</key><integer>0</integer>
1331     </dict>
1332     <key>depth</key><integer>1</integer>
1333     <key>extended_message</key>
1334     <string>Entered call from &apos;testReturnZero2&apos;</string>
1335     <key>message</key>
1336     <string>Entered call from &apos;testReturnZero2&apos;</string>
1337    </dict>
1338    <dict>
1339     <key>kind</key><string>control</string>
1340     <key>edges</key>
1341      <array>
1342       <dict>
1343        <key>start</key>
1344         <array>
1345          <dict>
1346           <key>line</key><integer>56</integer>
1347           <key>col</key><integer>1</integer>
1348           <key>file</key><integer>0</integer>
1349          </dict>
1350          <dict>
1351           <key>line</key><integer>56</integer>
1352           <key>col</key><integer>3</integer>
1353           <key>file</key><integer>0</integer>
1354          </dict>
1355         </array>
1356        <key>end</key>
1357         <array>
1358          <dict>
1359           <key>line</key><integer>57</integer>
1360           <key>col</key><integer>3</integer>
1361           <key>file</key><integer>0</integer>
1362          </dict>
1363          <dict>
1364           <key>line</key><integer>57</integer>
1365           <key>col</key><integer>5</integer>
1366           <key>file</key><integer>0</integer>
1367          </dict>
1368         </array>
1369       </dict>
1370      </array>
1371    </dict>
1372    <dict>
1373     <key>kind</key><string>event</string>
1374     <key>location</key>
1375     <dict>
1376      <key>line</key><integer>57</integer>
1377      <key>col</key><integer>3</integer>
1378      <key>file</key><integer>0</integer>
1379     </dict>
1380     <key>ranges</key>
1381     <array>
1382       <array>
1383        <dict>
1384         <key>line</key><integer>57</integer>
1385         <key>col</key><integer>3</integer>
1386         <key>file</key><integer>0</integer>
1387        </dict>
1388        <dict>
1389         <key>line</key><integer>57</integer>
1390         <key>col</key><integer>8</integer>
1391         <key>file</key><integer>0</integer>
1392        </dict>
1393       </array>
1394     </array>
1395     <key>depth</key><integer>1</integer>
1396     <key>extended_message</key>
1397     <string>&apos;p&apos; initialized to a null pointer value</string>
1398     <key>message</key>
1399     <string>&apos;p&apos; initialized to a null pointer value</string>
1400    </dict>
1401    <dict>
1402     <key>kind</key><string>control</string>
1403     <key>edges</key>
1404      <array>
1405       <dict>
1406        <key>start</key>
1407         <array>
1408          <dict>
1409           <key>line</key><integer>57</integer>
1410           <key>col</key><integer>3</integer>
1411           <key>file</key><integer>0</integer>
1412          </dict>
1413          <dict>
1414           <key>line</key><integer>57</integer>
1415           <key>col</key><integer>5</integer>
1416           <key>file</key><integer>0</integer>
1417          </dict>
1418         </array>
1419        <key>end</key>
1420         <array>
1421          <dict>
1422           <key>line</key><integer>60</integer>
1423           <key>col</key><integer>3</integer>
1424           <key>file</key><integer>0</integer>
1425          </dict>
1426          <dict>
1427           <key>line</key><integer>60</integer>
1428           <key>col</key><integer>8</integer>
1429           <key>file</key><integer>0</integer>
1430          </dict>
1431         </array>
1432       </dict>
1433      </array>
1434    </dict>
1435    <dict>
1436     <key>kind</key><string>event</string>
1437     <key>location</key>
1438     <dict>
1439      <key>line</key><integer>60</integer>
1440      <key>col</key><integer>3</integer>
1441      <key>file</key><integer>0</integer>
1442     </dict>
1443     <key>ranges</key>
1444     <array>
1445       <array>
1446        <dict>
1447         <key>line</key><integer>60</integer>
1448         <key>col</key><integer>3</integer>
1449         <key>file</key><integer>0</integer>
1450        </dict>
1451        <dict>
1452         <key>line</key><integer>60</integer>
1453         <key>col</key><integer>10</integer>
1454         <key>file</key><integer>0</integer>
1455        </dict>
1456       </array>
1457     </array>
1458     <key>depth</key><integer>1</integer>
1459     <key>extended_message</key>
1460     <string>Returning null pointer (loaded from &apos;p&apos;)</string>
1461     <key>message</key>
1462     <string>Returning null pointer (loaded from &apos;p&apos;)</string>
1463    </dict>
1464    <dict>
1465     <key>kind</key><string>event</string>
1466     <key>location</key>
1467     <dict>
1468      <key>line</key><integer>72</integer>
1469      <key>col</key><integer>11</integer>
1470      <key>file</key><integer>0</integer>
1471     </dict>
1472     <key>ranges</key>
1473     <array>
1474       <array>
1475        <dict>
1476         <key>line</key><integer>72</integer>
1477         <key>col</key><integer>11</integer>
1478         <key>file</key><integer>0</integer>
1479        </dict>
1480        <dict>
1481         <key>line</key><integer>72</integer>
1482         <key>col</key><integer>19</integer>
1483         <key>file</key><integer>0</integer>
1484        </dict>
1485       </array>
1486     </array>
1487     <key>depth</key><integer>0</integer>
1488     <key>extended_message</key>
1489     <string>Returning from &apos;getZero&apos;</string>
1490     <key>message</key>
1491     <string>Returning from &apos;getZero&apos;</string>
1492    </dict>
1493    <dict>
1494     <key>kind</key><string>event</string>
1495     <key>location</key>
1496     <dict>
1497      <key>line</key><integer>72</integer>
1498      <key>col</key><integer>10</integer>
1499      <key>file</key><integer>0</integer>
1500     </dict>
1501     <key>ranges</key>
1502     <array>
1503       <array>
1504        <dict>
1505         <key>line</key><integer>72</integer>
1506         <key>col</key><integer>10</integer>
1507         <key>file</key><integer>0</integer>
1508        </dict>
1509        <dict>
1510         <key>line</key><integer>72</integer>
1511         <key>col</key><integer>19</integer>
1512         <key>file</key><integer>0</integer>
1513        </dict>
1514       </array>
1515     </array>
1516     <key>depth</key><integer>0</integer>
1517     <key>extended_message</key>
1518     <string>Dereference of null pointer</string>
1519     <key>message</key>
1520     <string>Dereference of null pointer</string>
1521    </dict>
1522   </array>
1523   <key>description</key><string>Dereference of null pointer</string>
1524   <key>category</key><string>Logic error</string>
1525   <key>type</key><string>Dereference of null pointer</string>
1526   <key>check_name</key><string>core.NullDereference</string>
1527   <!-- This hash is experimental and going to change! -->
1528   <key>issue_hash_content_of_line_in_context</key><string>5a72f98932a4061a833287a12b28ba8b</string>
1529  <key>issue_context_kind</key><string>function</string>
1530  <key>issue_context</key><string>testReturnZero2</string>
1531  <key>issue_hash_function_offset</key><string>1</string>
1532  <key>location</key>
1533  <dict>
1534   <key>line</key><integer>72</integer>
1535   <key>col</key><integer>10</integer>
1536   <key>file</key><integer>0</integer>
1537  </dict>
1538  <key>ExecutedLines</key>
1539  <dict>
1540   <key>0</key>
1541   <array>
1542    <integer>56</integer>
1543    <integer>57</integer>
1544    <integer>60</integer>
1545    <integer>71</integer>
1546    <integer>72</integer>
1547   </array>
1548  </dict>
1549  </dict>
1550  <dict>
1551   <key>path</key>
1552   <array>
1553    <dict>
1554     <key>kind</key><string>control</string>
1555     <key>edges</key>
1556      <array>
1557       <dict>
1558        <key>start</key>
1559         <array>
1560          <dict>
1561           <key>line</key><integer>79</integer>
1562           <key>col</key><integer>3</integer>
1563           <key>file</key><integer>0</integer>
1564          </dict>
1565          <dict>
1566           <key>line</key><integer>79</integer>
1567           <key>col</key><integer>5</integer>
1568           <key>file</key><integer>0</integer>
1569          </dict>
1570         </array>
1571        <key>end</key>
1572         <array>
1573          <dict>
1574           <key>line</key><integer>79</integer>
1575           <key>col</key><integer>12</integer>
1576           <key>file</key><integer>0</integer>
1577          </dict>
1578          <dict>
1579           <key>line</key><integer>79</integer>
1580           <key>col</key><integer>18</integer>
1581           <key>file</key><integer>0</integer>
1582          </dict>
1583         </array>
1584       </dict>
1585      </array>
1586    </dict>
1587    <dict>
1588     <key>kind</key><string>event</string>
1589     <key>location</key>
1590     <dict>
1591      <key>line</key><integer>79</integer>
1592      <key>col</key><integer>12</integer>
1593      <key>file</key><integer>0</integer>
1594     </dict>
1595     <key>ranges</key>
1596     <array>
1597       <array>
1598        <dict>
1599         <key>line</key><integer>79</integer>
1600         <key>col</key><integer>12</integer>
1601         <key>file</key><integer>0</integer>
1602        </dict>
1603        <dict>
1604         <key>line</key><integer>79</integer>
1605         <key>col</key><integer>20</integer>
1606         <key>file</key><integer>0</integer>
1607        </dict>
1608       </array>
1609     </array>
1610     <key>depth</key><integer>0</integer>
1611     <key>extended_message</key>
1612     <string>Calling &apos;getZero&apos;</string>
1613     <key>message</key>
1614     <string>Calling &apos;getZero&apos;</string>
1615    </dict>
1616    <dict>
1617     <key>kind</key><string>event</string>
1618     <key>location</key>
1619     <dict>
1620      <key>line</key><integer>56</integer>
1621      <key>col</key><integer>1</integer>
1622      <key>file</key><integer>0</integer>
1623     </dict>
1624     <key>depth</key><integer>1</integer>
1625     <key>extended_message</key>
1626     <string>Entered call from &apos;testInitZero&apos;</string>
1627     <key>message</key>
1628     <string>Entered call from &apos;testInitZero&apos;</string>
1629    </dict>
1630    <dict>
1631     <key>kind</key><string>control</string>
1632     <key>edges</key>
1633      <array>
1634       <dict>
1635        <key>start</key>
1636         <array>
1637          <dict>
1638           <key>line</key><integer>56</integer>
1639           <key>col</key><integer>1</integer>
1640           <key>file</key><integer>0</integer>
1641          </dict>
1642          <dict>
1643           <key>line</key><integer>56</integer>
1644           <key>col</key><integer>3</integer>
1645           <key>file</key><integer>0</integer>
1646          </dict>
1647         </array>
1648        <key>end</key>
1649         <array>
1650          <dict>
1651           <key>line</key><integer>57</integer>
1652           <key>col</key><integer>3</integer>
1653           <key>file</key><integer>0</integer>
1654          </dict>
1655          <dict>
1656           <key>line</key><integer>57</integer>
1657           <key>col</key><integer>5</integer>
1658           <key>file</key><integer>0</integer>
1659          </dict>
1660         </array>
1661       </dict>
1662      </array>
1663    </dict>
1664    <dict>
1665     <key>kind</key><string>event</string>
1666     <key>location</key>
1667     <dict>
1668      <key>line</key><integer>57</integer>
1669      <key>col</key><integer>3</integer>
1670      <key>file</key><integer>0</integer>
1671     </dict>
1672     <key>ranges</key>
1673     <array>
1674       <array>
1675        <dict>
1676         <key>line</key><integer>57</integer>
1677         <key>col</key><integer>3</integer>
1678         <key>file</key><integer>0</integer>
1679        </dict>
1680        <dict>
1681         <key>line</key><integer>57</integer>
1682         <key>col</key><integer>8</integer>
1683         <key>file</key><integer>0</integer>
1684        </dict>
1685       </array>
1686     </array>
1687     <key>depth</key><integer>1</integer>
1688     <key>extended_message</key>
1689     <string>&apos;p&apos; initialized to a null pointer value</string>
1690     <key>message</key>
1691     <string>&apos;p&apos; initialized to a null pointer value</string>
1692    </dict>
1693    <dict>
1694     <key>kind</key><string>control</string>
1695     <key>edges</key>
1696      <array>
1697       <dict>
1698        <key>start</key>
1699         <array>
1700          <dict>
1701           <key>line</key><integer>57</integer>
1702           <key>col</key><integer>3</integer>
1703           <key>file</key><integer>0</integer>
1704          </dict>
1705          <dict>
1706           <key>line</key><integer>57</integer>
1707           <key>col</key><integer>5</integer>
1708           <key>file</key><integer>0</integer>
1709          </dict>
1710         </array>
1711        <key>end</key>
1712         <array>
1713          <dict>
1714           <key>line</key><integer>60</integer>
1715           <key>col</key><integer>3</integer>
1716           <key>file</key><integer>0</integer>
1717          </dict>
1718          <dict>
1719           <key>line</key><integer>60</integer>
1720           <key>col</key><integer>8</integer>
1721           <key>file</key><integer>0</integer>
1722          </dict>
1723         </array>
1724       </dict>
1725      </array>
1726    </dict>
1727    <dict>
1728     <key>kind</key><string>event</string>
1729     <key>location</key>
1730     <dict>
1731      <key>line</key><integer>60</integer>
1732      <key>col</key><integer>3</integer>
1733      <key>file</key><integer>0</integer>
1734     </dict>
1735     <key>ranges</key>
1736     <array>
1737       <array>
1738        <dict>
1739         <key>line</key><integer>60</integer>
1740         <key>col</key><integer>3</integer>
1741         <key>file</key><integer>0</integer>
1742        </dict>
1743        <dict>
1744         <key>line</key><integer>60</integer>
1745         <key>col</key><integer>10</integer>
1746         <key>file</key><integer>0</integer>
1747        </dict>
1748       </array>
1749     </array>
1750     <key>depth</key><integer>1</integer>
1751     <key>extended_message</key>
1752     <string>Returning null pointer (loaded from &apos;p&apos;)</string>
1753     <key>message</key>
1754     <string>Returning null pointer (loaded from &apos;p&apos;)</string>
1755    </dict>
1756    <dict>
1757     <key>kind</key><string>event</string>
1758     <key>location</key>
1759     <dict>
1760      <key>line</key><integer>79</integer>
1761      <key>col</key><integer>12</integer>
1762      <key>file</key><integer>0</integer>
1763     </dict>
1764     <key>ranges</key>
1765     <array>
1766       <array>
1767        <dict>
1768         <key>line</key><integer>79</integer>
1769         <key>col</key><integer>12</integer>
1770         <key>file</key><integer>0</integer>
1771        </dict>
1772        <dict>
1773         <key>line</key><integer>79</integer>
1774         <key>col</key><integer>20</integer>
1775         <key>file</key><integer>0</integer>
1776        </dict>
1777       </array>
1778     </array>
1779     <key>depth</key><integer>0</integer>
1780     <key>extended_message</key>
1781     <string>Returning from &apos;getZero&apos;</string>
1782     <key>message</key>
1783     <string>Returning from &apos;getZero&apos;</string>
1784    </dict>
1785    <dict>
1786     <key>kind</key><string>control</string>
1787     <key>edges</key>
1788      <array>
1789       <dict>
1790        <key>start</key>
1791         <array>
1792          <dict>
1793           <key>line</key><integer>79</integer>
1794           <key>col</key><integer>12</integer>
1795           <key>file</key><integer>0</integer>
1796          </dict>
1797          <dict>
1798           <key>line</key><integer>79</integer>
1799           <key>col</key><integer>18</integer>
1800           <key>file</key><integer>0</integer>
1801          </dict>
1802         </array>
1803        <key>end</key>
1804         <array>
1805          <dict>
1806           <key>line</key><integer>79</integer>
1807           <key>col</key><integer>3</integer>
1808           <key>file</key><integer>0</integer>
1809          </dict>
1810          <dict>
1811           <key>line</key><integer>79</integer>
1812           <key>col</key><integer>5</integer>
1813           <key>file</key><integer>0</integer>
1814          </dict>
1815         </array>
1816       </dict>
1817      </array>
1818    </dict>
1819    <dict>
1820     <key>kind</key><string>event</string>
1821     <key>location</key>
1822     <dict>
1823      <key>line</key><integer>79</integer>
1824      <key>col</key><integer>3</integer>
1825      <key>file</key><integer>0</integer>
1826     </dict>
1827     <key>ranges</key>
1828     <array>
1829       <array>
1830        <dict>
1831         <key>line</key><integer>79</integer>
1832         <key>col</key><integer>3</integer>
1833         <key>file</key><integer>0</integer>
1834        </dict>
1835        <dict>
1836         <key>line</key><integer>79</integer>
1837         <key>col</key><integer>8</integer>
1838         <key>file</key><integer>0</integer>
1839        </dict>
1840       </array>
1841     </array>
1842     <key>depth</key><integer>0</integer>
1843     <key>extended_message</key>
1844     <string>&apos;a&apos; initialized to a null pointer value</string>
1845     <key>message</key>
1846     <string>&apos;a&apos; initialized to a null pointer value</string>
1847    </dict>
1848    <dict>
1849     <key>kind</key><string>control</string>
1850     <key>edges</key>
1851      <array>
1852       <dict>
1853        <key>start</key>
1854         <array>
1855          <dict>
1856           <key>line</key><integer>79</integer>
1857           <key>col</key><integer>3</integer>
1858           <key>file</key><integer>0</integer>
1859          </dict>
1860          <dict>
1861           <key>line</key><integer>79</integer>
1862           <key>col</key><integer>5</integer>
1863           <key>file</key><integer>0</integer>
1864          </dict>
1865         </array>
1866        <key>end</key>
1867         <array>
1868          <dict>
1869           <key>line</key><integer>83</integer>
1870           <key>col</key><integer>3</integer>
1871           <key>file</key><integer>0</integer>
1872          </dict>
1873          <dict>
1874           <key>line</key><integer>83</integer>
1875           <key>col</key><integer>3</integer>
1876           <key>file</key><integer>0</integer>
1877          </dict>
1878         </array>
1879       </dict>
1880      </array>
1881    </dict>
1882    <dict>
1883     <key>kind</key><string>control</string>
1884     <key>edges</key>
1885      <array>
1886       <dict>
1887        <key>start</key>
1888         <array>
1889          <dict>
1890           <key>line</key><integer>83</integer>
1891           <key>col</key><integer>3</integer>
1892           <key>file</key><integer>0</integer>
1893          </dict>
1894          <dict>
1895           <key>line</key><integer>83</integer>
1896           <key>col</key><integer>3</integer>
1897           <key>file</key><integer>0</integer>
1898          </dict>
1899         </array>
1900        <key>end</key>
1901         <array>
1902          <dict>
1903           <key>line</key><integer>83</integer>
1904           <key>col</key><integer>6</integer>
1905           <key>file</key><integer>0</integer>
1906          </dict>
1907          <dict>
1908           <key>line</key><integer>83</integer>
1909           <key>col</key><integer>6</integer>
1910           <key>file</key><integer>0</integer>
1911          </dict>
1912         </array>
1913       </dict>
1914      </array>
1915    </dict>
1916    <dict>
1917     <key>kind</key><string>event</string>
1918     <key>location</key>
1919     <dict>
1920      <key>line</key><integer>83</integer>
1921      <key>col</key><integer>6</integer>
1922      <key>file</key><integer>0</integer>
1923     </dict>
1924     <key>ranges</key>
1925     <array>
1926       <array>
1927        <dict>
1928         <key>line</key><integer>83</integer>
1929         <key>col</key><integer>4</integer>
1930         <key>file</key><integer>0</integer>
1931        </dict>
1932        <dict>
1933         <key>line</key><integer>83</integer>
1934         <key>col</key><integer>4</integer>
1935         <key>file</key><integer>0</integer>
1936        </dict>
1937       </array>
1938     </array>
1939     <key>depth</key><integer>0</integer>
1940     <key>extended_message</key>
1941     <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
1942     <key>message</key>
1943     <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
1944    </dict>
1945   </array>
1946   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
1947   <key>category</key><string>Logic error</string>
1948   <key>type</key><string>Dereference of null pointer</string>
1949   <key>check_name</key><string>core.NullDereference</string>
1950   <!-- This hash is experimental and going to change! -->
1951   <key>issue_hash_content_of_line_in_context</key><string>6d3745ba4b32e1858de16c61fecf8ed4</string>
1952  <key>issue_context_kind</key><string>function</string>
1953  <key>issue_context</key><string>testInitZero</string>
1954  <key>issue_hash_function_offset</key><string>5</string>
1955  <key>location</key>
1956  <dict>
1957   <key>line</key><integer>83</integer>
1958   <key>col</key><integer>6</integer>
1959   <key>file</key><integer>0</integer>
1960  </dict>
1961  <key>ExecutedLines</key>
1962  <dict>
1963   <key>0</key>
1964   <array>
1965    <integer>56</integer>
1966    <integer>57</integer>
1967    <integer>60</integer>
1968    <integer>78</integer>
1969    <integer>79</integer>
1970    <integer>83</integer>
1971   </array>
1972  </dict>
1973  </dict>
1974  <dict>
1975   <key>path</key>
1976   <array>
1977    <dict>
1978     <key>kind</key><string>control</string>
1979     <key>edges</key>
1980      <array>
1981       <dict>
1982        <key>start</key>
1983         <array>
1984          <dict>
1985           <key>line</key><integer>88</integer>
1986           <key>col</key><integer>3</integer>
1987           <key>file</key><integer>0</integer>
1988          </dict>
1989          <dict>
1990           <key>line</key><integer>88</integer>
1991           <key>col</key><integer>3</integer>
1992           <key>file</key><integer>0</integer>
1993          </dict>
1994         </array>
1995        <key>end</key>
1996         <array>
1997          <dict>
1998           <key>line</key><integer>88</integer>
1999           <key>col</key><integer>7</integer>
2000           <key>file</key><integer>0</integer>
2001          </dict>
2002          <dict>
2003           <key>line</key><integer>88</integer>
2004           <key>col</key><integer>13</integer>
2005           <key>file</key><integer>0</integer>
2006          </dict>
2007         </array>
2008       </dict>
2009      </array>
2010    </dict>
2011    <dict>
2012     <key>kind</key><string>event</string>
2013     <key>location</key>
2014     <dict>
2015      <key>line</key><integer>88</integer>
2016      <key>col</key><integer>7</integer>
2017      <key>file</key><integer>0</integer>
2018     </dict>
2019     <key>ranges</key>
2020     <array>
2021       <array>
2022        <dict>
2023         <key>line</key><integer>88</integer>
2024         <key>col</key><integer>7</integer>
2025         <key>file</key><integer>0</integer>
2026        </dict>
2027        <dict>
2028         <key>line</key><integer>88</integer>
2029         <key>col</key><integer>15</integer>
2030         <key>file</key><integer>0</integer>
2031        </dict>
2032       </array>
2033     </array>
2034     <key>depth</key><integer>0</integer>
2035     <key>extended_message</key>
2036     <string>Calling &apos;getZero&apos;</string>
2037     <key>message</key>
2038     <string>Calling &apos;getZero&apos;</string>
2039    </dict>
2040    <dict>
2041     <key>kind</key><string>event</string>
2042     <key>location</key>
2043     <dict>
2044      <key>line</key><integer>56</integer>
2045      <key>col</key><integer>1</integer>
2046      <key>file</key><integer>0</integer>
2047     </dict>
2048     <key>depth</key><integer>1</integer>
2049     <key>extended_message</key>
2050     <string>Entered call from &apos;testStoreZero&apos;</string>
2051     <key>message</key>
2052     <string>Entered call from &apos;testStoreZero&apos;</string>
2053    </dict>
2054    <dict>
2055     <key>kind</key><string>control</string>
2056     <key>edges</key>
2057      <array>
2058       <dict>
2059        <key>start</key>
2060         <array>
2061          <dict>
2062           <key>line</key><integer>56</integer>
2063           <key>col</key><integer>1</integer>
2064           <key>file</key><integer>0</integer>
2065          </dict>
2066          <dict>
2067           <key>line</key><integer>56</integer>
2068           <key>col</key><integer>3</integer>
2069           <key>file</key><integer>0</integer>
2070          </dict>
2071         </array>
2072        <key>end</key>
2073         <array>
2074          <dict>
2075           <key>line</key><integer>57</integer>
2076           <key>col</key><integer>3</integer>
2077           <key>file</key><integer>0</integer>
2078          </dict>
2079          <dict>
2080           <key>line</key><integer>57</integer>
2081           <key>col</key><integer>5</integer>
2082           <key>file</key><integer>0</integer>
2083          </dict>
2084         </array>
2085       </dict>
2086      </array>
2087    </dict>
2088    <dict>
2089     <key>kind</key><string>event</string>
2090     <key>location</key>
2091     <dict>
2092      <key>line</key><integer>57</integer>
2093      <key>col</key><integer>3</integer>
2094      <key>file</key><integer>0</integer>
2095     </dict>
2096     <key>ranges</key>
2097     <array>
2098       <array>
2099        <dict>
2100         <key>line</key><integer>57</integer>
2101         <key>col</key><integer>3</integer>
2102         <key>file</key><integer>0</integer>
2103        </dict>
2104        <dict>
2105         <key>line</key><integer>57</integer>
2106         <key>col</key><integer>8</integer>
2107         <key>file</key><integer>0</integer>
2108        </dict>
2109       </array>
2110     </array>
2111     <key>depth</key><integer>1</integer>
2112     <key>extended_message</key>
2113     <string>&apos;p&apos; initialized to a null pointer value</string>
2114     <key>message</key>
2115     <string>&apos;p&apos; initialized to a null pointer value</string>
2116    </dict>
2117    <dict>
2118     <key>kind</key><string>control</string>
2119     <key>edges</key>
2120      <array>
2121       <dict>
2122        <key>start</key>
2123         <array>
2124          <dict>
2125           <key>line</key><integer>57</integer>
2126           <key>col</key><integer>3</integer>
2127           <key>file</key><integer>0</integer>
2128          </dict>
2129          <dict>
2130           <key>line</key><integer>57</integer>
2131           <key>col</key><integer>5</integer>
2132           <key>file</key><integer>0</integer>
2133          </dict>
2134         </array>
2135        <key>end</key>
2136         <array>
2137          <dict>
2138           <key>line</key><integer>60</integer>
2139           <key>col</key><integer>3</integer>
2140           <key>file</key><integer>0</integer>
2141          </dict>
2142          <dict>
2143           <key>line</key><integer>60</integer>
2144           <key>col</key><integer>8</integer>
2145           <key>file</key><integer>0</integer>
2146          </dict>
2147         </array>
2148       </dict>
2149      </array>
2150    </dict>
2151    <dict>
2152     <key>kind</key><string>event</string>
2153     <key>location</key>
2154     <dict>
2155      <key>line</key><integer>60</integer>
2156      <key>col</key><integer>3</integer>
2157      <key>file</key><integer>0</integer>
2158     </dict>
2159     <key>ranges</key>
2160     <array>
2161       <array>
2162        <dict>
2163         <key>line</key><integer>60</integer>
2164         <key>col</key><integer>3</integer>
2165         <key>file</key><integer>0</integer>
2166        </dict>
2167        <dict>
2168         <key>line</key><integer>60</integer>
2169         <key>col</key><integer>10</integer>
2170         <key>file</key><integer>0</integer>
2171        </dict>
2172       </array>
2173     </array>
2174     <key>depth</key><integer>1</integer>
2175     <key>extended_message</key>
2176     <string>Returning null pointer (loaded from &apos;p&apos;)</string>
2177     <key>message</key>
2178     <string>Returning null pointer (loaded from &apos;p&apos;)</string>
2179    </dict>
2180    <dict>
2181     <key>kind</key><string>event</string>
2182     <key>location</key>
2183     <dict>
2184      <key>line</key><integer>88</integer>
2185      <key>col</key><integer>7</integer>
2186      <key>file</key><integer>0</integer>
2187     </dict>
2188     <key>ranges</key>
2189     <array>
2190       <array>
2191        <dict>
2192         <key>line</key><integer>88</integer>
2193         <key>col</key><integer>7</integer>
2194         <key>file</key><integer>0</integer>
2195        </dict>
2196        <dict>
2197         <key>line</key><integer>88</integer>
2198         <key>col</key><integer>15</integer>
2199         <key>file</key><integer>0</integer>
2200        </dict>
2201       </array>
2202     </array>
2203     <key>depth</key><integer>0</integer>
2204     <key>extended_message</key>
2205     <string>Returning from &apos;getZero&apos;</string>
2206     <key>message</key>
2207     <string>Returning from &apos;getZero&apos;</string>
2208    </dict>
2209    <dict>
2210     <key>kind</key><string>control</string>
2211     <key>edges</key>
2212      <array>
2213       <dict>
2214        <key>start</key>
2215         <array>
2216          <dict>
2217           <key>line</key><integer>88</integer>
2218           <key>col</key><integer>7</integer>
2219           <key>file</key><integer>0</integer>
2220          </dict>
2221          <dict>
2222           <key>line</key><integer>88</integer>
2223           <key>col</key><integer>13</integer>
2224           <key>file</key><integer>0</integer>
2225          </dict>
2226         </array>
2227        <key>end</key>
2228         <array>
2229          <dict>
2230           <key>line</key><integer>88</integer>
2231           <key>col</key><integer>3</integer>
2232           <key>file</key><integer>0</integer>
2233          </dict>
2234          <dict>
2235           <key>line</key><integer>88</integer>
2236           <key>col</key><integer>3</integer>
2237           <key>file</key><integer>0</integer>
2238          </dict>
2239         </array>
2240       </dict>
2241      </array>
2242    </dict>
2243    <dict>
2244     <key>kind</key><string>event</string>
2245     <key>location</key>
2246     <dict>
2247      <key>line</key><integer>88</integer>
2248      <key>col</key><integer>3</integer>
2249      <key>file</key><integer>0</integer>
2250     </dict>
2251     <key>ranges</key>
2252     <array>
2253       <array>
2254        <dict>
2255         <key>line</key><integer>88</integer>
2256         <key>col</key><integer>3</integer>
2257         <key>file</key><integer>0</integer>
2258        </dict>
2259        <dict>
2260         <key>line</key><integer>88</integer>
2261         <key>col</key><integer>15</integer>
2262         <key>file</key><integer>0</integer>
2263        </dict>
2264       </array>
2265     </array>
2266     <key>depth</key><integer>0</integer>
2267     <key>extended_message</key>
2268     <string>Null pointer value stored to &apos;a&apos;</string>
2269     <key>message</key>
2270     <string>Null pointer value stored to &apos;a&apos;</string>
2271    </dict>
2272    <dict>
2273     <key>kind</key><string>control</string>
2274     <key>edges</key>
2275      <array>
2276       <dict>
2277        <key>start</key>
2278         <array>
2279          <dict>
2280           <key>line</key><integer>88</integer>
2281           <key>col</key><integer>3</integer>
2282           <key>file</key><integer>0</integer>
2283          </dict>
2284          <dict>
2285           <key>line</key><integer>88</integer>
2286           <key>col</key><integer>3</integer>
2287           <key>file</key><integer>0</integer>
2288          </dict>
2289         </array>
2290        <key>end</key>
2291         <array>
2292          <dict>
2293           <key>line</key><integer>92</integer>
2294           <key>col</key><integer>3</integer>
2295           <key>file</key><integer>0</integer>
2296          </dict>
2297          <dict>
2298           <key>line</key><integer>92</integer>
2299           <key>col</key><integer>3</integer>
2300           <key>file</key><integer>0</integer>
2301          </dict>
2302         </array>
2303       </dict>
2304      </array>
2305    </dict>
2306    <dict>
2307     <key>kind</key><string>control</string>
2308     <key>edges</key>
2309      <array>
2310       <dict>
2311        <key>start</key>
2312         <array>
2313          <dict>
2314           <key>line</key><integer>92</integer>
2315           <key>col</key><integer>3</integer>
2316           <key>file</key><integer>0</integer>
2317          </dict>
2318          <dict>
2319           <key>line</key><integer>92</integer>
2320           <key>col</key><integer>3</integer>
2321           <key>file</key><integer>0</integer>
2322          </dict>
2323         </array>
2324        <key>end</key>
2325         <array>
2326          <dict>
2327           <key>line</key><integer>92</integer>
2328           <key>col</key><integer>6</integer>
2329           <key>file</key><integer>0</integer>
2330          </dict>
2331          <dict>
2332           <key>line</key><integer>92</integer>
2333           <key>col</key><integer>6</integer>
2334           <key>file</key><integer>0</integer>
2335          </dict>
2336         </array>
2337       </dict>
2338      </array>
2339    </dict>
2340    <dict>
2341     <key>kind</key><string>event</string>
2342     <key>location</key>
2343     <dict>
2344      <key>line</key><integer>92</integer>
2345      <key>col</key><integer>6</integer>
2346      <key>file</key><integer>0</integer>
2347     </dict>
2348     <key>ranges</key>
2349     <array>
2350       <array>
2351        <dict>
2352         <key>line</key><integer>92</integer>
2353         <key>col</key><integer>4</integer>
2354         <key>file</key><integer>0</integer>
2355        </dict>
2356        <dict>
2357         <key>line</key><integer>92</integer>
2358         <key>col</key><integer>4</integer>
2359         <key>file</key><integer>0</integer>
2360        </dict>
2361       </array>
2362     </array>
2363     <key>depth</key><integer>0</integer>
2364     <key>extended_message</key>
2365     <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
2366     <key>message</key>
2367     <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
2368    </dict>
2369   </array>
2370   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
2371   <key>category</key><string>Logic error</string>
2372   <key>type</key><string>Dereference of null pointer</string>
2373   <key>check_name</key><string>core.NullDereference</string>
2374   <!-- This hash is experimental and going to change! -->
2375   <key>issue_hash_content_of_line_in_context</key><string>2d25b170621486480ca76aaba4c7a0c0</string>
2376  <key>issue_context_kind</key><string>function</string>
2377  <key>issue_context</key><string>testStoreZero</string>
2378  <key>issue_hash_function_offset</key><string>5</string>
2379  <key>location</key>
2380  <dict>
2381   <key>line</key><integer>92</integer>
2382   <key>col</key><integer>6</integer>
2383   <key>file</key><integer>0</integer>
2384  </dict>
2385  <key>ExecutedLines</key>
2386  <dict>
2387   <key>0</key>
2388   <array>
2389    <integer>56</integer>
2390    <integer>57</integer>
2391    <integer>60</integer>
2392    <integer>87</integer>
2393    <integer>88</integer>
2394    <integer>92</integer>
2395   </array>
2396  </dict>
2397  </dict>
2398  <dict>
2399   <key>path</key>
2400   <array>
2401    <dict>
2402     <key>kind</key><string>control</string>
2403     <key>edges</key>
2404      <array>
2405       <dict>
2406        <key>start</key>
2407         <array>
2408          <dict>
2409           <key>line</key><integer>103</integer>
2410           <key>col</key><integer>3</integer>
2411           <key>file</key><integer>0</integer>
2412          </dict>
2413          <dict>
2414           <key>line</key><integer>103</integer>
2415           <key>col</key><integer>12</integer>
2416           <key>file</key><integer>0</integer>
2417          </dict>
2418         </array>
2419        <key>end</key>
2420         <array>
2421          <dict>
2422           <key>line</key><integer>103</integer>
2423           <key>col</key><integer>14</integer>
2424           <key>file</key><integer>0</integer>
2425          </dict>
2426          <dict>
2427           <key>line</key><integer>103</integer>
2428           <key>col</key><integer>20</integer>
2429           <key>file</key><integer>0</integer>
2430          </dict>
2431         </array>
2432       </dict>
2433      </array>
2434    </dict>
2435    <dict>
2436     <key>kind</key><string>event</string>
2437     <key>location</key>
2438     <dict>
2439      <key>line</key><integer>103</integer>
2440      <key>col</key><integer>14</integer>
2441      <key>file</key><integer>0</integer>
2442     </dict>
2443     <key>ranges</key>
2444     <array>
2445       <array>
2446        <dict>
2447         <key>line</key><integer>103</integer>
2448         <key>col</key><integer>14</integer>
2449         <key>file</key><integer>0</integer>
2450        </dict>
2451        <dict>
2452         <key>line</key><integer>103</integer>
2453         <key>col</key><integer>22</integer>
2454         <key>file</key><integer>0</integer>
2455        </dict>
2456       </array>
2457     </array>
2458     <key>depth</key><integer>0</integer>
2459     <key>extended_message</key>
2460     <string>Calling &apos;getZero&apos;</string>
2461     <key>message</key>
2462     <string>Calling &apos;getZero&apos;</string>
2463    </dict>
2464    <dict>
2465     <key>kind</key><string>event</string>
2466     <key>location</key>
2467     <dict>
2468      <key>line</key><integer>56</integer>
2469      <key>col</key><integer>1</integer>
2470      <key>file</key><integer>0</integer>
2471     </dict>
2472     <key>depth</key><integer>1</integer>
2473     <key>extended_message</key>
2474     <string>Entered call from &apos;testUseOfNullPointer&apos;</string>
2475     <key>message</key>
2476     <string>Entered call from &apos;testUseOfNullPointer&apos;</string>
2477    </dict>
2478    <dict>
2479     <key>kind</key><string>control</string>
2480     <key>edges</key>
2481      <array>
2482       <dict>
2483        <key>start</key>
2484         <array>
2485          <dict>
2486           <key>line</key><integer>56</integer>
2487           <key>col</key><integer>1</integer>
2488           <key>file</key><integer>0</integer>
2489          </dict>
2490          <dict>
2491           <key>line</key><integer>56</integer>
2492           <key>col</key><integer>3</integer>
2493           <key>file</key><integer>0</integer>
2494          </dict>
2495         </array>
2496        <key>end</key>
2497         <array>
2498          <dict>
2499           <key>line</key><integer>57</integer>
2500           <key>col</key><integer>3</integer>
2501           <key>file</key><integer>0</integer>
2502          </dict>
2503          <dict>
2504           <key>line</key><integer>57</integer>
2505           <key>col</key><integer>5</integer>
2506           <key>file</key><integer>0</integer>
2507          </dict>
2508         </array>
2509       </dict>
2510      </array>
2511    </dict>
2512    <dict>
2513     <key>kind</key><string>event</string>
2514     <key>location</key>
2515     <dict>
2516      <key>line</key><integer>57</integer>
2517      <key>col</key><integer>3</integer>
2518      <key>file</key><integer>0</integer>
2519     </dict>
2520     <key>ranges</key>
2521     <array>
2522       <array>
2523        <dict>
2524         <key>line</key><integer>57</integer>
2525         <key>col</key><integer>3</integer>
2526         <key>file</key><integer>0</integer>
2527        </dict>
2528        <dict>
2529         <key>line</key><integer>57</integer>
2530         <key>col</key><integer>8</integer>
2531         <key>file</key><integer>0</integer>
2532        </dict>
2533       </array>
2534     </array>
2535     <key>depth</key><integer>1</integer>
2536     <key>extended_message</key>
2537     <string>&apos;p&apos; initialized to a null pointer value</string>
2538     <key>message</key>
2539     <string>&apos;p&apos; initialized to a null pointer value</string>
2540    </dict>
2541    <dict>
2542     <key>kind</key><string>control</string>
2543     <key>edges</key>
2544      <array>
2545       <dict>
2546        <key>start</key>
2547         <array>
2548          <dict>
2549           <key>line</key><integer>57</integer>
2550           <key>col</key><integer>3</integer>
2551           <key>file</key><integer>0</integer>
2552          </dict>
2553          <dict>
2554           <key>line</key><integer>57</integer>
2555           <key>col</key><integer>5</integer>
2556           <key>file</key><integer>0</integer>
2557          </dict>
2558         </array>
2559        <key>end</key>
2560         <array>
2561          <dict>
2562           <key>line</key><integer>60</integer>
2563           <key>col</key><integer>3</integer>
2564           <key>file</key><integer>0</integer>
2565          </dict>
2566          <dict>
2567           <key>line</key><integer>60</integer>
2568           <key>col</key><integer>8</integer>
2569           <key>file</key><integer>0</integer>
2570          </dict>
2571         </array>
2572       </dict>
2573      </array>
2574    </dict>
2575    <dict>
2576     <key>kind</key><string>event</string>
2577     <key>location</key>
2578     <dict>
2579      <key>line</key><integer>60</integer>
2580      <key>col</key><integer>3</integer>
2581      <key>file</key><integer>0</integer>
2582     </dict>
2583     <key>ranges</key>
2584     <array>
2585       <array>
2586        <dict>
2587         <key>line</key><integer>60</integer>
2588         <key>col</key><integer>3</integer>
2589         <key>file</key><integer>0</integer>
2590        </dict>
2591        <dict>
2592         <key>line</key><integer>60</integer>
2593         <key>col</key><integer>10</integer>
2594         <key>file</key><integer>0</integer>
2595        </dict>
2596       </array>
2597     </array>
2598     <key>depth</key><integer>1</integer>
2599     <key>extended_message</key>
2600     <string>Returning null pointer (loaded from &apos;p&apos;)</string>
2601     <key>message</key>
2602     <string>Returning null pointer (loaded from &apos;p&apos;)</string>
2603    </dict>
2604    <dict>
2605     <key>kind</key><string>event</string>
2606     <key>location</key>
2607     <dict>
2608      <key>line</key><integer>103</integer>
2609      <key>col</key><integer>14</integer>
2610      <key>file</key><integer>0</integer>
2611     </dict>
2612     <key>ranges</key>
2613     <array>
2614       <array>
2615        <dict>
2616         <key>line</key><integer>103</integer>
2617         <key>col</key><integer>14</integer>
2618         <key>file</key><integer>0</integer>
2619        </dict>
2620        <dict>
2621         <key>line</key><integer>103</integer>
2622         <key>col</key><integer>22</integer>
2623         <key>file</key><integer>0</integer>
2624        </dict>
2625       </array>
2626     </array>
2627     <key>depth</key><integer>0</integer>
2628     <key>extended_message</key>
2629     <string>Returning from &apos;getZero&apos;</string>
2630     <key>message</key>
2631     <string>Returning from &apos;getZero&apos;</string>
2632    </dict>
2633    <dict>
2634     <key>kind</key><string>event</string>
2635     <key>location</key>
2636     <dict>
2637      <key>line</key><integer>103</integer>
2638      <key>col</key><integer>14</integer>
2639      <key>file</key><integer>0</integer>
2640     </dict>
2641     <key>ranges</key>
2642     <array>
2643       <array>
2644        <dict>
2645         <key>line</key><integer>103</integer>
2646         <key>col</key><integer>14</integer>
2647         <key>file</key><integer>0</integer>
2648        </dict>
2649        <dict>
2650         <key>line</key><integer>103</integer>
2651         <key>col</key><integer>22</integer>
2652         <key>file</key><integer>0</integer>
2653        </dict>
2654       </array>
2655     </array>
2656     <key>depth</key><integer>0</integer>
2657     <key>extended_message</key>
2658     <string>Passing null pointer value via 1st parameter &apos;p&apos;</string>
2659     <key>message</key>
2660     <string>Passing null pointer value via 1st parameter &apos;p&apos;</string>
2661    </dict>
2662    <dict>
2663     <key>kind</key><string>control</string>
2664     <key>edges</key>
2665      <array>
2666       <dict>
2667        <key>start</key>
2668         <array>
2669          <dict>
2670           <key>line</key><integer>103</integer>
2671           <key>col</key><integer>14</integer>
2672           <key>file</key><integer>0</integer>
2673          </dict>
2674          <dict>
2675           <key>line</key><integer>103</integer>
2676           <key>col</key><integer>20</integer>
2677           <key>file</key><integer>0</integer>
2678          </dict>
2679         </array>
2680        <key>end</key>
2681         <array>
2682          <dict>
2683           <key>line</key><integer>103</integer>
2684           <key>col</key><integer>3</integer>
2685           <key>file</key><integer>0</integer>
2686          </dict>
2687          <dict>
2688           <key>line</key><integer>103</integer>
2689           <key>col</key><integer>12</integer>
2690           <key>file</key><integer>0</integer>
2691          </dict>
2692         </array>
2693       </dict>
2694      </array>
2695    </dict>
2696    <dict>
2697     <key>kind</key><string>event</string>
2698     <key>location</key>
2699     <dict>
2700      <key>line</key><integer>103</integer>
2701      <key>col</key><integer>3</integer>
2702      <key>file</key><integer>0</integer>
2703     </dict>
2704     <key>ranges</key>
2705     <array>
2706       <array>
2707        <dict>
2708         <key>line</key><integer>103</integer>
2709         <key>col</key><integer>3</integer>
2710         <key>file</key><integer>0</integer>
2711        </dict>
2712        <dict>
2713         <key>line</key><integer>103</integer>
2714         <key>col</key><integer>23</integer>
2715         <key>file</key><integer>0</integer>
2716        </dict>
2717       </array>
2718     </array>
2719     <key>depth</key><integer>0</integer>
2720     <key>extended_message</key>
2721     <string>Calling &apos;usePointer&apos;</string>
2722     <key>message</key>
2723     <string>Calling &apos;usePointer&apos;</string>
2724    </dict>
2725    <dict>
2726     <key>kind</key><string>event</string>
2727     <key>location</key>
2728     <dict>
2729      <key>line</key><integer>96</integer>
2730      <key>col</key><integer>1</integer>
2731      <key>file</key><integer>0</integer>
2732     </dict>
2733     <key>depth</key><integer>1</integer>
2734     <key>extended_message</key>
2735     <string>Entered call from &apos;testUseOfNullPointer&apos;</string>
2736     <key>message</key>
2737     <string>Entered call from &apos;testUseOfNullPointer&apos;</string>
2738    </dict>
2739    <dict>
2740     <key>kind</key><string>control</string>
2741     <key>edges</key>
2742      <array>
2743       <dict>
2744        <key>start</key>
2745         <array>
2746          <dict>
2747           <key>line</key><integer>96</integer>
2748           <key>col</key><integer>1</integer>
2749           <key>file</key><integer>0</integer>
2750          </dict>
2751          <dict>
2752           <key>line</key><integer>96</integer>
2753           <key>col</key><integer>4</integer>
2754           <key>file</key><integer>0</integer>
2755          </dict>
2756         </array>
2757        <key>end</key>
2758         <array>
2759          <dict>
2760           <key>line</key><integer>97</integer>
2761           <key>col</key><integer>3</integer>
2762           <key>file</key><integer>0</integer>
2763          </dict>
2764          <dict>
2765           <key>line</key><integer>97</integer>
2766           <key>col</key><integer>3</integer>
2767           <key>file</key><integer>0</integer>
2768          </dict>
2769         </array>
2770       </dict>
2771      </array>
2772    </dict>
2773    <dict>
2774     <key>kind</key><string>control</string>
2775     <key>edges</key>
2776      <array>
2777       <dict>
2778        <key>start</key>
2779         <array>
2780          <dict>
2781           <key>line</key><integer>97</integer>
2782           <key>col</key><integer>3</integer>
2783           <key>file</key><integer>0</integer>
2784          </dict>
2785          <dict>
2786           <key>line</key><integer>97</integer>
2787           <key>col</key><integer>3</integer>
2788           <key>file</key><integer>0</integer>
2789          </dict>
2790         </array>
2791        <key>end</key>
2792         <array>
2793          <dict>
2794           <key>line</key><integer>97</integer>
2795           <key>col</key><integer>6</integer>
2796           <key>file</key><integer>0</integer>
2797          </dict>
2798          <dict>
2799           <key>line</key><integer>97</integer>
2800           <key>col</key><integer>6</integer>
2801           <key>file</key><integer>0</integer>
2802          </dict>
2803         </array>
2804       </dict>
2805      </array>
2806    </dict>
2807    <dict>
2808     <key>kind</key><string>event</string>
2809     <key>location</key>
2810     <dict>
2811      <key>line</key><integer>97</integer>
2812      <key>col</key><integer>6</integer>
2813      <key>file</key><integer>0</integer>
2814     </dict>
2815     <key>ranges</key>
2816     <array>
2817       <array>
2818        <dict>
2819         <key>line</key><integer>97</integer>
2820         <key>col</key><integer>4</integer>
2821         <key>file</key><integer>0</integer>
2822        </dict>
2823        <dict>
2824         <key>line</key><integer>97</integer>
2825         <key>col</key><integer>4</integer>
2826         <key>file</key><integer>0</integer>
2827        </dict>
2828       </array>
2829     </array>
2830     <key>depth</key><integer>1</integer>
2831     <key>extended_message</key>
2832     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
2833     <key>message</key>
2834     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
2835    </dict>
2836   </array>
2837   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
2838   <key>category</key><string>Logic error</string>
2839   <key>type</key><string>Dereference of null pointer</string>
2840   <key>check_name</key><string>core.NullDereference</string>
2841   <!-- This hash is experimental and going to change! -->
2842   <key>issue_hash_content_of_line_in_context</key><string>567151df0ae29b0f0e1a412114d544dc</string>
2843  <key>issue_context_kind</key><string>function</string>
2844  <key>issue_context</key><string>usePointer</string>
2845  <key>issue_hash_function_offset</key><string>1</string>
2846  <key>location</key>
2847  <dict>
2848   <key>line</key><integer>97</integer>
2849   <key>col</key><integer>6</integer>
2850   <key>file</key><integer>0</integer>
2851  </dict>
2852  <key>ExecutedLines</key>
2853  <dict>
2854   <key>0</key>
2855   <array>
2856    <integer>56</integer>
2857    <integer>57</integer>
2858    <integer>60</integer>
2859    <integer>96</integer>
2860    <integer>97</integer>
2861    <integer>101</integer>
2862    <integer>103</integer>
2863   </array>
2864  </dict>
2865  </dict>
2866  <dict>
2867   <key>path</key>
2868   <array>
2869    <dict>
2870     <key>kind</key><string>event</string>
2871     <key>location</key>
2872     <dict>
2873      <key>line</key><integer>117</integer>
2874      <key>col</key><integer>3</integer>
2875      <key>file</key><integer>0</integer>
2876     </dict>
2877     <key>ranges</key>
2878     <array>
2879       <array>
2880        <dict>
2881         <key>line</key><integer>117</integer>
2882         <key>col</key><integer>3</integer>
2883         <key>file</key><integer>0</integer>
2884        </dict>
2885        <dict>
2886         <key>line</key><integer>117</integer>
2887         <key>col</key><integer>19</integer>
2888         <key>file</key><integer>0</integer>
2889        </dict>
2890       </array>
2891     </array>
2892     <key>depth</key><integer>0</integer>
2893     <key>extended_message</key>
2894     <string>Calling &apos;setFieldToNull&apos;</string>
2895     <key>message</key>
2896     <string>Calling &apos;setFieldToNull&apos;</string>
2897    </dict>
2898    <dict>
2899     <key>kind</key><string>event</string>
2900     <key>location</key>
2901     <dict>
2902      <key>line</key><integer>112</integer>
2903      <key>col</key><integer>1</integer>
2904      <key>file</key><integer>0</integer>
2905     </dict>
2906     <key>depth</key><integer>1</integer>
2907     <key>extended_message</key>
2908     <string>Entered call from &apos;testSetFieldToNull&apos;</string>
2909     <key>message</key>
2910     <string>Entered call from &apos;testSetFieldToNull&apos;</string>
2911    </dict>
2912    <dict>
2913     <key>kind</key><string>control</string>
2914     <key>edges</key>
2915      <array>
2916       <dict>
2917        <key>start</key>
2918         <array>
2919          <dict>
2920           <key>line</key><integer>112</integer>
2921           <key>col</key><integer>1</integer>
2922           <key>file</key><integer>0</integer>
2923          </dict>
2924          <dict>
2925           <key>line</key><integer>112</integer>
2926           <key>col</key><integer>4</integer>
2927           <key>file</key><integer>0</integer>
2928          </dict>
2929         </array>
2930        <key>end</key>
2931         <array>
2932          <dict>
2933           <key>line</key><integer>113</integer>
2934           <key>col</key><integer>2</integer>
2935           <key>file</key><integer>0</integer>
2936          </dict>
2937          <dict>
2938           <key>line</key><integer>113</integer>
2939           <key>col</key><integer>2</integer>
2940           <key>file</key><integer>0</integer>
2941          </dict>
2942         </array>
2943       </dict>
2944      </array>
2945    </dict>
2946    <dict>
2947     <key>kind</key><string>event</string>
2948     <key>location</key>
2949     <dict>
2950      <key>line</key><integer>113</integer>
2951      <key>col</key><integer>2</integer>
2952      <key>file</key><integer>0</integer>
2953     </dict>
2954     <key>ranges</key>
2955     <array>
2956       <array>
2957        <dict>
2958         <key>line</key><integer>113</integer>
2959         <key>col</key><integer>2</integer>
2960         <key>file</key><integer>0</integer>
2961        </dict>
2962        <dict>
2963         <key>line</key><integer>113</integer>
2964         <key>col</key><integer>9</integer>
2965         <key>file</key><integer>0</integer>
2966        </dict>
2967       </array>
2968     </array>
2969     <key>depth</key><integer>1</integer>
2970     <key>extended_message</key>
2971     <string>Null pointer value stored to field &apos;p&apos;</string>
2972     <key>message</key>
2973     <string>Null pointer value stored to field &apos;p&apos;</string>
2974    </dict>
2975    <dict>
2976     <key>kind</key><string>event</string>
2977     <key>location</key>
2978     <dict>
2979      <key>line</key><integer>117</integer>
2980      <key>col</key><integer>3</integer>
2981      <key>file</key><integer>0</integer>
2982     </dict>
2983     <key>ranges</key>
2984     <array>
2985       <array>
2986        <dict>
2987         <key>line</key><integer>117</integer>
2988         <key>col</key><integer>3</integer>
2989         <key>file</key><integer>0</integer>
2990        </dict>
2991        <dict>
2992         <key>line</key><integer>117</integer>
2993         <key>col</key><integer>19</integer>
2994         <key>file</key><integer>0</integer>
2995        </dict>
2996       </array>
2997     </array>
2998     <key>depth</key><integer>0</integer>
2999     <key>extended_message</key>
3000     <string>Returning from &apos;setFieldToNull&apos;</string>
3001     <key>message</key>
3002     <string>Returning from &apos;setFieldToNull&apos;</string>
3003    </dict>
3004    <dict>
3005     <key>kind</key><string>control</string>
3006     <key>edges</key>
3007      <array>
3008       <dict>
3009        <key>start</key>
3010         <array>
3011          <dict>
3012           <key>line</key><integer>117</integer>
3013           <key>col</key><integer>3</integer>
3014           <key>file</key><integer>0</integer>
3015          </dict>
3016          <dict>
3017           <key>line</key><integer>117</integer>
3018           <key>col</key><integer>16</integer>
3019           <key>file</key><integer>0</integer>
3020          </dict>
3021         </array>
3022        <key>end</key>
3023         <array>
3024          <dict>
3025           <key>line</key><integer>119</integer>
3026           <key>col</key><integer>3</integer>
3027           <key>file</key><integer>0</integer>
3028          </dict>
3029          <dict>
3030           <key>line</key><integer>119</integer>
3031           <key>col</key><integer>8</integer>
3032           <key>file</key><integer>0</integer>
3033          </dict>
3034         </array>
3035       </dict>
3036      </array>
3037    </dict>
3038    <dict>
3039     <key>kind</key><string>control</string>
3040     <key>edges</key>
3041      <array>
3042       <dict>
3043        <key>start</key>
3044         <array>
3045          <dict>
3046           <key>line</key><integer>119</integer>
3047           <key>col</key><integer>3</integer>
3048           <key>file</key><integer>0</integer>
3049          </dict>
3050          <dict>
3051           <key>line</key><integer>119</integer>
3052           <key>col</key><integer>8</integer>
3053           <key>file</key><integer>0</integer>
3054          </dict>
3055         </array>
3056        <key>end</key>
3057         <array>
3058          <dict>
3059           <key>line</key><integer>119</integer>
3060           <key>col</key><integer>10</integer>
3061           <key>file</key><integer>0</integer>
3062          </dict>
3063          <dict>
3064           <key>line</key><integer>119</integer>
3065           <key>col</key><integer>10</integer>
3066           <key>file</key><integer>0</integer>
3067          </dict>
3068         </array>
3069       </dict>
3070      </array>
3071    </dict>
3072    <dict>
3073     <key>kind</key><string>event</string>
3074     <key>location</key>
3075     <dict>
3076      <key>line</key><integer>119</integer>
3077      <key>col</key><integer>10</integer>
3078      <key>file</key><integer>0</integer>
3079     </dict>
3080     <key>ranges</key>
3081     <array>
3082       <array>
3083        <dict>
3084         <key>line</key><integer>119</integer>
3085         <key>col</key><integer>14</integer>
3086         <key>file</key><integer>0</integer>
3087        </dict>
3088        <dict>
3089         <key>line</key><integer>119</integer>
3090         <key>col</key><integer>14</integer>
3091         <key>file</key><integer>0</integer>
3092        </dict>
3093       </array>
3094     </array>
3095     <key>depth</key><integer>0</integer>
3096     <key>extended_message</key>
3097     <string>Dereference of null pointer (loaded from field &apos;p&apos;)</string>
3098     <key>message</key>
3099     <string>Dereference of null pointer (loaded from field &apos;p&apos;)</string>
3100    </dict>
3101   </array>
3102   <key>description</key><string>Dereference of null pointer (loaded from field &apos;p&apos;)</string>
3103   <key>category</key><string>Logic error</string>
3104   <key>type</key><string>Dereference of null pointer</string>
3105   <key>check_name</key><string>core.NullDereference</string>
3106   <!-- This hash is experimental and going to change! -->
3107   <key>issue_hash_content_of_line_in_context</key><string>7849ab11af99aee1e3603a24ae95cdfd</string>
3108  <key>issue_context_kind</key><string>function</string>
3109  <key>issue_context</key><string>testSetFieldToNull</string>
3110  <key>issue_hash_function_offset</key><string>3</string>
3111  <key>location</key>
3112  <dict>
3113   <key>line</key><integer>119</integer>
3114   <key>col</key><integer>10</integer>
3115   <key>file</key><integer>0</integer>
3116  </dict>
3117  <key>ExecutedLines</key>
3118  <dict>
3119   <key>0</key>
3120   <array>
3121    <integer>112</integer>
3122    <integer>113</integer>
3123    <integer>116</integer>
3124    <integer>117</integer>
3125    <integer>119</integer>
3126   </array>
3127  </dict>
3128  </dict>
3129  <dict>
3130   <key>path</key>
3131   <array>
3132    <dict>
3133     <key>kind</key><string>event</string>
3134     <key>location</key>
3135     <dict>
3136      <key>line</key><integer>131</integer>
3137      <key>col</key><integer>3</integer>
3138      <key>file</key><integer>0</integer>
3139     </dict>
3140     <key>ranges</key>
3141     <array>
3142       <array>
3143        <dict>
3144         <key>line</key><integer>131</integer>
3145         <key>col</key><integer>3</integer>
3146         <key>file</key><integer>0</integer>
3147        </dict>
3148        <dict>
3149         <key>line</key><integer>131</integer>
3150         <key>col</key><integer>25</integer>
3151         <key>file</key><integer>0</integer>
3152        </dict>
3153       </array>
3154     </array>
3155     <key>depth</key><integer>0</integer>
3156     <key>extended_message</key>
3157     <string>Null pointer value stored to field &apos;p&apos;</string>
3158     <key>message</key>
3159     <string>Null pointer value stored to field &apos;p&apos;</string>
3160    </dict>
3161    <dict>
3162     <key>kind</key><string>control</string>
3163     <key>edges</key>
3164      <array>
3165       <dict>
3166        <key>start</key>
3167         <array>
3168          <dict>
3169           <key>line</key><integer>131</integer>
3170           <key>col</key><integer>3</integer>
3171           <key>file</key><integer>0</integer>
3172          </dict>
3173          <dict>
3174           <key>line</key><integer>131</integer>
3175           <key>col</key><integer>12</integer>
3176           <key>file</key><integer>0</integer>
3177          </dict>
3178         </array>
3179        <key>end</key>
3180         <array>
3181          <dict>
3182           <key>line</key><integer>132</integer>
3183           <key>col</key><integer>3</integer>
3184           <key>file</key><integer>0</integer>
3185          </dict>
3186          <dict>
3187           <key>line</key><integer>132</integer>
3188           <key>col</key><integer>3</integer>
3189           <key>file</key><integer>0</integer>
3190          </dict>
3191         </array>
3192       </dict>
3193      </array>
3194    </dict>
3195    <dict>
3196     <key>kind</key><string>control</string>
3197     <key>edges</key>
3198      <array>
3199       <dict>
3200        <key>start</key>
3201         <array>
3202          <dict>
3203           <key>line</key><integer>132</integer>
3204           <key>col</key><integer>3</integer>
3205           <key>file</key><integer>0</integer>
3206          </dict>
3207          <dict>
3208           <key>line</key><integer>132</integer>
3209           <key>col</key><integer>3</integer>
3210           <key>file</key><integer>0</integer>
3211          </dict>
3212         </array>
3213        <key>end</key>
3214         <array>
3215          <dict>
3216           <key>line</key><integer>132</integer>
3217           <key>col</key><integer>24</integer>
3218           <key>file</key><integer>0</integer>
3219          </dict>
3220          <dict>
3221           <key>line</key><integer>132</integer>
3222           <key>col</key><integer>24</integer>
3223           <key>file</key><integer>0</integer>
3224          </dict>
3225         </array>
3226       </dict>
3227      </array>
3228    </dict>
3229    <dict>
3230     <key>kind</key><string>event</string>
3231     <key>location</key>
3232     <dict>
3233      <key>line</key><integer>132</integer>
3234      <key>col</key><integer>24</integer>
3235      <key>file</key><integer>0</integer>
3236     </dict>
3237     <key>ranges</key>
3238     <array>
3239       <array>
3240        <dict>
3241         <key>line</key><integer>132</integer>
3242         <key>col</key><integer>22</integer>
3243         <key>file</key><integer>0</integer>
3244        </dict>
3245        <dict>
3246         <key>line</key><integer>132</integer>
3247         <key>col</key><integer>22</integer>
3248         <key>file</key><integer>0</integer>
3249        </dict>
3250       </array>
3251     </array>
3252     <key>depth</key><integer>0</integer>
3253     <key>extended_message</key>
3254     <string>Dereference of null pointer (loaded from field &apos;p&apos;)</string>
3255     <key>message</key>
3256     <string>Dereference of null pointer (loaded from field &apos;p&apos;)</string>
3257    </dict>
3258   </array>
3259   <key>description</key><string>Dereference of null pointer (loaded from field &apos;p&apos;)</string>
3260   <key>category</key><string>Logic error</string>
3261   <key>type</key><string>Dereference of null pointer</string>
3262   <key>check_name</key><string>core.NullDereference</string>
3263   <!-- This hash is experimental and going to change! -->
3264   <key>issue_hash_content_of_line_in_context</key><string>3ccb5e7e2cc82aba5c28a1cc873c83a1</string>
3265  <key>issue_context_kind</key><string>function</string>
3266  <key>issue_context</key><string>test</string>
3267  <key>issue_hash_function_offset</key><string>2</string>
3268  <key>location</key>
3269  <dict>
3270   <key>line</key><integer>132</integer>
3271   <key>col</key><integer>24</integer>
3272   <key>file</key><integer>0</integer>
3273  </dict>
3274  <key>ExecutedLines</key>
3275  <dict>
3276   <key>0</key>
3277   <array>
3278    <integer>130</integer>
3279    <integer>131</integer>
3280    <integer>132</integer>
3281   </array>
3282  </dict>
3283  </dict>
3284  <dict>
3285   <key>path</key>
3286   <array>
3287    <dict>
3288     <key>kind</key><string>control</string>
3289     <key>edges</key>
3290      <array>
3291       <dict>
3292        <key>start</key>
3293         <array>
3294          <dict>
3295           <key>line</key><integer>137</integer>
3296           <key>col</key><integer>3</integer>
3297           <key>file</key><integer>0</integer>
3298          </dict>
3299          <dict>
3300           <key>line</key><integer>137</integer>
3301           <key>col</key><integer>4</integer>
3302           <key>file</key><integer>0</integer>
3303          </dict>
3304         </array>
3305        <key>end</key>
3306         <array>
3307          <dict>
3308           <key>line</key><integer>137</integer>
3309           <key>col</key><integer>7</integer>
3310           <key>file</key><integer>0</integer>
3311          </dict>
3312          <dict>
3313           <key>line</key><integer>137</integer>
3314           <key>col</key><integer>7</integer>
3315           <key>file</key><integer>0</integer>
3316          </dict>
3317         </array>
3318       </dict>
3319      </array>
3320    </dict>
3321    <dict>
3322     <key>kind</key><string>event</string>
3323     <key>location</key>
3324     <dict>
3325      <key>line</key><integer>137</integer>
3326      <key>col</key><integer>7</integer>
3327      <key>file</key><integer>0</integer>
3328     </dict>
3329     <key>ranges</key>
3330     <array>
3331       <array>
3332        <dict>
3333         <key>line</key><integer>137</integer>
3334         <key>col</key><integer>7</integer>
3335         <key>file</key><integer>0</integer>
3336        </dict>
3337        <dict>
3338         <key>line</key><integer>137</integer>
3339         <key>col</key><integer>8</integer>
3340         <key>file</key><integer>0</integer>
3341        </dict>
3342       </array>
3343     </array>
3344     <key>depth</key><integer>0</integer>
3345     <key>extended_message</key>
3346     <string>Assuming pointer value is null</string>
3347     <key>message</key>
3348     <string>Assuming pointer value is null</string>
3349    </dict>
3350    <dict>
3351     <key>kind</key><string>control</string>
3352     <key>edges</key>
3353      <array>
3354       <dict>
3355        <key>start</key>
3356         <array>
3357          <dict>
3358           <key>line</key><integer>137</integer>
3359           <key>col</key><integer>7</integer>
3360           <key>file</key><integer>0</integer>
3361          </dict>
3362          <dict>
3363           <key>line</key><integer>137</integer>
3364           <key>col</key><integer>7</integer>
3365           <key>file</key><integer>0</integer>
3366          </dict>
3367         </array>
3368        <key>end</key>
3369         <array>
3370          <dict>
3371           <key>line</key><integer>139</integer>
3372           <key>col</key><integer>3</integer>
3373           <key>file</key><integer>0</integer>
3374          </dict>
3375          <dict>
3376           <key>line</key><integer>139</integer>
3377           <key>col</key><integer>3</integer>
3378           <key>file</key><integer>0</integer>
3379          </dict>
3380         </array>
3381       </dict>
3382      </array>
3383    </dict>
3384    <dict>
3385     <key>kind</key><string>control</string>
3386     <key>edges</key>
3387      <array>
3388       <dict>
3389        <key>start</key>
3390         <array>
3391          <dict>
3392           <key>line</key><integer>139</integer>
3393           <key>col</key><integer>3</integer>
3394           <key>file</key><integer>0</integer>
3395          </dict>
3396          <dict>
3397           <key>line</key><integer>139</integer>
3398           <key>col</key><integer>3</integer>
3399           <key>file</key><integer>0</integer>
3400          </dict>
3401         </array>
3402        <key>end</key>
3403         <array>
3404          <dict>
3405           <key>line</key><integer>139</integer>
3406           <key>col</key><integer>7</integer>
3407           <key>file</key><integer>0</integer>
3408          </dict>
3409          <dict>
3410           <key>line</key><integer>139</integer>
3411           <key>col</key><integer>7</integer>
3412           <key>file</key><integer>0</integer>
3413          </dict>
3414         </array>
3415       </dict>
3416      </array>
3417    </dict>
3418    <dict>
3419     <key>kind</key><string>event</string>
3420     <key>location</key>
3421     <dict>
3422      <key>line</key><integer>139</integer>
3423      <key>col</key><integer>7</integer>
3424      <key>file</key><integer>0</integer>
3425     </dict>
3426     <key>ranges</key>
3427     <array>
3428       <array>
3429        <dict>
3430         <key>line</key><integer>139</integer>
3431         <key>col</key><integer>3</integer>
3432         <key>file</key><integer>0</integer>
3433        </dict>
3434        <dict>
3435         <key>line</key><integer>139</integer>
3436         <key>col</key><integer>9</integer>
3437         <key>file</key><integer>0</integer>
3438        </dict>
3439       </array>
3440     </array>
3441     <key>depth</key><integer>0</integer>
3442     <key>extended_message</key>
3443     <string>Dereference of null pointer</string>
3444     <key>message</key>
3445     <string>Dereference of null pointer</string>
3446    </dict>
3447   </array>
3448   <key>description</key><string>Dereference of null pointer</string>
3449   <key>category</key><string>Logic error</string>
3450   <key>type</key><string>Dereference of null pointer</string>
3451   <key>check_name</key><string>core.NullDereference</string>
3452   <!-- This hash is experimental and going to change! -->
3453   <key>issue_hash_content_of_line_in_context</key><string>19292468c6c6f83fbbdb2ff072bb2ae8</string>
3454  <key>issue_context_kind</key><string>function</string>
3455  <key>issue_context</key><string>test4</string>
3456  <key>issue_hash_function_offset</key><string>3</string>
3457  <key>location</key>
3458  <dict>
3459   <key>line</key><integer>139</integer>
3460   <key>col</key><integer>7</integer>
3461   <key>file</key><integer>0</integer>
3462  </dict>
3463  <key>ExecutedLines</key>
3464  <dict>
3465   <key>0</key>
3466   <array>
3467    <integer>136</integer>
3468    <integer>137</integer>
3469    <integer>139</integer>
3470   </array>
3471  </dict>
3472  </dict>
3473  <dict>
3474   <key>path</key>
3475   <array>
3476    <dict>
3477     <key>kind</key><string>control</string>
3478     <key>edges</key>
3479      <array>
3480       <dict>
3481        <key>start</key>
3482         <array>
3483          <dict>
3484           <key>line</key><integer>152</integer>
3485           <key>col</key><integer>3</integer>
3486           <key>file</key><integer>0</integer>
3487          </dict>
3488          <dict>
3489           <key>line</key><integer>152</integer>
3490           <key>col</key><integer>5</integer>
3491           <key>file</key><integer>0</integer>
3492          </dict>
3493         </array>
3494        <key>end</key>
3495         <array>
3496          <dict>
3497           <key>line</key><integer>153</integer>
3498           <key>col</key><integer>3</integer>
3499           <key>file</key><integer>0</integer>
3500          </dict>
3501          <dict>
3502           <key>line</key><integer>153</integer>
3503           <key>col</key><integer>19</integer>
3504           <key>file</key><integer>0</integer>
3505          </dict>
3506         </array>
3507       </dict>
3508      </array>
3509    </dict>
3510    <dict>
3511     <key>kind</key><string>event</string>
3512     <key>location</key>
3513     <dict>
3514      <key>line</key><integer>153</integer>
3515      <key>col</key><integer>3</integer>
3516      <key>file</key><integer>0</integer>
3517     </dict>
3518     <key>ranges</key>
3519     <array>
3520       <array>
3521        <dict>
3522         <key>line</key><integer>153</integer>
3523         <key>col</key><integer>3</integer>
3524         <key>file</key><integer>0</integer>
3525        </dict>
3526        <dict>
3527         <key>line</key><integer>153</integer>
3528         <key>col</key><integer>23</integer>
3529         <key>file</key><integer>0</integer>
3530        </dict>
3531       </array>
3532     </array>
3533     <key>depth</key><integer>0</integer>
3534     <key>extended_message</key>
3535     <string>Calling &apos;interestingCallee&apos;</string>
3536     <key>message</key>
3537     <string>Calling &apos;interestingCallee&apos;</string>
3538    </dict>
3539    <dict>
3540     <key>kind</key><string>event</string>
3541     <key>location</key>
3542     <dict>
3543      <key>line</key><integer>146</integer>
3544      <key>col</key><integer>1</integer>
3545      <key>file</key><integer>0</integer>
3546     </dict>
3547     <key>depth</key><integer>1</integer>
3548     <key>extended_message</key>
3549     <string>Entered call from &apos;testBoringCalleeOfInterestingCallee&apos;</string>
3550     <key>message</key>
3551     <string>Entered call from &apos;testBoringCalleeOfInterestingCallee&apos;</string>
3552    </dict>
3553    <dict>
3554     <key>kind</key><string>control</string>
3555     <key>edges</key>
3556      <array>
3557       <dict>
3558        <key>start</key>
3559         <array>
3560          <dict>
3561           <key>line</key><integer>146</integer>
3562           <key>col</key><integer>1</integer>
3563           <key>file</key><integer>0</integer>
3564          </dict>
3565          <dict>
3566           <key>line</key><integer>146</integer>
3567           <key>col</key><integer>4</integer>
3568           <key>file</key><integer>0</integer>
3569          </dict>
3570         </array>
3571        <key>end</key>
3572         <array>
3573          <dict>
3574           <key>line</key><integer>147</integer>
3575           <key>col</key><integer>3</integer>
3576           <key>file</key><integer>0</integer>
3577          </dict>
3578          <dict>
3579           <key>line</key><integer>147</integer>
3580           <key>col</key><integer>3</integer>
3581           <key>file</key><integer>0</integer>
3582          </dict>
3583         </array>
3584       </dict>
3585      </array>
3586    </dict>
3587    <dict>
3588     <key>kind</key><string>event</string>
3589     <key>location</key>
3590     <dict>
3591      <key>line</key><integer>147</integer>
3592      <key>col</key><integer>3</integer>
3593      <key>file</key><integer>0</integer>
3594     </dict>
3595     <key>ranges</key>
3596     <array>
3597       <array>
3598        <dict>
3599         <key>line</key><integer>147</integer>
3600         <key>col</key><integer>3</integer>
3601         <key>file</key><integer>0</integer>
3602        </dict>
3603        <dict>
3604         <key>line</key><integer>147</integer>
3605         <key>col</key><integer>8</integer>
3606         <key>file</key><integer>0</integer>
3607        </dict>
3608       </array>
3609     </array>
3610     <key>depth</key><integer>1</integer>
3611     <key>extended_message</key>
3612     <string>The value 0 is assigned to &apos;x&apos;</string>
3613     <key>message</key>
3614     <string>The value 0 is assigned to &apos;x&apos;</string>
3615    </dict>
3616    <dict>
3617     <key>kind</key><string>control</string>
3618     <key>edges</key>
3619      <array>
3620       <dict>
3621        <key>start</key>
3622         <array>
3623          <dict>
3624           <key>line</key><integer>147</integer>
3625           <key>col</key><integer>3</integer>
3626           <key>file</key><integer>0</integer>
3627          </dict>
3628          <dict>
3629           <key>line</key><integer>147</integer>
3630           <key>col</key><integer>3</integer>
3631           <key>file</key><integer>0</integer>
3632          </dict>
3633         </array>
3634        <key>end</key>
3635         <array>
3636          <dict>
3637           <key>line</key><integer>148</integer>
3638           <key>col</key><integer>3</integer>
3639           <key>file</key><integer>0</integer>
3640          </dict>
3641          <dict>
3642           <key>line</key><integer>148</integer>
3643           <key>col</key><integer>14</integer>
3644           <key>file</key><integer>0</integer>
3645          </dict>
3646         </array>
3647       </dict>
3648      </array>
3649    </dict>
3650    <dict>
3651     <key>kind</key><string>event</string>
3652     <key>location</key>
3653     <dict>
3654      <key>line</key><integer>153</integer>
3655      <key>col</key><integer>3</integer>
3656      <key>file</key><integer>0</integer>
3657     </dict>
3658     <key>ranges</key>
3659     <array>
3660       <array>
3661        <dict>
3662         <key>line</key><integer>153</integer>
3663         <key>col</key><integer>3</integer>
3664         <key>file</key><integer>0</integer>
3665        </dict>
3666        <dict>
3667         <key>line</key><integer>153</integer>
3668         <key>col</key><integer>23</integer>
3669         <key>file</key><integer>0</integer>
3670        </dict>
3671       </array>
3672     </array>
3673     <key>depth</key><integer>0</integer>
3674     <key>extended_message</key>
3675     <string>Returning from &apos;interestingCallee&apos;</string>
3676     <key>message</key>
3677     <string>Returning from &apos;interestingCallee&apos;</string>
3678    </dict>
3679    <dict>
3680     <key>kind</key><string>control</string>
3681     <key>edges</key>
3682      <array>
3683       <dict>
3684        <key>start</key>
3685         <array>
3686          <dict>
3687           <key>line</key><integer>153</integer>
3688           <key>col</key><integer>3</integer>
3689           <key>file</key><integer>0</integer>
3690          </dict>
3691          <dict>
3692           <key>line</key><integer>153</integer>
3693           <key>col</key><integer>19</integer>
3694           <key>file</key><integer>0</integer>
3695          </dict>
3696         </array>
3697        <key>end</key>
3698         <array>
3699          <dict>
3700           <key>line</key><integer>155</integer>
3701           <key>col</key><integer>12</integer>
3702           <key>file</key><integer>0</integer>
3703          </dict>
3704          <dict>
3705           <key>line</key><integer>155</integer>
3706           <key>col</key><integer>12</integer>
3707           <key>file</key><integer>0</integer>
3708          </dict>
3709         </array>
3710       </dict>
3711      </array>
3712    </dict>
3713    <dict>
3714     <key>kind</key><string>event</string>
3715     <key>location</key>
3716     <dict>
3717      <key>line</key><integer>155</integer>
3718      <key>col</key><integer>12</integer>
3719      <key>file</key><integer>0</integer>
3720     </dict>
3721     <key>ranges</key>
3722     <array>
3723       <array>
3724        <dict>
3725         <key>line</key><integer>155</integer>
3726         <key>col</key><integer>10</integer>
3727         <key>file</key><integer>0</integer>
3728        </dict>
3729        <dict>
3730         <key>line</key><integer>155</integer>
3731         <key>col</key><integer>14</integer>
3732         <key>file</key><integer>0</integer>
3733        </dict>
3734       </array>
3735     </array>
3736     <key>depth</key><integer>0</integer>
3737     <key>extended_message</key>
3738     <string>Division by zero</string>
3739     <key>message</key>
3740     <string>Division by zero</string>
3741    </dict>
3742   </array>
3743   <key>description</key><string>Division by zero</string>
3744   <key>category</key><string>Logic error</string>
3745   <key>type</key><string>Division by zero</string>
3746   <key>check_name</key><string>core.DivideZero</string>
3747   <!-- This hash is experimental and going to change! -->
3748   <key>issue_hash_content_of_line_in_context</key><string>fcd480c0f73d071bac6f908387893e26</string>
3749  <key>issue_context_kind</key><string>function</string>
3750  <key>issue_context</key><string>testBoringCalleeOfInterestingCallee</string>
3751  <key>issue_hash_function_offset</key><string>4</string>
3752  <key>location</key>
3753  <dict>
3754   <key>line</key><integer>155</integer>
3755   <key>col</key><integer>12</integer>
3756   <key>file</key><integer>0</integer>
3757  </dict>
3758  <key>ExecutedLines</key>
3759  <dict>
3760   <key>0</key>
3761   <array>
3762    <integer>143</integer>
3763    <integer>146</integer>
3764    <integer>147</integer>
3765    <integer>148</integer>
3766    <integer>151</integer>
3767    <integer>152</integer>
3768    <integer>153</integer>
3769    <integer>155</integer>
3770   </array>
3771  </dict>
3772  </dict>
3773 </array>
3774 <key>files</key>
3775 <array>
3776 </array>
3777</dict>
3778</plist>
3779